{"entities":{"Q6487260":{"pageid":14066029,"ns":120,"title":"Item:Q6487260","lastrevid":103367006,"modified":"2026-06-06T07:14:34Z","type":"item","id":"Q6487260","labels":{"en":{"language":"en","value":"Spatio-temporal model-checking of cyber-physical systems using graph queries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614701"}},"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":"Q6487260$C70185B7-71DD-4072-BE23-B48EBD93BA99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"984dd53207ed524cf4de7ae1d7a122b59d6c052b","datavalue":{"value":{"text":"Spatio-Temporal Model-Checking of\u00a0Cyber-Physical Systems Using\u00a0Graph\u00a0Queries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487260$453819E3-AA95-4DA2-B439-9A4684E77F66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22cb2723adc0d2c74049388a68db6bd486b9c84f","datavalue":{"value":"1511.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487260$36A6D605-3D8D-40A2-8CB5-3990D98A95C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2598833cd029a0c8bd356c33fd8ac25e088e21e8","datavalue":{"value":"10.1007/978-3-030-50995-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487260$885F26A0-BD84-4B0D-B5DB-25B61D4E8D7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f99752f3cb2248bf4f9260027c6c55a493a2b0d0","datavalue":{"value":{"entity-type":"item","numeric-id":6484964,"id":"Q6484964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$F5726F13-1329-42FA-A32C-58231C6CFABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"803c2540b1d89159c308ce95acb283de495f4b38","datavalue":{"value":{"entity-type":"item","numeric-id":2225101,"id":"Q2225101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$6FAC7636-2A51-4BC6-92EB-0DBC79185D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac0321a6b6d5d899ea1927f671b46847c41412c0","datavalue":{"value":{"entity-type":"item","numeric-id":671656,"id":"Q671656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$95EA0814-FC03-4F6D-B83F-D3506351BA78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487260$E613EDCF-0F1C-4BE2-A172-4633DD663E69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487260$F4F38ECF-C0B1-47D2-8A57-EB2E349C41A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487260$B7DF77B2-2F10-430F-9F2C-74B7BACD378C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"887c1ba2f78ee1b22fe1c50e695ce9a22ecfe63c","datavalue":{"value":"7614701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487260$399BB662-5D7B-4855-BA40-9339023C6C58","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":"Q6487260$1B878E95-F92F-4A17-BF0A-B35C750E4B4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7321ca26f42c0d3f2436b99515843023467dce9","datavalue":{"value":{"entity-type":"item","numeric-id":1786569,"id":"Q1786569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$6EE3810D-365C-4778-9545-1DBBDF6C94A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$FD84DF6B-3BB1-45EF-A21D-6109F37AE840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$FFCECFAA-3310-4DD1-9246-413518C7EB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f849f999020cf1d93a8e36faebbdd52a72fca4","datavalue":{"value":{"entity-type":"item","numeric-id":2988938,"id":"Q2988938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$AD889CEB-FE5C-4CC5-96EF-51AE1DF08503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b4de92f780055dcab49719a90f7053eae50b48","datavalue":{"value":{"entity-type":"item","numeric-id":3525160,"id":"Q3525160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$2C17A1D8-1FBB-47D8-A8A5-30F3A7D17C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ec70fed468fb6337598ea78054c0ecc0b529f80","datavalue":{"value":{"entity-type":"item","numeric-id":3012969,"id":"Q3012969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$DACBBBC6-B88F-429B-9652-C1BC53A73895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd32624793e063beb586f0410cfc97118721c7fd","datavalue":{"value":{"entity-type":"item","numeric-id":3404129,"id":"Q3404129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$E9845B42-D489-46C1-8909-CC0EC3D6243E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$A71253D7-A053-4D24-905F-43CCA23771C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$28404A37-021B-454E-A62C-DFA49C0CBEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc268b22e58ed88e1f8f30fcc661a3c1c4f0e925","datavalue":{"value":{"entity-type":"item","numeric-id":2520667,"id":"Q2520667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$A4A5C303-E270-4405-802D-1914DDC6A4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1806a4e1e094d242703987b711c729e4fdafa005","datavalue":{"value":{"entity-type":"item","numeric-id":3523110,"id":"Q3523110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$01E98CF6-AED4-4670-953C-067D39BBF47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abb670ad6ea653e7075710cc9b506cfdb0fed98","datavalue":{"value":{"entity-type":"item","numeric-id":4988650,"id":"Q4988650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487260$0EAC83DE-1ACE-46F8-A0C4-44A163F5B2E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c55f5788b7bba3c5c76c6fdc172ec51d0e08cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4988650,"id":"Q4988650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0387c35fc99e8ac2b0378500f896b7ccbcc63c9","datavalue":{"value":{"amount":"+0.7246257066726685","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":"Q6487260$A725118C-1C0D-4067-A747-2D97044BCE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e53f9d4330d326d050bce7117ad7b00c4d9cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3525160,"id":"Q3525160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e6dab9efec8823db1be73375e4e4a65827bccc","datavalue":{"value":{"amount":"+0.7241118550300598","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":"Q6487260$D015313F-126A-4738-861E-30AEDDD008A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35fca6006247d03bafa042d46d0838730dc9506e","datavalue":{"value":{"entity-type":"item","numeric-id":2851917,"id":"Q2851917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec5bad22658438886d0ef70b0b6e2b5bafafd7c","datavalue":{"value":{"amount":"+0.7069990634918213","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":"Q6487260$29AE4D9D-CC07-4CEF-8928-E165AF8FFEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3705be283738544936c8cabafb806e2e5d599d","datavalue":{"value":{"entity-type":"item","numeric-id":6487306,"id":"Q6487306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70138333dedcee2f81435b39adedc63bb1945b99","datavalue":{"value":{"amount":"+0.6692169308662415","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":"Q6487260$337A41F4-F7D9-42BD-BAF0-9AB278436480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7bd5971153520ada842a4ef91a4267e5103b87","datavalue":{"value":{"entity-type":"item","numeric-id":4553288,"id":"Q4553288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb97610c5678ab80bdbb495d6c8358a7595b0afb","datavalue":{"value":{"amount":"+0.6657952070236206","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":"Q6487260$F5649227-4057-44F1-A985-DF1FDC08185F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Spatio-temporal model-checking of cyber-physical systems using graph queries","badges":[]}}}}}