{"entities":{"Q2870113":{"pageid":2880833,"ns":120,"title":"Item:Q2870113","lastrevid":58038498,"modified":"2026-04-03T13:40:40Z","type":"item","id":"Q2870113","labels":{"en":{"language":"en","value":"The complexity of clausal fragments of LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247425"}},"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":"Q2870113$1A3F4C90-3FB5-4F59-ADA7-D6896E50D178","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08e6416fdb53f534b9f3cf15de0faa876a2dba34","datavalue":{"value":{"text":"The Complexity of Clausal Fragments of LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870113$66D9E3F6-8678-475B-9E2A-6408625FE245","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00be7e80f4fcc31107738fcca32395eebc5a6f28","datavalue":{"value":"1433.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870113$568932B5-BE79-4D4C-90DA-F674A41C0447","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"676b9bed1f9c1ddd5a282b8a3142f9dd0d8842f4","datavalue":{"value":"10.1007/978-3-642-45221-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870113$538A16A5-4A82-4062-8CF7-18D99BF94F26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3f8ae51686944f53cc658936a10581b9293df0c","datavalue":{"value":{"entity-type":"item","numeric-id":862828,"id":"Q862828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870113$B5AC2CEC-C477-465D-815D-2D003914919A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e60a0c07bba14482d50b15616f4908ac766f73f","datavalue":{"value":{"entity-type":"item","numeric-id":253974,"id":"Q253974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870113$D259648B-BD55-41D8-AB3C-F4221AA802BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba6eede42efecd9bd8e526aea5df85f2b95f1c9d","datavalue":{"value":{"entity-type":"item","numeric-id":253975,"id":"Q253975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870113$34E6B183-D99B-40F9-AB69-55F707C1F6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870113$C56F67C0-F441-4B08-A953-A2E9666023C3","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":"Q2870113$D2D25A99-83AD-4EE2-9253-677F92CDD3CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870113$51F37891-D804-4DE3-873D-A5422456C893","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3fbcc0d5206084a6ad646b9a729f3c95aaf2455","datavalue":{"value":"https://arxiv.org/abs/1306.5088","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870113$A55B3C93-4FF2-4E54-A041-B187B2E03E17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870113$CE12D51F-A980-4E99-9C44-693F76BC2EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870113$43955069-EB7F-42BC-BD3D-553C86BE6815","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"832538bcfa325c391955b483870decd71b43bba7","datavalue":{"value":"6247425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870113$12662D1B-6E99-4DE3-AABA-5E683CFA2324","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4379d6a546df16ce3bc1ad923d3522603e0f8b5d","datavalue":{"value":"Q62048620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870113$81AD026A-6A2C-49A5-969A-2767B52531DF","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":"Q2870113$6341B9E8-7E4F-4C44-ABBF-3E6687440EBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78e79201772796973e8eefd8c2aff2b776583241","datavalue":{"value":"W1581108661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870113$C1A38F50-FAEF-497E-A20B-7533D90C26DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4edc491f35e560ebfd55a4f75425246989539c2","datavalue":{"value":{"entity-type":"item","numeric-id":3623013,"id":"Q3623013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34cd5733650dde4afe48c72e4632a34a9f28a7d6","datavalue":{"value":{"amount":"+0.8808145523071289","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":"Q2870113$993201C5-BA17-4A86-A5FC-7B91BE0ECA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bfef654c5c198fe482d7d4becbee23fbc616281","datavalue":{"value":{"entity-type":"item","numeric-id":5711966,"id":"Q5711966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7a9043954243619dc1d6345f6e56ad7595659e","datavalue":{"value":{"amount":"+0.853743851184845","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":"Q2870113$6A7DC92F-41DB-4769-859E-5254B7A9FFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb41cefd500a03232a821e00266d19d9c3385e7c","datavalue":{"value":{"amount":"+0.8491544723510742","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":"Q2870113$C2F1E103-6AC6-4A85-AEBE-FDE5A6D8DB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab234acaf5c68faf52640a6c31bd122fdc22d598","datavalue":{"value":{"entity-type":"item","numeric-id":3646173,"id":"Q3646173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0c0b4a5d5d3804cd450daf4edda7b0d32c59c4","datavalue":{"value":{"amount":"+0.8401623964309692","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":"Q2870113$CA167148-119B-4C6E-95F3-FB384E9CAE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dcc74f5016755b382c73656c29a163b4f17aa71","datavalue":{"value":{"entity-type":"item","numeric-id":4982095,"id":"Q4982095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172c9ffbf560ea1388a099ddaaa74d1bee2988ab","datavalue":{"value":{"amount":"+0.8359132409095764","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":"Q2870113$8C61CF04-F8A7-477E-B0EB-407FFE649141","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870113"}}}}}