{"entities":{"Q4635945":{"pageid":6665526,"ns":120,"title":"Item:Q4635945","lastrevid":58313406,"modified":"2026-04-04T16:36:46Z","type":"item","id":"Q4635945","labels":{"en":{"language":"en","value":"Order-invariance of two-variable logic is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863551"}},"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":"Q4635945$BB342EAC-849F-4C8A-A17E-D5F61E372C4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"741a05a6da83f53edf5473cdcac63af627efcbe3","datavalue":{"value":{"text":"Order-Invariance of Two-Variable Logic is Decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635945$522D835B-26AC-4FA9-A026-0120576B61E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0afb7cc33b3c8518fd2431a15cf7f311ed3fdf56","datavalue":{"value":"1394.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635945$BADE4A34-4346-4D65-B1A6-0396E74A6B3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5b4fff6e260eba34f38a81d0a4c1395b5e96253","datavalue":{"value":"10.1145/2933575.2933594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635945$E5FA02C9-906C-45A7-995A-DEE25A513922","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f50344d6d2402c082431ec7cf80747ef3aecdea4","datavalue":{"value":{"entity-type":"item","numeric-id":509760,"id":"Q509760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635945$1589EFA4-6D00-4FB7-97AC-FD041678AAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9711f7fcc55d9ac2fd04f9c2f72987ba25c601d","datavalue":{"value":{"entity-type":"item","numeric-id":269709,"id":"Q269709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635945$EF595B82-199C-41CB-ADBF-7DD9FB90BEBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635945$EE5F25A4-3537-4192-8BD5-C42CDB6D750B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635945$FCC95746-1B8D-4255-8746-534CC24E13C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6be7adfa2d8ee74ca0cd9caf943ce719ed181c33","datavalue":{"value":"https://arxiv.org/abs/1604.05843","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635945$133B0A31-6F76-494A-A1B2-F13411FC8042","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635945$5DCFD543-C0FF-4806-9C2B-002796874CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635945$5574582E-F712-4DD9-A911-B850BFC563CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635945$3ED1A39D-EBF8-4040-B693-24715359312F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635945$4BA0F7C7-4CF8-4509-854B-62B119A03313","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56fc2564c8b34ed794501d798bfd2bdf08308def","datavalue":{"value":"6863551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635945$37340E16-B61C-4741-BBC2-8C1E8A846255","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00e05c62ca2a5ccbe7c67cf8e4f4caf14f5c3970","datavalue":{"value":"order invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635945$63DB6A36-220B-43E5-AD61-D6D40D1091D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635945$8156C46E-C56E-436F-A8A6-944123FD1E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635945$68C0F98D-88FA-483C-B65F-4E9A5C8C9510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b5ae44ab37309929240db6fc402a089edeb073e","datavalue":{"value":"successor relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635945$3169C477-4281-4A64-B932-73A9F3E543D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635945$0E104D35-BFC6-4563-9B7B-483C9235A500","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":"Q4635945$0438A29A-05DA-44D0-A20F-0DA91D7F57B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca0fc3a56821b782ad872ebad1444a9271f631c2","datavalue":{"value":"W2335953814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635945$29F008E0-7756-4586-9A74-924E5F2D2E50","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3db5690e6f4e52c08fed6b13d6ef632b6c37f2c4","datavalue":{"value":"Q130847046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635945$8E55EA63-D8E1-4A64-9795-1F68971E1F07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b9af3deaa7b5dbb5fe1de484b40d10a711df54","datavalue":{"value":{"entity-type":"item","numeric-id":3586109,"id":"Q3586109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf40ef82cc93b7505456d3e13cbad00a4cc1c2a","datavalue":{"value":{"amount":"+0.8335866928100586","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":"Q4635945$E2BF736B-0EDF-4108-88B0-2E744531D58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43243832a8209ee9530d7e4f312109d284920499","datavalue":{"value":{"entity-type":"item","numeric-id":2915693,"id":"Q2915693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4f7d8ca77fedad5a4db7495cc706c2d4a1bd69","datavalue":{"value":{"amount":"+0.8279716372489929","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":"Q4635945$B78EE94A-9593-42DF-B324-FECBEFBACC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd697792be6d1f7b2f8875ed5175a04ec126b6b8","datavalue":{"value":{"entity-type":"item","numeric-id":5891508,"id":"Q5891508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"485eb326822d84467300caff84e65527c429968f","datavalue":{"value":{"amount":"+0.8254719972610474","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":"Q4635945$E30289BA-19F5-40F4-85D8-ED28CD9FF1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e65a427c28b570dcfc1dfce65a15bea7b4410ab","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721823d5cacd6e0a76c31dec4e970a5c80385c8e","datavalue":{"value":{"amount":"+0.8213354349136353","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":"Q4635945$2C048227-6619-4750-BDD8-39E70B4AC9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f6a50e9a1e2200c7d08129c1a8425258d7a8ac","datavalue":{"value":{"entity-type":"item","numeric-id":2915891,"id":"Q2915891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721823d5cacd6e0a76c31dec4e970a5c80385c8e","datavalue":{"value":{"amount":"+0.8213354349136353","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":"Q4635945$9C8FE8B2-6F86-47D4-BCA8-A8444F679252","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635945"}}}}}