{"entities":{"Q5387893":{"pageid":7417467,"ns":120,"title":"Item:Q5387893","lastrevid":92242679,"modified":"2026-06-05T01:13:50Z","type":"item","id":"Q5387893","labels":{"en":{"language":"en","value":"Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279575"}},"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":"Q5387893$85E0A477-AF10-493D-A4CB-FB144EF46FFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39b58d51cc2de69e4c36dffc7462a833368adaa6","datavalue":{"value":{"text":"Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387893$309DA003-956B-4247-B8B3-9C085BD9F6CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6cd5b2417b65fb5f6a5cd681c1718aa976cb082","datavalue":{"value":"1165.03324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387893$D10F5718-D6BF-4837-94CE-3A761C2A6BB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33b02bba60c79dd971315dcbba1298c25955ce01","datavalue":{"value":"10.1007/11916277_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387893$162B5D4F-5E10-4A0C-83EF-49FE87396C58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387893$39E5C50D-A19C-48D7-A908-1C92D7E01FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"defaa9722ed685881201449323233883dc7eb901","datavalue":{"value":{"entity-type":"item","numeric-id":959819,"id":"Q959819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387893$B5261571-662C-4005-B5F1-757CFF7D3F51","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":"Q5387893$97746ABD-79B5-4BF0-9073-E3D86DEE6FE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387893$E7071F11-D6C7-4808-8928-3F1701EDA03A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387893$6C3FBAA2-B48F-465C-8C85-034B83AF4276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387893$19E1255B-9BE7-42DF-B560-85C6F75EC7AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b222c68a320fd206e0471e682a061310a9ef54ab","datavalue":{"value":"5279575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387893$C72851DD-DAF9-45DE-BC6E-4832ECB65CA0","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":"Q5387893$373E9F86-E943-4CFA-858C-71394C5B043D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1734fa6678e4d4b21e3b24559455e15e61a715db","datavalue":{"value":"https://doi.org/10.1007/11916277_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387893$E50BD670-CD2F-4C19-8BFE-E639F20C2412","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"660add81e19d7e6cc77fc4ab030adf0f5952ea7a","datavalue":{"value":"W1865793903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387893$0D732425-6B21-49AC-84B7-2F7CE7D706C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb5ab1cadad42c03795494563e56a4da9a9b0a3","datavalue":{"value":{"entity-type":"item","numeric-id":5897505,"id":"Q5897505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"208179b4d804440afcb6581e12cfc913142a3215","datavalue":{"value":{"amount":"+0.8602219223976135","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":"Q5387893$0E458DD5-00CB-48C9-9C5B-6ED7867AD876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b232b0c6858756f2d4c0c3d4d97129ff5e42078a","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb126f129757d74a1d1131205ecff3400905bb78","datavalue":{"value":{"amount":"+0.8560934662818909","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":"Q5387893$CEEEBEF7-C3B8-4BA9-B2AA-53F47E4F987A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd5f2c25d43b6be52833c6f18150181ed72da30","datavalue":{"value":{"entity-type":"item","numeric-id":3656780,"id":"Q3656780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2bfd5a5fe1d1f0970dcf2d113d2d15e7f5c418","datavalue":{"value":{"amount":"+0.8460148572921753","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":"Q5387893$A1EE8DF7-9139-4D6E-84B2-F330C6CC5148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1999a726654358971e9803234a1e814aae194a53","datavalue":{"value":{"entity-type":"item","numeric-id":5179062,"id":"Q5179062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b01310706c40bf492e5163ad7702487d1f2a3a06","datavalue":{"value":{"amount":"+0.8435303568840027","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":"Q5387893$FD5C9344-C668-4911-BE28-273FC8BAFE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3f9f239abaca026633b107a5cc8fb381479880","datavalue":{"value":{"entity-type":"item","numeric-id":959820,"id":"Q959820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f628b9515004d8ec079428cb6bba0b729468f2f6","datavalue":{"value":{"amount":"+0.8432901501655579","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":"Q5387893$1F3FDC5D-2E74-45B3-B7C5-56AD2AB320FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints","badges":[]}}}}}