{"entities":{"Q5357708":{"pageid":7387282,"ns":120,"title":"Item:Q5357708","lastrevid":52898006,"modified":"2026-01-23T18:26:29Z","type":"item","id":"Q5357708","labels":{"en":{"language":"en","value":"On the satisfiability of indexed linear temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774216"}},"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":"Q5357708$60A3FD0B-5EBE-40D6-82B4-0ED2819AA2BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e97ac8a1ac01130df52a87cad39b2328b6f541d","datavalue":{"value":"1374.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357708$4D9FE94E-0707-491B-9846-24063D738550","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357708$9D2F6E31-BD52-4B6C-8810-1E80B0B6735F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7827c426fd62b1155223da4c43f3f5ddccba9caa","datavalue":{"value":{"entity-type":"item","numeric-id":342710,"id":"Q342710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357708$2D53A707-CFF4-49FC-970A-936CF9626C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5f7394a0cca1cfe5ffc6e0fdd04b8d512ae0ea","datavalue":{"value":{"entity-type":"item","numeric-id":342711,"id":"Q342711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357708$D9F1ECC4-DBB7-42C0-89B0-01F7C39034A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-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":"Q5357708$97C1803B-18E2-4D3F-8D42-C44FF92982F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357708$70AB638D-8641-488A-95DB-C7E81FC7C275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357708$68BFB9DC-14D7-41DF-AC07-E96AF992AEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357708$7D173198-1F76-4543-BFF4-6BC7E696D53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357708$681EEC74-6A70-4CDE-AEEF-4DCE255E84BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1339f11e2f96facf8f31c7e8c70a47f74eb976a","datavalue":{"value":"6774216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357708$B6BC2FA9-E9E3-442B-B999-EA7D9EF80B37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357708$AEF210C7-EC47-4EEA-BD1F-62E8A8F0E242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a893d2631ff108a1936eb03a6c13b2560657daf9","datavalue":{"value":"indexed linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357708$EB52B265-0C6E-46F5-ACD3-301C95ED24E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"786316180d3575e14989554b556adc9a73c68c37","datavalue":{"value":"parameterised systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357708$B157217D-BA5B-4625-B5C3-511C90995AA2","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":"Q5357708$33744F2B-123E-411A-8E3C-22C09858538C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a416e7380e2305c37f95ed190985df623fc7039","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357708$6530D750-64B2-4A2F-A628-6B3B8B0BF20E","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":"458f576ef351ac727234070a717b63b04089ae11","datavalue":{"value":{"amount":"+0.7526216506958008","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":"Q5357708$09704224-B369-41C3-AE8A-21ABC4A87B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3946b755c52c0b6614394d022592b70192cce7fd","datavalue":{"value":{"entity-type":"item","numeric-id":5351946,"id":"Q5351946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fdac1559665c9de8b65be4f0a70f6cf3d47d090","datavalue":{"value":{"amount":"+0.7511139512062073","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":"Q5357708$635F2466-4092-438F-B1A4-F794437B6A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f904b2b738da9b545ec91d0d688297341523cc9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eec542c30f36c44e7c158d468f550cae0e5ab96e","datavalue":{"value":{"amount":"+0.7480081915855408","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":"Q5357708$B3390BB8-3181-4EC0-938D-20097B309AA3","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":"aab1f6688ade2cc82359947fd1599bce09ee260d","datavalue":{"value":{"amount":"+0.7440658807754517","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":"Q5357708$8C41425B-F064-48C0-91B2-FB234CAB4811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1045ddaf53a16b5ab380d4a7e5cc866f3e7ddd","datavalue":{"value":{"entity-type":"item","numeric-id":342712,"id":"Q342712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fbc439d426fa5384861a2e8c5afcacf60c85c38","datavalue":{"value":{"amount":"+0.7435477375984192","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":"Q5357708$98EAB49A-0F88-404F-889B-E12AD3B649B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5357708","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5357708"}}}}}