{"entities":{"Q2930128":{"pageid":2940848,"ns":120,"title":"Item:Q2930128","lastrevid":85063055,"modified":"2026-06-03T05:44:48Z","type":"item","id":"Q2930128","labels":{"en":{"language":"en","value":"On the strictness of the quantifier structure hierarchy in first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6370373"}},"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":"Q2930128$4FC58EF2-2441-404E-B8FA-D125311DC798","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86f9ea6f460e6768f2b7fbe14cfd5605ee2a4ab1","datavalue":{"value":{"text":"On the strictness of the quantifier structure hierarchy in first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2930128$CCA77A6E-4192-4EBA-999A-57CAB27381DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63579270af9a94a29726f37a559364dafd25d112","datavalue":{"value":"1345.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2930128$83E5D60A-1DED-4BC2-BDAD-0AF701B0F4A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c8281ed1796e5ba61e43c2bbf70116cc430c6a0","datavalue":{"value":"10.2168/LMCS-10(4:3)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2930128$A1E3FFA8-B231-4E65-83DE-F283BE8C12E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c8281ed1796e5ba61e43c2bbf70116cc430c6a0","datavalue":{"value":"10.2168/LMCS-10(4:3)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2930128$151077BB-92E0-4A08-B8CE-6CB27B02EBB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8dc7ed37b3e1c1f9fa8241793f49a44b30a24eb","datavalue":{"value":{"entity-type":"item","numeric-id":2930127,"id":"Q2930127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2930128$FB962825-AE0C-4C39-819C-9EFB61846294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"737c75b22015882eeeec3eb3726e127e653e1980","datavalue":{"value":{"entity-type":"item","numeric-id":6486851,"id":"Q6486851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2930128$1A40F0AC-C5A9-4DFE-8058-D8A352BC50E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2930128$3E3A083C-6A66-4836-8A31-1480E41EB668","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"571e53cbb15d75452f617e21f5b8152eb21d73c2","datavalue":{"value":{"time":"+2014-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2930128$5E8B7372-ED4F-419E-B870-10EB4F6318A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"612868938605169b58f3f8160da2dd7be5286eb0","datavalue":{"value":"https://arxiv.org/abs/1409.7488","type":"string"},"datatype":"url"},"type":"statement","id":"Q2930128$59FA66B5-356D-4368-AA66-F81DDE58004A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2930128$B7721998-156C-4F4F-855D-D4737C833F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2930128$E41F9F74-0821-4FA5-B681-D30F3C2D088C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2930128$0B1290E9-0260-491B-B041-4321A50804A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2930128$FC19F8A7-239B-416A-8E24-C36CBCDDA5A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acdec0983b2f7f288e7eaf28362258b17e7131fe","datavalue":{"value":"6370373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2930128$DF2E8335-9BF3-4170-854F-EE251CB9B57B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2930128$1594218C-5E81-4027-9F74-C2C37D3FDE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bcbcad2b7fad8bc1d82423ff8b03c77a75dddb2","datavalue":{"value":"quantifier structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2930128$9AE494CD-5CF7-48B2-B229-7EB2337DC54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea7fa383ece377c9f86a42652b7dc7fb7701c3f6","datavalue":{"value":"quantifier class","type":"string"},"datatype":"string"},"type":"statement","id":"Q2930128$63076316-64A5-47DF-94B0-D0732FCAF959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e45e72898ab5ef3149ddc99da95e7adb07eff4","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2930128$590E887A-63AE-489B-877A-4ED6A1375736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91901ca6eae063debdc31eca1145de4008f73bc1","datavalue":{"value":"strategy composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2930128$281C642F-940F-402A-A263-B8909FBF7062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f021a857571239ca040b986c0a68a132412e2de","datavalue":{"value":"point-expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2930128$A4B2E1AA-6E14-4E65-A8E7-C5064C8CB5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75594ac136f9b33a56ba5453f9c36aa75387b338","datavalue":{"value":"ordered structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2930128$8D5E7504-0CDC-42D6-AA86-319379A68328","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":"Q2930128$93EC4BB4-EABD-4923-B3E9-0663C16E3D5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a776ab8a8d508b2ddc32e000ace1519752bf461","datavalue":{"value":{"entity-type":"item","numeric-id":3395099,"id":"Q3395099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95377f798cde39d6a28066688ea34ede2b2c4574","datavalue":{"value":{"amount":"+0.7869257926940918","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":"Q2930128$90213D4B-7118-4ED6-9EEC-D80C5E56CCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe20ce0c443125a2bcddb30f2b99b32ba01be45d","datavalue":{"value":{"entity-type":"item","numeric-id":3006117,"id":"Q3006117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f5d144121524a9ac2dfd585722701382c92272","datavalue":{"value":{"amount":"+0.7774441838264465","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":"Q2930128$C833C387-82BD-4371-B068-90C3EE03455B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9cc68b5d48f81cb53cadcf6989f9231f671ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3608423,"id":"Q3608423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ced0eeef4492d5698e09094cc8deaf06128a6a","datavalue":{"value":{"amount":"+0.7724317312240601","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":"Q2930128$D046C62D-FECD-4667-8A7A-607DD70825C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf293c5c23c79b1813efb239c0a3d05e092d5072","datavalue":{"value":{"entity-type":"item","numeric-id":2510771,"id":"Q2510771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95a47550fb1ee12b9ed5a457a08d0c14d624be1c","datavalue":{"value":{"amount":"+0.761062741279602","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":"Q2930128$1B3E8F93-F6CA-4FB9-BE47-187E43BBD106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3610914827c58d6343ac6778757b1ed316aa36f5","datavalue":{"value":{"entity-type":"item","numeric-id":4358054,"id":"Q4358054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51d66be4ebe7d6744436a6027edd05bc55fca44","datavalue":{"value":{"amount":"+0.7543755769729614","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":"Q2930128$FA4E0B95-1C6F-4D2D-A5C2-3F05162893CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the strictness of the quantifier structure hierarchy in first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_strictness_of_the_quantifier_structure_hierarchy_in_first-order_logic"}}}}}