A(z) „Prenex-formula” laptörténete

Változatok szűrésekinyitbecsuk

Dátumig:

Kijelölés megfordítása

A lap korábbi változatainak megtekintéséhez kattints a megfelelő dátumra. További segítségért lásd a Laptörténet és Szerkesztési összefoglaló lapokat.

jelmagyarázat: (akt) eltérés az aktuális változattól | (előző) eltérés az előző változattól | a apró változtatás | megtekintett változat | függőben lévő változtatás

aktelőző 19:012023. május 28., 19:01‎ Vépi vitalap szerkesztései‎ 1 006 bájt +23‎ →‎Változótiszta alak: kékít visszavonás [automatikusan ellenőrzöttnek jelölve]

aktelőző 20:132018. július 24., 20:13‎ Tudor987 vitalap szerkesztései‎ 983 bájt +17‎ Nincs szerkesztési összefoglaló visszavonás [automatikusan ellenőrzöttnek jelölve]

aktelőző 20:142015. december 12., 20:14‎ 2001:738:2001:2078:0:183:148:0 vitalap‎ 966 bájt 0‎ →‎Egyoldali kvantorkiemelési törvények visszavonás Címke: Vizuális szerkesztés [Szalakóta ellenőrizte]

aktelőző 20:022015. március 29., 20:02‎ Tudor987 vitalap szerkesztései‎ a 966 bájt −17‎ Nincs szerkesztési összefoglaló visszavonás [automatikusan ellenőrzöttnek jelölve]

aktelőző 14:112015. február 8., 14:11‎ Ogodej vitalap szerkesztései‎ 983 bájt +20‎ Nincs bevezető visszavonás [Ogodej ellenőrizte]
aktelőző 14:102015. február 8., 14:10‎ Ogodej vitalap szerkesztései‎ 963 bájt +18‎ Forrás hiányzik visszavonás

aktelőző 20:422015. január 12., 20:42‎ 94.21.215.220 vitalap‎ 945 bájt +28‎ →‎Egyoldali kvantorkiemelési törvények visszavonás Címke: Vizuális szerkesztés

aktelőző 09:242013. március 9., 09:24‎ Addbot vitalap szerkesztései‎ a 917 bájt −231‎ Bot: 10 interwiki link migrálva a Wikidata d:q281854 adatába visszavonás [automatikusan ellenőrzöttnek jelölve]

aktelőző 23:062011. május 19., 23:06‎ WikitanvirBot vitalap szerkesztései‎ a 1 148 bájt +21‎ r2.7.1) (Bot: következő hozzáadása: es:Forma prenexa visszavonás [automatikusan ellenőrzöttnek jelölve]

aktelőző 03:242008. augusztus 21., 03:24‎ SamatBot vitalap szerkesztései‎ a 1 127 bájt +1‎ kozmetikai javítások visszavonás [Misibacsi ellenőrizte]

aktelőző 15:102008. május 12., 15:10‎ Szajci vitalap szerkesztései‎ 1 126 bájt −34‎ Nincs szerkesztési összefoglaló visszavonás

aktelőző 21:492008. május 4., 21:49‎ Szalakóta vitalap szerkesztései‎ a 1 160 bájt +5‎ →‎Változótiszta alak: elütés jav visszavonás
aktelőző 21:472008. május 4., 21:47‎ Szalakóta vitalap szerkesztései‎ a 1 155 bájt −14‎ formázás visszavonás
aktelőző 21:462008. május 4., 21:46‎ Szalakóta vitalap szerkesztései‎ a 1 169 bájt −10‎ formázás visszavonás

aktelőző 21:432008. január 12., 21:43‎ 86.101.166.93 vitalap‎ 1 179 bájt +12‎ linkek hozzáadása visszavonás

2023. május 28.

2018. július 24.

2015. december 12.

2015. március 29.

2015. február 8.

2015. január 12.

2013. március 9.

2011. május 19.

2008. augusztus 21.

2008. május 12.

2008. május 4.

2008. január 12.

2008. január 11.