{"entities":{"Q5040685":{"pageid":7070262,"ns":120,"title":"Item:Q5040685","lastrevid":54421976,"modified":"2026-01-26T19:16:16Z","type":"item","id":"Q5040685","labels":{"en":{"language":"en","value":"SAT-based bounded model checking for timed interpreted systems and the RTECTLK properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7602629"}},"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":"Q5040685$F4708B40-1EFA-4038-BD75-C61B6D73C298","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b6df1809ee907c180809870cee4588812263d26","datavalue":{"value":{"text":"SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5040685$5258154B-C01B-4142-84E3-E71B4C272344","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":"Q5040685$BB9D1195-C1B2-4807-8577-4A219E10443C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7013a491a3d293ebff883101e3aa79f35d96512d","datavalue":{"value":{"entity-type":"item","numeric-id":5040684,"id":"Q5040684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040685$01E5EBA4-AC9F-47B3-9B77-FB7E07125060","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":"Q5040685$483381DF-C88C-424C-B203-26E9989F39DC","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":"Q5040685$2DB027E1-77E9-4CD9-B411-A64E32A903B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040685$61C2FDD2-FCC6-4A06-B4D6-A46BC4552962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040685$E6E64E07-CED7-46A3-96AD-C09A056A3B57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ed040ae5e29f60abc614371642e98fd78eaf20e","datavalue":{"value":"7602629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040685$0C498078-1CEF-454C-A660-9EC673F6CBFE","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":"Q5040685$C5A5F161-17F8-4D11-9EF1-2B7297DF8DAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f083960acdb0de6422cd9c2064e8201708cd51cf","datavalue":{"value":"https://doi.org/10.16926/m.2015.20.08","type":"string"},"datatype":"url"},"type":"statement","id":"Q5040685$C90ED987-E93F-4E12-BC77-CB2FA515FF42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"596d7a9adeaf086fd44ac942d2136528f5582550","datavalue":{"value":"W3108036851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040685$C7442A61-501D-46BC-8E81-BD52BBD6B8CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5060ef33490417285b83ae90d8c19181a287745","datavalue":{"value":"10.16926/M.2015.20.08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040685$19561EE2-E1BD-4A46-A423-58711834E7F1","rank":"normal"}],"P1643":[{"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":"8db55342a9faa83e946b8f776ea8809f0fc5179f","datavalue":{"value":{"amount":"+0.8945909142494202","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":"Q5040685$F53DD226-EEE7-4477-A1DB-13A4B654E4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297f9a57f303c8c036d110ba8003ae3808693f2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422273,"id":"Q5422273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c3ed2ae2a348e9ab75d753e85e4d1d92bdfd34","datavalue":{"value":{"amount":"+0.8548530340194702","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":"Q5040685$4EF63B1C-7340-470E-8D4E-37B612EA1C0E","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":"dd1404723d213fb426611222459b4b0da4c4da17","datavalue":{"value":{"amount":"+0.8517158627510071","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":"Q5040685$A62E24DC-B049-4E11-A5D0-9CCF872FD578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2020a09089050fd9931facdaee62f5484d713b","datavalue":{"value":{"entity-type":"item","numeric-id":5392295,"id":"Q5392295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c046b8af49744205a2ed1e88e5bff4a3ab0b2350","datavalue":{"value":{"amount":"+0.8347935080528259","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":"Q5040685$FD718986-D3B1-4FBD-B8A4-1EFCCAB2478C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319791cf57c99a7ac8bfc0fd1277819e25c99c86","datavalue":{"value":{"entity-type":"item","numeric-id":4571143,"id":"Q4571143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c64a48ae511d4575abade41cb428f031bb91825","datavalue":{"value":{"amount":"+0.8165025115013123","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":"Q5040685$6B8118D5-43DE-4CF9-A462-7C537091BBB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5040685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5040685"}}}}}