{"entities":{"Q5040686":{"pageid":7070263,"ns":120,"title":"Item:Q5040686","lastrevid":54421979,"modified":"2026-01-26T19:16:17Z","type":"item","id":"Q5040686","labels":{"en":{"language":"en","value":"SMT-based reachability analysis for simply-timed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7602630"}},"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":"Q5040686$A4A89FC9-2621-42FD-BA23-C170F0105C14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa15bb879b29b04ecf6f3988fada87f7a9209d1d","datavalue":{"value":{"text":"SMT-based reachability analysis for Simply-Timed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5040686$397B9444-0B32-4269-A65F-5EDB74B305E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97331fe5274ffe610c5d211285234c35758021e0","datavalue":{"value":{"entity-type":"item","numeric-id":4571142,"id":"Q4571142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040686$18DFC9A8-53F2-41BF-B6C9-82C1271CC9E9","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":"Q5040686$0E13D568-F6EC-45E7-9DC1-1C8E63505078","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"633573d5fb5c9e8722e57b8c68df5de664e79435","datavalue":{"value":{"entity-type":"item","numeric-id":5040676,"id":"Q5040676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040686$9687B2DB-ACC9-44EB-8FAD-50A9F5093FEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b8a886b77bbd2be6d65b2d24ad7ecc45071c32e","datavalue":{"value":{"time":"+2022-10-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":"Q5040686$8C41EAFA-36E6-4382-949E-3F12EDC9A9A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040686$0E4CD0A3-F814-4EDF-8EC7-1A0FE10569C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040686$62910F86-B19D-43F2-974B-3B7278DBF10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040686$FDA9FD46-A49A-4311-9A58-63CF8AFB6520","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16e44387a77abe5ccfbd31a2970ba85f107d835e","datavalue":{"value":"7602630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040686$E9A4AACC-37A0-476E-88A7-F0DA52EDD786","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":"Q5040686$02D5BC74-8ACC-4A59-85F9-A48C4D02D79A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7febb37c09c3960e60c4766bcee8ff1b93cf3d72","datavalue":{"value":"https://doi.org/10.16926/m.2015.20.09","type":"string"},"datatype":"url"},"type":"statement","id":"Q5040686$F9AE5DC3-6A84-40A3-BAFA-4EAC29D6BEED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af3d55b9d32510a6a09d23039b3faed21c5e6e2c","datavalue":{"value":"W3111296951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040686$97BDE2C0-1E39-4DB6-A4AF-C2A78EDF0CA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43c8b0fcbc7d1b04aafc4bec493be34c0178181d","datavalue":{"value":"10.16926/M.2015.20.09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040686$DEDC8DD7-737F-4D14-9967-DA072BF83A46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2331247730812214a89c61f4db7268aeefac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5464768,"id":"Q5464768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16eeabab269e955ebdd746a574da7c40529ca3d4","datavalue":{"value":{"amount":"+0.78642737865448","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":"Q5040686$742372F1-BEE5-4114-A904-30A4690E8946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8540a29c3fb7bd77b1d3cc719c320dd87f1cc694","datavalue":{"value":{"entity-type":"item","numeric-id":5259305,"id":"Q5259305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f68a4d472ae4b0a827bc605bf554b340d1fac74","datavalue":{"value":{"amount":"+0.780019998550415","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":"Q5040686$7FA4BB16-3EEB-4FAE-B634-34A24BD67CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2112e421e7ddbec62d4191922a7cf6343287e1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5422299,"id":"Q5422299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5571f95641cce55575dbef53978042eb2b04f83","datavalue":{"value":{"amount":"+0.7791956067085266","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":"Q5040686$E7CC97E7-E9FA-4226-964D-17E09DFD8609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fae3d14af3526cabf01c3ee75f249097333568e","datavalue":{"value":{"entity-type":"item","numeric-id":5082182,"id":"Q5082182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b655592a87f97aec7e6ebd19c585881901459c6f","datavalue":{"value":{"amount":"+0.7787788510322571","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":"Q5040686$50C82283-A0A6-4A9D-B2A0-8BF6BFD3FBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db01d7746b354d149ddaa4f5d652b8a9c7e816c","datavalue":{"value":{"entity-type":"item","numeric-id":4461759,"id":"Q4461759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856ba052573608b494bb6c9af2c129c24eda7b69","datavalue":{"value":{"amount":"+0.7724757194519043","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":"Q5040686$F23821D6-1332-44C6-99A3-6810354B8018","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5040686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5040686"}}}}}