{"entities":{"Q4608719":{"pageid":6638302,"ns":120,"title":"Item:Q4608719","lastrevid":90089060,"modified":"2026-06-04T19:09:01Z","type":"item","id":"Q4608719","labels":{"en":{"language":"en","value":"An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852233"}},"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":"Q4608719$422F6743-4301-424D-9759-9ADE1526544D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fbe18ef13073aafda0d805c59abd5e0a25d9e32","datavalue":{"value":{"text":"An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608719$AC155DE2-4185-4025-8392-8EB2CB4F3E2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccc9067e39a6a8f9c788716ba68c329fcc732302","datavalue":{"value":"1407.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608719$B2E93238-31C2-4E88-9B0E-54EEA491B46D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cbe311e9d1788c065d894d67eb4df42aa4216f4","datavalue":{"value":"10.1145/3149822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608719$CDE43BD5-E1C7-46D9-B75B-2C8F7A679183","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2544a2aff544dc84ffd23bad61458f6d1fd945ff","datavalue":{"value":{"entity-type":"item","numeric-id":347113,"id":"Q347113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608719$7428BE1E-F263-4511-A979-78189F05238E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fb8d4872513e25b3cb2ee4b054caa1dd9caebba","datavalue":{"value":{"entity-type":"item","numeric-id":599181,"id":"Q599181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608719$575616A9-628D-4FBC-A849-B28E4B394BA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608719$1F4FD302-E684-4983-9219-F4B90BC178D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c08c0cb5adcb87dcdf141312d287850a8313671b","datavalue":{"value":{"time":"+2018-03-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":"Q4608719$F4A5F9DE-A2CA-4A30-BA44-CF4707EDED94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb91a85f1f6e37d87036f699a9cdbf2b3d0d8094","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2012/3850/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608719$483F085C-C3A0-4C23-80A5-A7A735ECEFFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608719$87863CA4-FF23-4BFF-AB68-0CF86EDCEBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608719$D2A48173-29CC-46A7-9531-388E0E29C86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608719$369983F9-21E8-4ECA-9411-1FBF73037CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608719$6692B537-7A58-416B-BA7B-1ECCADD6ADD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c7196ea921de2bdfffe3e5edb0e944277f9c480","datavalue":{"value":"6852233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608719$9E15AEF4-2F3F-4F45-9D9C-E3A7FE7B88A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c733535a2ed53d2dbc5bb82c37d0ea68ad91b0","datavalue":{"value":"\\(\\mathrm{FO}_2\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608719$1D76253C-3291-4433-A082-93D9717C8364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d6a7c45b6fa152c1fa360245eff4f514052fa9","datavalue":{"value":"identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608719$7866E67B-D5E2-4B40-8D95-838692652EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce11863262d0930af6689d9153f20c8a56d32b6","datavalue":{"value":"J","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608719$4A39B6CB-3490-45F5-BAE0-CF81205CCDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b2180cf3dbaa5630aa6caa81de661538a019bb6","datavalue":{"value":"pseudovarities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608719$D13B5F08-4D27-4354-9598-72F0111A8884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e138a1670dd04bbc9b0b004a6a70f93eb7587498","datavalue":{"value":"quantifier alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608719$C06A2106-7C9B-48AA-8A04-4E16CC947AE1","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":"Q4608719$CB156317-FAF1-498C-946E-E6E558846B7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"699eca9afef218a30a0971da205e8f4d153305b4","datavalue":{"value":"W2963384346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608719$E694752C-AAC4-4036-B39A-E89D7917593E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"67fb1ee69b6fd21d3ef5cd11d2d6667014c8ad4f","datavalue":{"value":"Q130847045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608719$10BF925C-901B-4833-8EF4-33863C7B17CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7aa192411608347f08b70e77c05b87c86bd475","datavalue":{"value":{"entity-type":"item","numeric-id":2957483,"id":"Q2957483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","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":"Q4608719$E4C18FDB-5C78-495E-9DC2-0F3B9F2C91F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1762cbfe24b7132afc2cc3e2a8bf8158462782a7","datavalue":{"value":{"entity-type":"item","numeric-id":4725752,"id":"Q4725752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ba6136e19535a6ecb058df711f7988895dd98f","datavalue":{"value":{"amount":"+0.91135865","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":"Q4608719$52468F74-80F9-40C3-B7D1-17143AB011E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edec1904bbe9b1b454ba456cf4550de5db0fd452","datavalue":{"value":{"entity-type":"item","numeric-id":2946761,"id":"Q2946761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ac16dae16249038b5c546663689448181bcfcf","datavalue":{"value":{"amount":"+0.8787154","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":"Q4608719$ACC34FB8-D6A6-41A5-8CA2-7756170C85F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eeff9275ba68d8354eb67a3c3d1dada8f4fa11a","datavalue":{"value":{"entity-type":"item","numeric-id":2958513,"id":"Q2958513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ac16dae16249038b5c546663689448181bcfcf","datavalue":{"value":{"amount":"+0.8787154","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":"Q4608719$C66F016D-9F44-4593-8621-A35AF4FFAF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f309b07b5b416ab2fedfbe8171862759e16a28fc","datavalue":{"value":{"entity-type":"item","numeric-id":5901154,"id":"Q5901154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8046168704e856abffbd052d252755c777575fe6","datavalue":{"value":{"amount":"+0.8757082","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":"Q4608719$F5A413F3-2F9C-4437-9D94-29296F22F7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1341e095fb78b372f8126db81411c024d1338e","datavalue":{"value":{"entity-type":"item","numeric-id":6076360,"id":"Q6076360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce83df0185715f222c11b7ca18b4155ef16b21a2","datavalue":{"value":{"amount":"+0.8739338","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":"Q4608719$2C5F3E35-9A00-4ED9-B3F5-B924697CB75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35dd75c6ad6569647f9c38a3382b003076cc00c7","datavalue":{"value":{"entity-type":"item","numeric-id":3702512,"id":"Q3702512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9ab13286804536319a62be61ef0dbbc63ca475","datavalue":{"value":{"amount":"+0.87334096","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":"Q4608719$8CA93BBD-B752-472E-A536-B52147C9FD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a76a5ff7a143036f2e06f27a569a27f233b510a","datavalue":{"value":{"entity-type":"item","numeric-id":5492877,"id":"Q5492877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000be4ae12f03ddae21e83ad98edd0b89840e55e","datavalue":{"value":{"amount":"+0.87251097","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":"Q4608719$276F17F9-6022-4C9D-A0DE-E9389ABA5740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35136f72dd157094e5bf76d67792c6234e36b43a","datavalue":{"value":{"entity-type":"item","numeric-id":4608629,"id":"Q4608629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d576cd359a25867fced7c748c472bc66d4fb3d5","datavalue":{"value":{"amount":"+0.87075233","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":"Q4608719$10A1DB2C-65ED-42E6-9DA5-01E8D08B7700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a027f29b3a1e20aa7f2ad66f89128ad7aa90236d","datavalue":{"value":{"entity-type":"item","numeric-id":5898540,"id":"Q5898540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c65efda09a9b353e8f99663275b806f6b132fd","datavalue":{"value":{"amount":"+0.8702944","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":"Q4608719$91716C73-2A0B-4120-9703-8795D46DEF89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Effective_Characterization_of_the_Alternation_Hierarchy_in_Two-Variable_Logic"}}}}}