{"entities":{"Q2915693":{"pageid":2926413,"ns":120,"title":"Item:Q2915693","lastrevid":51556172,"modified":"2026-01-18T18:44:33Z","type":"item","id":"Q2915693","labels":{"en":{"language":"en","value":"Decidability issues for two-variable logics with several linear orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083549"}},"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":"Q2915693$5A98DA36-39D9-4FA1-A2BD-B67EC171FEF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21e1bc7bacc419a6be77141e311121e1a3158c6b","datavalue":{"value":"1247.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915693$54A62836-F40D-45F1-A054-C935701019B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd410d92a5a623419be489b4cef5a0bf226c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":859826,"id":"Q859826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915693$2DE567E9-F877-45C6-9077-3D8967405D32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-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":"Q2915693$08097F27-FD20-4433-A983-D5D3F73EE6CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"436b79315bb87006ecae8febe8e395489c450498","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_777e.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915693$8ECA57F5-2F17-4807-AC6C-1D2DBA92662C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915693$79A006EE-B581-41AD-9FCA-085F74E14B77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eee1e3d78bb6495a90f666ddb840e7151d8f3a0a","datavalue":{"value":"6083549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915693$57C606C7-1997-4D4A-B927-95A69371857B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915693$470CC72F-9FE6-48E3-B194-001B0762099A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a95117eca4562916655982de035b721507a45dcd","datavalue":{"value":"linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915693$F48FBC2A-A201-4A5A-A89C-EF4166CA91AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915693$B86D91E0-0521-43AF-A642-952BB83CEE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915693$C6FA911B-4BE4-4A47-81C3-34D6A4DB9E44","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":"Q2915693$E71D838F-AA04-4517-A6E3-1732707D6246","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f56d35ab880d1fa42d4bf37b24ac3719c368968d","datavalue":{"value":"W2293300167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915693$33505E7A-4588-4782-BF0B-CCAD8A63E700","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3befb0d46a4ac60e5e2f3e1a4ff4f21d5b81de77","datavalue":{"value":"10.4230/LIPICS.CSL.2011.337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915693$99CFB635-9D6A-4974-ABCC-B55B0D98A763","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad8c8ecf3b2b2b5e619537ec87e3773752af245b","datavalue":{"value":{"text":"Decidability issues for two-variable logics with several linear orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915693$34B744D1-F1E8-4563-B626-CA76D4C0582F","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":"d4f805fcbb076d0345540066143a04fd13bfba71","datavalue":{"value":{"amount":"+0.8570531010627747","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":"Q2915693$A6325E6D-C6CB-4326-9455-6DEF14E2F5DF","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":"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":"Q2915693$32486250-CA24-4F43-98AC-456114E9850F","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":"36a267ea6c0184dcd42358d4313f27abef694caf","datavalue":{"value":{"amount":"+0.8430446982383728","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":"Q2915693$724F7EC6-EA68-468A-858D-FBA7E6BA0D81","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":"3517055f7eef1bd01e79ffc20fa26b65529edc32","datavalue":{"value":{"amount":"+0.8418377637863159","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":"Q2915693$DE85E409-07BA-4EAB-8D1B-EB618239E07F","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":"3517055f7eef1bd01e79ffc20fa26b65529edc32","datavalue":{"value":{"amount":"+0.8418377637863159","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":"Q2915693$4188405C-B945-4F70-BFDA-7189273DE22A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915693"}}}}}