{"entities":{"Q5259307":{"pageid":7288875,"ns":120,"title":"Item:Q5259307","lastrevid":41590725,"modified":"2025-05-06T04:07:52Z","type":"item","id":"Q5259307","labels":{"en":{"language":"en","value":"Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6451183"}},"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":"Q5259307$C3616D38-D275-46C3-AB49-381CE8F7C03C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e5e6e91b472747d411ebe6f053002a3114c1101","datavalue":{"value":{"text":"Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5259307$5D612530-AA70-4CFC-B0C1-44A8A244DFFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f28e3fea2ba8268436ac363d4c1e6527e76a979","datavalue":{"value":"1322.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259307$F0669E8F-E274-4382-AA73-17675F5CFBD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"123c5db46fac8640c171e9674b78681986063c1d","datavalue":{"value":"10.3233/FI-2014-1140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259307$6DACC494-AD45-410B-994C-215EB7A4B5EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70320fcc24032cc2326ada00967df5fb708d7b3d","datavalue":{"value":{"entity-type":"item","numeric-id":310080,"id":"Q310080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259307$942CC63F-B6AF-428E-A6AF-623BE0B4E89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259307$796C338C-FB72-41C5-BC23-2E483C0AB118","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259307$E0B83612-122A-4E0E-BAC8-7D6C14F0D9E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4795efe26ace72ea33e5b50072c8db0e5047722","datavalue":{"value":{"time":"+2015-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5259307$73B5C7D0-CD4A-4A0E-B1CE-99439EDAEE7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259307$114582BF-E241-462B-8E6C-01F25D4479E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259307$C29E078D-7AC1-42F8-BCD8-4181092B9AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259307$8B253A2F-5D1F-4152-A4DE-2F2B209D40C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79439b34a6076449f053693ade1a0369e790fe34","datavalue":{"value":"6451183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259307$BA3E803F-06B9-4068-B88B-4D51594DFA51","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":"Q5259307$7BF63688-683A-43FB-820B-AC4F2DE567B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6dd29ee854db884702171c634d30666954afea0","datavalue":{"value":"https://doi.org/10.3233/fi-2014-1140","type":"string"},"datatype":"url"},"type":"statement","id":"Q5259307$5492318D-1E43-4493-97FC-C1C9600E520A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0921824539e25a2ce2f706f2cf1185c21b13e1c9","datavalue":{"value":"W1591702344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259307$02780CC4-23BF-4845-9DF8-1F26ACBC96F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad38e91a940616d714a9cda6655944baac3915f","datavalue":{"value":{"entity-type":"item","numeric-id":5717499,"id":"Q5717499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8722589b64e9dc70d1ed575242a83864e1402968","datavalue":{"value":{"amount":"+0.9484628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5259307$019A9AA9-1802-4540-B2FA-D2D5C53E5862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ac69d629aa81216cf233f144064c6822f02715","datavalue":{"value":{"entity-type":"item","numeric-id":2842869,"id":"Q2842869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f3840a40c3c3b112e6f2f26bad6f412f28b058","datavalue":{"value":{"amount":"+0.93307024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5259307$32290B99-06C1-4EA9-A9E1-FDBC482E9DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a18970a28b070b07a12f1eafd6606b8aa38cd6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4946960,"id":"Q4946960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0685aef6923074c66486c44cb8b6529cbfbc1da","datavalue":{"value":{"amount":"+0.92545015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5259307$CD396148-DCA2-46B5-8D92-65EF9EE66D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9d5fe17ec6a5506543531b83a7f2aa7be5cd7b","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fed05edbb809468c3423d8f2b2c539bd8d1a35e","datavalue":{"value":{"amount":"+0.9215746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5259307$D709E107-B3B7-4DC7-881A-6A3E128EB3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fd399e74ab009038c86b9b88f645441530ce92","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b35f52edbb9e88d1291a2452ad59bca8a92f05","datavalue":{"value":{"amount":"+0.91913235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5259307$83ED096A-91CA-4F82-A97F-B8F823CA9311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f928ba4f798ce5be7842d28c3dd85a3498d10010","datavalue":{"value":{"entity-type":"item","numeric-id":310082,"id":"Q310082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f13539a5a8dce95c9bf66fdd75b594ca9321fd","datavalue":{"value":{"amount":"+0.91745913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5259307$7A248F76-458A-4CD5-BB92-A6E045FAE788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77fc515ec118b932f1c95ee27e047198bc63c138","datavalue":{"value":{"entity-type":"item","numeric-id":2986927,"id":"Q2986927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61fdd4aa36cbd1f48a8db8338337557f7140af75","datavalue":{"value":{"amount":"+0.90726966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5259307$6452F26C-E363-4DD9-BC83-790C919249FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb779ccc963de8068a88efc75cd4415f48b3bf68","datavalue":{"value":{"entity-type":"item","numeric-id":5121277,"id":"Q5121277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3edc2a5f6bc38b0933f927577e57f46ab97945c9","datavalue":{"value":{"amount":"+0.9072287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5259307$3E105A31-5F36-4099-AE02-4AF8CE6B0709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b352bfde950cd0c583d2e159fd1afcf2262f5207","datavalue":{"value":{"amount":"+0.90185404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5259307$9AAFD764-AC5E-43DC-BC67-3E8CD4BF20BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5259307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5259307"}}}}}