{"entities":{"Q4933309":{"pageid":6962891,"ns":120,"title":"Item:Q4933309","lastrevid":51101765,"modified":"2026-01-16T16:33:34Z","type":"item","id":"Q4933309","labels":{"en":{"language":"en","value":"On the satisfiability of two-variable logic over data words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798900"}},"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":"Q4933309$F1033243-7169-427C-BA97-17A9136442FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91f8ca6cba297d284efa2a639561080302c24068","datavalue":{"value":{"text":"On the Satisfiability of Two-Variable Logic over Data Words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933309$60304B86-08AE-4191-95B9-0F43EFCC73F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd81b74a144a2682d38b8c7aaf48420d2f782e3e","datavalue":{"value":"1307.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933309$6E6EF66F-92DC-4A24-AEEE-48E6DC905B2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ac68060dade1d055c43c415d81f8a7f2fb86699","datavalue":{"value":"10.1007/978-3-642-16242-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933309$7EAA2690-EFBC-4737-9AD1-BFB9FF4921F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fb443d0bcd75b4b8131961871a2af972f28b13","datavalue":{"value":{"entity-type":"item","numeric-id":602361,"id":"Q602361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933309$E929FBF2-0598-4A6E-8F9B-4704A67214EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cda1a609499962c000f6fa846f1384b1eeadb950","datavalue":{"value":{"entity-type":"item","numeric-id":1959426,"id":"Q1959426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933309$F26FAFF9-B805-481A-8325-B482B8DDD8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7031b84dffab1e32107789cd00559636fcfb642e","datavalue":{"value":{"entity-type":"item","numeric-id":923676,"id":"Q923676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933309$80D06233-8862-4B0C-AE6A-DAAE4F07D29C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933309$F9A333E4-361C-4ED3-B931-28C930F935F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933309$EEDEF3BA-4DF0-4743-96CA-2B5A3EAB9F25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933309$49A6C7D1-BA31-45FA-BA05-A8EC4A486B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933309$C5E32111-E8FA-414B-B3EC-3E85BEFD7A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933309$FC0E8FB1-58E6-4E36-B9B1-CD7F9611F8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933309$60435433-DCB8-42B0-8F1B-3F1F88E25EB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13df798115dd5d22552393058a6c636761c2fc66","datavalue":{"value":"5798900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933309$6D1DC499-684E-44A1-876E-A8EA09232D6C","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":"Q4933309$CE4AA0E0-D1DD-4E09-A846-3E6242070976","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"651d8ea527832a3bd5b1d466c58ad4b6d2fd47fd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933309$33DFD038-E0D2-41D9-A412-110A2831B1B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dec821362ea8fc748baabd465e86279989b7ff18","datavalue":{"value":"W2592285994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933309$B4C709B5-8467-4F0C-A85B-C5172410C2D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879201a3c5b8f15e6d6c498a400d4ba83068d291","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c0726bc9e2a28de921e6a6d0d397585392291f","datavalue":{"value":{"amount":"+0.8895068168640137","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":"Q4933309$766FDA69-C285-48B0-B72C-04C2575C04A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389c0ea34ba4bf23842571849fba71019b311171","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31d57039fefe429e746a9891c6a0971f0dbb1fe","datavalue":{"value":{"amount":"+0.8863497376441956","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":"Q4933309$E0BF8C7F-C411-4075-B8A2-A3401C1DE0E6","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":"d926ee0f355eda7b45bf5704ac70294811c02d81","datavalue":{"value":{"amount":"+0.8190169334411621","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":"Q4933309$9C6EC9BF-3179-4474-81D5-286F935A655A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941e639ace19f42c9531e68ad2de7c8965c8d14f","datavalue":{"value":{"entity-type":"item","numeric-id":5278193,"id":"Q5278193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8c71da66924bb6fb8a608629b328e1857d26db","datavalue":{"value":{"amount":"+0.8125887513160706","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":"Q4933309$A4FCC1EC-7127-4652-AC7D-2BD3EA0ACE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1de9d2f4c5bb49b51f27519f8642973375f89c5","datavalue":{"value":{"entity-type":"item","numeric-id":5327424,"id":"Q5327424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d2b8509a219460019f16140db68265857026cf","datavalue":{"value":{"amount":"+0.8096202611923218","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":"Q4933309$349444B3-B104-45CE-A4AD-6266CDBA8B82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933309"}}}}}