{"entities":{"Q5891508":{"pageid":7927303,"ns":120,"title":"Item:Q5891508","lastrevid":58617117,"modified":"2026-04-06T00:53:24Z","type":"item","id":"Q5891508","labels":{"en":{"language":"en","value":"Two-variable logic with two order relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021332"}},"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":"Q5891508$7759276C-9A1C-4083-9377-C78BEBF60558","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ae74ee74a5292e7bc4faac4c8d09f42ec3977d1","datavalue":{"value":"1238.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891508$E7679ABA-CF15-4C7E-87C9-CA907A176FA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16ac44954efe09bf34c5293bc42a2a00efc9b415","datavalue":{"value":"10.2168/LMCS-8(1:15)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891508$CD7782E5-C7B3-49BE-A45F-2EBC499300C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a30c2c13b8e433f8b7509914fc24c7510ae2c202","datavalue":{"value":{"entity-type":"item","numeric-id":208764,"id":"Q208764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891508$733506DB-1A4D-42C4-B32A-B3D8C29D3932","rank":"normal"},{"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":"Q5891508$A91F7B62-7145-42C9-99F1-75B22DB5ABCF","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":"Q5891508$9B038F21-A091-4F42-A924-69238CD5A3D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891508$6ED4C3EF-EA92-42BE-9FD1-8500B2322BE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d7ff891112f219aaab946066475d50f48313ecb","datavalue":{"value":"https://arxiv.org/abs/1110.1439","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891508$680AEC15-236C-474C-8C18-DCFC87003E15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891508$58A03BE8-C06E-4F40-AF0C-8C848E639939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891508$284AF37A-45E3-4FED-BA95-3AD5C71B7CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891508$7B442B67-9281-4944-8E69-B382515BFDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891508$4480B8A6-5742-4D8C-BBB6-DA18B6874236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891508$ADC3A392-54F6-4209-96E1-E56E7D57E740","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dcbeddb0590a0c079120bcf9f8189b176b226df","datavalue":{"value":"6021332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891508$AE4514A9-4442-48BA-A6F3-2B53F9D9175C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891508$C7C70A7C-323D-4D2B-B0D7-78217D8E30F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a95117eca4562916655982de035b721507a45dcd","datavalue":{"value":"linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891508$DDCD7FD1-9C37-4A15-B567-CC3F117596E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a801be47cc2e6193d1b369c7c61972dc1e6bc3e9","datavalue":{"value":"data word","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891508$5587222F-EB82-4C28-873E-C4A737C7944C","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":"Q5891508$9E5888DE-81BD-44BF-8255-5E347BEFB0C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8576240658b609ae95a68a57e36d00d5dec1e0ff","datavalue":{"value":{"text":"Two-variable logic with two order relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891508$D738096F-6265-41AF-83DA-68FF01A330DC","rank":"normal"}],"P1643":[{"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":"f04fdf347a58dddaa3af750c10885c633a85493a","datavalue":{"value":{"amount":"+0.9482926726341248","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":"Q5891508$257E3EE3-380C-473A-BEBC-CD73C971BA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55eaef5a79c4548262b6e763c5e990be6df1447e","datavalue":{"value":{"entity-type":"item","numeric-id":2958540,"id":"Q2958540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ffe3ae92ac5433cf0be84f8ec564fe1aad4c8ed","datavalue":{"value":{"amount":"+0.8645338416099548","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":"Q5891508$74D643FB-41FC-409F-8CF7-7912E70D99F1","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":"3460aacab488c1efaac10916413d10bec2acd059","datavalue":{"value":{"amount":"+0.8443872928619385","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":"Q5891508$2025DEC6-F238-4C15-A15B-0305445D12A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e5c0f7ac44aa3d0bf33b8fa840bdaaf514ea52","datavalue":{"value":{"entity-type":"item","numeric-id":5351987,"id":"Q5351987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2bc16ce90af3ef48eb7c07d23a4ca1a8a2eb04c","datavalue":{"value":{"amount":"+0.8348313570022583","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":"Q5891508$204A20A3-2BE1-4604-99B2-1A3B6C6F5FAC","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":"f5009c720e18760f2060960c73054a5e1c40aec4","datavalue":{"value":{"amount":"+0.8340487480163574","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":"Q5891508$63EB4E66-67ED-45F1-BD57-DCC49856CC23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5891508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5891508"}}}}}