{"entities":{"Q4649563":{"pageid":6679144,"ns":120,"title":"Item:Q4649563","lastrevid":58321728,"modified":"2026-04-04T17:27:10Z","type":"item","id":"Q4649563","labels":{"en":{"language":"en","value":"The \\(\\mathrm{FO}^2\\) alternation hierarchy is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109849"}},"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":"Q4649563$3781F067-56DF-47D3-A643-0049DF9B9E78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac0f72d4911a92654dc7ca7d4968e3e79a4c2d64","datavalue":{"value":"1252.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649563$4B61CDFC-7977-4E1B-B250-EF5983AB52EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0de4af1b7c20aa534acd2585628b6cd288f3b0","datavalue":{"value":{"entity-type":"item","numeric-id":263827,"id":"Q263827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649563$0043C405-E50B-4293-A10F-0DE827C5F88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2226755ce7b891c6e6ed64b8807df159e949df0e","datavalue":{"value":{"entity-type":"item","numeric-id":711614,"id":"Q711614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649563$0A26BD0D-35D4-439E-9893-01E1A37F379D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649563$144C6106-0D39-4B70-B7C8-A88BA3C279DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b453e4f2683f6065325773c288f68f343fe833a","datavalue":{"value":"https://arxiv.org/abs/1203.6152","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649563$6373BB90-005C-459B-97FD-EA09B08D8666","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649563$D2EBC269-F328-4361-B7E6-20FA5793B614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649563$CC06E86E-2F97-4DC3-AF2D-CE59C049FC46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7040d393becf0c8dc0e5a5727639b7332b1feb39","datavalue":{"value":"6109849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649563$B5576AB5-E250-4FFE-9D20-EE2175A55649","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649563$BC83FE9A-8562-45E0-810F-E0D2AF48DBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649563$7A9418DD-235D-427E-925A-DD9FD76A7CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649563$307621E9-2474-47FF-818D-38E22CBED59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649563$DD9F9039-0DA3-4CB4-BBCF-6990679500E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2926e53f7a98ba370328d1f99becfb2815a7fd3d","datavalue":{"value":"condensed ranker","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649563$147C0177-259D-405C-9F3F-E4966F266E26","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":"Q4649563$44A99482-AD8B-47B7-97B0-92093ACE6E82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44b74794181778e6907a08abb188ee5faa740337","datavalue":{"value":"10.4230/LIPICS.CSL.2012.426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649563$17DF3B73-35E4-4A3F-97FA-75CEF3B0388B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a877179cd1dcc6c536adcf14ec1449f186639d","datavalue":{"value":{"entity-type":"item","numeric-id":2904628,"id":"Q2904628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0080dfa4c38bdc4f77c2ee507fea3cdd3d17a683","datavalue":{"value":{"amount":"+0.9161497354507446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649563$AE6D7593-0CAB-4132-81AE-9BF653C8A463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586e96f39b337bfe187a4eeb5cfcb2cd3eef2b03","datavalue":{"value":{"entity-type":"item","numeric-id":3182951,"id":"Q3182951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"318d7e6625a733171e1d107120f5d28655e34886","datavalue":{"value":{"amount":"+0.911504328250885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649563$918C617C-E0BD-468C-9040-BC1760DE4DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66130eb330cdf948f3c4a6a5a040acd8cae74389","datavalue":{"value":{"entity-type":"item","numeric-id":2411037,"id":"Q2411037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e77af36fe8fea31bcb3c9c5ded09a0f175dfc7","datavalue":{"value":{"amount":"+0.9058120846748352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649563$7B176745-036D-4A7E-93B4-F1B6988EB6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed1ff33206813d17f95c87da088cf1a9ffff730","datavalue":{"value":{"entity-type":"item","numeric-id":2957893,"id":"Q2957893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e821996bef7c6f14d2bed09a18ed3a1140a55038","datavalue":{"value":{"amount":"+0.9020761847496032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649563$4C67C077-6569-472A-8AAC-06DF9F72F916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"184b424058f47dde0789e95e1ec0377a6efadf6d","datavalue":{"value":{"entity-type":"item","numeric-id":832937,"id":"Q832937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b45a66ea41d10804bbc87fd6282ff4afa51def","datavalue":{"value":{"amount":"+0.8644677996635437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649563$3D7025E0-8C60-43F1-8D41-75F3D65CDB55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649563"}}}}}