{"entities":{"Q5758112":{"pageid":7787663,"ns":120,"title":"Item:Q5758112","lastrevid":50154878,"modified":"2026-01-13T07:08:19Z","type":"item","id":"Q5758112","labels":{"en":{"language":"en","value":"Deciding an Interval Logic with Accumulated Durations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185780"}},"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":"Q5758112$583B8B6F-3DDC-4F3D-BCA7-7A37351B7937","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"126856456c44b0ccee0df44ae95285d098eb7407","datavalue":{"value":{"text":"Deciding an Interval Logic with Accumulated Durations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758112$9613DC44-4ECC-48E7-9223-8CD23E3734B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9309c26d15c2805fdd010cad905b09fb19a0d65a","datavalue":{"value":"1186.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758112$FA085591-EAD3-4F55-AF65-934F6C845008","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f46d0589d04bafa0434690631521cf526b7c7549","datavalue":{"value":"10.1007/978-3-540-71209-1_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758112$1BCB090A-D7AA-49C2-9B4D-274148291CCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758112$89DB6E5B-FDA8-4220-872A-CD5B230976EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee8d9d7038763b41daab56ec63374a2aa4834ce","datavalue":{"value":{"entity-type":"item","numeric-id":478378,"id":"Q478378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758112$20F1E8C6-D14D-4ACE-BEB7-833C195A9DA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758112$5CE4E3D4-7C5C-4DC2-AF93-13B60C6F5974","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758112$D7F3D409-4F43-47A3-B5E3-0AC84EB46320","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758112$E5D4BBA4-7490-41E7-B50C-2DD1A16435B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758112$FDD117BA-7A3C-4A47-842E-6A3CA73EC333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758112$6406E40C-9176-4DBE-BE16-B7D927179EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758112$1E78D324-28FC-4334-A626-1E2A21D3A956","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"719a21efb0f3d2e79b983d23d785745850af0808","datavalue":{"value":"5185780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758112$B47EB113-6A5B-425C-9548-EE1D5C58CF41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758112$737EF4B5-38FE-43B6-A984-E460DE03BBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b58ffce1cc2b1e37248090e40dfb2a885302be","datavalue":{"value":"metric-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758112$77E553E2-4209-4162-898E-009360C3AB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758112$72AD10E7-9F5C-4AA9-9862-A0BB42D4E669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758112$A53992C7-2F9C-4AC7-A675-F0576B2020B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7df38278c38adaccaf8d4fa417c0d5a4adfa72b","datavalue":{"value":"multi-priced timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758112$25CA0B3B-280A-4D5E-9886-BFAE3C3651D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758112$46F65CE8-7709-4362-A794-85074DF0BA6F","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":"Q5758112$6479BE1B-43A2-43DD-88D7-6F1BF6D07CBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b4116c2b9b92594077c609af9e9e62b353a8dbc","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758112$FF8BE155-B4FB-4100-BC68-EB8932418B57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38bd6edf023bd25eca3ab185ed249c7e1e4d3863","datavalue":{"value":"W1600824897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758112$9242ED82-2B82-4C75-B60C-4F4D567E158D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860c07a53187c2c7d3cca1c0070eb2339bd0b422","datavalue":{"value":{"entity-type":"item","numeric-id":4520799,"id":"Q4520799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b886ba92f3db849b45d4ef15cac7447353d1b4","datavalue":{"value":{"amount":"+0.8218333125114441","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":"Q5758112$6917AD59-5020-4B4C-A783-7C878BB8A803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d927dc20b1b768614c45f84536736cf95ebc2567","datavalue":{"value":{"entity-type":"item","numeric-id":2842590,"id":"Q2842590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8defe68ae0023f3934c13c6eb60b6a72ccceeb9","datavalue":{"value":{"amount":"+0.8209187984466553","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":"Q5758112$2E3CEA5E-EAF3-47D5-B894-9E5070DCA0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b419e0e91c848df98c41d87bf2df9ba6f378587","datavalue":{"value":{"entity-type":"item","numeric-id":1882793,"id":"Q1882793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ba2ad9053321afa3f9c899f59b64bce61a4ccb","datavalue":{"value":{"amount":"+0.808548092842102","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":"Q5758112$769E2137-04EE-421A-8FEC-77912C5DA257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbcdd711b920ad4f986183219a48ba1dbb627b84","datavalue":{"value":{"entity-type":"item","numeric-id":4528041,"id":"Q4528041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52230e2e182bdbce393d5c9e6d64c553980c72d6","datavalue":{"value":{"amount":"+0.8070995211601257","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":"Q5758112$2E803A0C-1493-4F79-AF33-5E99B2FF4D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fcb1599131076bfedba58f7d7e635d32940532e","datavalue":{"value":{"entity-type":"item","numeric-id":4281508,"id":"Q4281508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00f25ae308c1dc0334aa759871163b73ea7eb4d","datavalue":{"value":{"amount":"+0.8056225180625916","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":"Q5758112$5596901A-13EA-446A-BC3E-B3972673EF7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758112"}}}}}