π-Base Topology ni hifadhidata ya jamii ya mifano ya kitopolojia.
Hifadhidata ina:
- Nafasi za Juu
- Nadharia za Topolojia.
- Tabia za Kitopolojia.
- Marejeleo (Vitabu, Makala, Mijadala).
Habari ndani ya programu:
- Nafasi, Nadharia na maelezo ya Mali.
- Sifa ambazo (na hazijaridhishwa) na nafasi fulani.
- Mazungumzo ya nadharia ambayo nafasi iliyotolewa ni mfano wa kupinga.
- Imepewa mali, ambayo nafasi zinakidhi na haziridhishi.
- Mifano ya kulinganisha ya mazungumzo ya nadharia fulani. Ikiwa mazungumzo ni Kweli, uthibitisho au rejeleo hutolewa.
- Nafasi zinazokidhi fomula fulani ya kimantiki iliyoundwa na sifa (tafuta kwa fomula).
- Marejeleo.
Ilisasishwa tarehe
31 Ago 2025