{"entities":{"Q1770622":{"pageid":1781364,"ns":120,"title":"Item:Q1770622","lastrevid":74368005,"modified":"2026-04-14T19:48:53Z","type":"item","id":"Q1770622","labels":{"en":{"language":"en","value":"All normal extensions of S5-squared are finitely axiomatizable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153454"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$CAC2B81A-3282-4383-9157-8F2403FF46DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8ebfba29b4fcfccc8da9208c43b7c87f69c00ea","datavalue":{"value":{"text":"All normal extensions of S5-squared are finitely axiomatizable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770622$E40B5A4A-5DB3-4E23-9DFA-014A5BC708D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3597c3040dd24b58a2279942c4b8b0764c06e3fa","datavalue":{"value":"1069.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770622$13B9D240-C256-4CB0-80F1-EA5CC1C02CD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$891584E7-CF83-4E53-8F95-AF55F2F09BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$F8C0BCDD-C910-4745-AC82-ACB5C392409A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$2A03F44A-3C16-40BF-B09A-FE9AA70AEFA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770622$5716A54D-7AB4-43E9-BBDE-1D6148B4653A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff44d8f9beea48bdf1520ef06975605d650b0bd4","datavalue":{"value":"https://pure.uva.nl/ws/files/4095474/41076_191083n.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770622$5E3EF6CC-3A3A-400C-BD8B-8970E59618F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"801e33e68ad180cf83ea619196bd107cdb10abb0","datavalue":{"value":"The modal logic \\(\\mathbf{S5^2}\\) is an extension of \\(\\mathbf{S5}\\) which includes two commuting different modal operators both satisfying the axioms for \\(\\mathbf{S5}\\). The logic \\(\\mathbf{S5^2}\\) is known to have the exponential size model property and its satisfiability problem to be NEXPTIME-complete. In contrast, every proper normal extension is known to have the poly-size model property. In Stud. Log. 73, No. 3, 367--382 (2003; Zbl 1027.03015), \\textit{N. Bezhanishvili} and \\textit{M. Marx} conjectured that every proper modal extension of \\(\\mathbf{S5^2}\\) is finitely axiomatizable and NP-complete; in this paper the conjecture is proved.  The authors show that for every proper normal extension \\(L\\) of \\(\\mathbf{S5^2}\\), there is a finite set \\(M_L\\) of finite \\(\\mathbf{S5^2}\\)-frames such that an arbitrary finite \\(\\mathbf{S5^2}\\)-frame is a frame for \\(L\\) iff it does not have any frame in \\(M_L\\) as a \\(p\\)-morphic image, and this yields a finite axiomatization of \\(L\\). The condition is also proved to be decidable in deterministic polynomial time; this together with the poly-size model property implies NP-completeness.   It is worth to remark that the complexity results presented take the same line of research as the one about unimodal logics pursued by \\textit{M. Kracht} [Math. Log. Q. 39, No. 3, 301--322 (1993; Zbl 0799.03011)]; however, the theory of well-quasi-orderings is not sufficient and better-quasi-orderings have been used instead.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770622$DADDBFC1-8C33-4B2E-9657-113423ED33F7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9c7994377655925beca167212c6ec3527b954b5","datavalue":{"value":{"entity-type":"item","numeric-id":587084,"id":"Q587084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$06938664-97C6-46B6-86B4-6ACC3E7D5983","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770622$CE15FF17-3FAC-4A72-BAD1-240CEA2C407E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770622$E445BE01-E2BD-4113-911F-FE8997D4C11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770622$81B1E505-F5EF-407B-A4DA-11D9974E721D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d471b1743be219e9826a77ea223639cfc9247b59","datavalue":{"value":"2153454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770622$E5BCF9EC-E0A9-4453-8A64-459F0CAAC0AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770622$B8B02A1C-A971-4B0E-8C86-B122283BBDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f263efca6f2b9c9dd11d28bf51589a8c81dbd5","datavalue":{"value":"finite axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770622$17EC6227-CBF7-4AC7-90D1-6F4A9565E24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770622$A16ED423-E9CA-4884-B510-6A229AF6CE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7042586cc72e8975aeeb8713aee903fb75f088a","datavalue":{"value":"better-quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770622$C3F806F7-4677-4F4A-BA73-7BCC8892A0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7921bc06edf43825c7cb936ccb6fb38e82abd0c0","datavalue":{"value":"poly-size model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770622$BDC2BC30-B82B-4F37-B1FD-18A2A5E48BDD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$D9698253-7E52-4806-A8BD-295FF54EBB9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc20b9e02d31e6ceb872bb32ac1ffc2fd1b3a3d6","datavalue":{"value":"W2094617595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770622$5F0B5747-AC19-49F0-9F00-73DF55EE8211","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4013c72b700f7464402b7922530b4716e09a616f","datavalue":{"value":{"entity-type":"item","numeric-id":1771933,"id":"Q1771933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$C79A8690-54AD-4AAE-A839-7FD8700FA507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bd9682a0faf126a7a5695c144ce45df07251cd","datavalue":{"value":{"entity-type":"item","numeric-id":2583594,"id":"Q2583594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$17B25B1D-1CEA-46C5-BF36-2C67164902F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0031bc61c25d4645270de5f32e8f58a26e32e2c1","datavalue":{"value":{"entity-type":"item","numeric-id":1810814,"id":"Q1810814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$03E38CA4-CA66-4818-A6D7-10D51CAD09C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$7576E1DB-0FC9-476B-A77A-C73E4F320C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$CF971748-990A-4E86-A504-455DB8C97E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$1334D8C2-E65C-4418-99DE-3B4B8CF2B549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc835d665e3a76a76cef02b40f04b8faba048ce0","datavalue":{"value":{"entity-type":"item","numeric-id":4304115,"id":"Q4304115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$BAF2E0A4-B147-469A-8F75-CCBD05ED153F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d386d53a87bc23f25814956095d35bea72ff30","datavalue":{"value":{"entity-type":"item","numeric-id":5829880,"id":"Q5829880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$1E3003AE-70E2-49D0-9D1B-C8567D637CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770622$F0F3EFE9-722F-48E7-BB2A-84A3534703D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"756f402921179839eb3be0a8b117aa51c6ee355a","datavalue":{"value":"10.1007/S11225-004-6044-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770622$DDC99756-3D4A-447B-B824-15E0E31E8D45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8199597351f2a59fecf59d8d6d679451746201d4","datavalue":{"value":{"entity-type":"item","numeric-id":1810814,"id":"Q1810814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943f6114c8f916e8e957069cf0761a67db247557","datavalue":{"value":{"amount":"+0.74783945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770622$777032FC-7961-402D-AD2E-811E662F9B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"894a12f6797113df76a88a2008b25b3dfb5dd6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4242476,"id":"Q4242476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44843846d4c2fd36df8e60136b1dcdf67e007646","datavalue":{"value":{"amount":"+0.7253814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770622$436E7E01-9EB4-448F-9DA9-6AE599CB5B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9754cad496cbae51ddab8ae25d21e239824378","datavalue":{"value":{"entity-type":"item","numeric-id":2815679,"id":"Q2815679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a554e23ebc4fd80993e5b43a2064682973efb51","datavalue":{"value":{"amount":"+0.72360873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770622$19F2999E-0A73-4E26-BFD8-88D01A3C4BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97473340d0cf76b48d9635a8aef94637fa2b713b","datavalue":{"value":{"entity-type":"item","numeric-id":4779649,"id":"Q4779649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da20c3b285afc3a966ebb9a1f66431ba81bbff5","datavalue":{"value":{"amount":"+0.7202598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770622$2A4AC509-B0AB-4245-8879-0067EB9A048A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cff4af0fd35caec531fef718a76195c68d44aa3","datavalue":{"value":{"entity-type":"item","numeric-id":4390774,"id":"Q4390774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314a11be630e0ee36558ec507c221872bfdb89d8","datavalue":{"value":{"amount":"+0.71909034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770622$6B433CCF-51B4-4EEE-B3F8-1F7C0FFCA7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e78371aeb5da781aba1285c7a94f386a9554828","datavalue":{"value":{"entity-type":"item","numeric-id":5892436,"id":"Q5892436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015b70ada5908f5b0722f5fb7a28013acdfefa81","datavalue":{"value":{"amount":"+0.7161548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770622$0AD87B43-76C6-47E5-829B-E7A31559D42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80be89e2a2f3c28821920d90433f9f325303cc16","datavalue":{"value":{"entity-type":"item","numeric-id":2709303,"id":"Q2709303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34dbff9737c4ff02d905bb403073d65929877975","datavalue":{"value":{"amount":"+0.71517706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770622$9E6A2BD5-BF19-40C9-B61B-D10E94EA954F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd8c2710e89db94ff58672382e370bab5915ae2","datavalue":{"value":{"entity-type":"item","numeric-id":4438092,"id":"Q4438092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7333be354b9eaed9bd351d5831d46b8db728ac66","datavalue":{"value":{"amount":"+0.71395385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770622$B2C3FA24-590A-4F05-A978-0EBD4039FD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bee3afbd2951d751ebabce06c451d7abd596c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5960012,"id":"Q5960012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b017b982d9e4b7a6697f098c2edcdaab9bcc9f8","datavalue":{"value":{"amount":"+0.7120398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770622$AF563C5C-5A71-4F26-B37D-8ACBF7F3C4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73ff7da38d730d56089900ea34dfb1b06f8a6f6a","datavalue":{"value":{"entity-type":"item","numeric-id":4361651,"id":"Q4361651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac7889fef59a07ad83f01aceb460890797c0b028","datavalue":{"value":{"amount":"+0.7109486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1770622$4D7A3D02-BB81-46BA-AD16-E9A70A03679B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"All normal extensions of S5-squared are finitely axiomatizable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/All_normal_extensions_of_S5-squared_are_finitely_axiomatizable"}}}}}