{"entities":{"Q3172901":{"pageid":3183611,"ns":120,"title":"Item:Q3172901","lastrevid":86594537,"modified":"2026-06-04T02:35:45Z","type":"item","id":"Q3172901","labels":{"en":{"language":"en","value":"Statistical model checking for cyber-physical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954775"}},"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":"Q3172901$872C8991-0107-404D-AAE2-9D145C7E0C31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b768732ca6eb530532c30ccb8ed429b503e47270","datavalue":{"value":{"text":"Statistical Model Checking for Cyber-Physical Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172901$ACCB75D9-D9C3-4B69-ACF7-7BD66CA030EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e554f4259531d7759633373ea937ed80165cfd1f","datavalue":{"value":"1348.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172901$5298F1C9-ABD0-43EB-859F-B1DF571CAAD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3d182dd193e540db7b221dc3f3d0d6e0508777e","datavalue":{"value":"10.1007/978-3-642-24372-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172901$A92B1C48-716D-4236-9A37-41BF94C77D0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a2df4c9c185a830f3bb11dd84a837b0bb6e787b","datavalue":{"value":{"entity-type":"item","numeric-id":1031863,"id":"Q1031863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172901$4C3D821E-C4EF-4870-AA2E-EDEF16643F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172901$8B0AB2F2-15D1-46D6-8450-94EDE13E27B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172901$147AC23A-9121-4903-B232-D6AC52A2FF6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172901$F64BE9CD-4C3A-4F35-9508-EA51ADA54F82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172901$35A8D461-3D08-4B30-9F9A-F84889A0EBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"43e8f62905bedd997cf0dbb9ef3fe59e21b4ed65","datavalue":{"value":"62B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172901$1EEAECF6-6B6C-422F-8E3A-606CE27E63F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f43b993c093fa2aad2cc8de6f2f5f6b95890fb2","datavalue":{"value":"5954775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172901$D23BC2D0-3D31-440A-91E4-FD82803DF9F9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172901$DA68280D-8216-4D42-B4FF-6C562CF53409","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":"Q3172901$93C0D1D2-F115-46DA-BBEB-E3FE393CCE8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f3082d549db5761fae80115994a47badff4c59e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24372-1_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172901$8E0FAD78-013C-4F8A-8A92-C8ABF6D09ACD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16ac93cd300a6ebea44ec36c4ecfbfaba87614d3","datavalue":{"value":"W175120007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172901$3A564386-B678-45E3-A7F5-81E8496E5C57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404b9ed1b463490bb7722e17afc8c4a98045defc","datavalue":{"value":{"entity-type":"item","numeric-id":2894280,"id":"Q2894280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b94d4888024bcca8a2c5c0c1911977a783bb91","datavalue":{"value":{"amount":"+0.8407212495803833","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":"Q3172901$2409A538-140F-49AC-A3D5-9F081ABC7280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f22f8f8024a6257d27e35e89e8bb6f6cf4f3a7b","datavalue":{"value":{"entity-type":"item","numeric-id":2986769,"id":"Q2986769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5cf0b6ece07fd15a210ebf3d9bf60317b6609ee","datavalue":{"value":{"amount":"+0.8061032891273499","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":"Q3172901$42B210E0-44A7-41E5-B5D4-AAB9DAAF671E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc920c1ec773dd5c066514182446ab618c3ffcd6","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61045417aa9b2a9809bf052d9a81a7038c5ce9a2","datavalue":{"value":{"amount":"+0.8039923906326294","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":"Q3172901$56CBAE90-A399-44CF-A75B-A35665CA5DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be628412c5176cfb7120de6a9c3ddae2464edce","datavalue":{"value":{"entity-type":"item","numeric-id":313977,"id":"Q313977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be670ab4912953f106a0c61b66160664fb37a037","datavalue":{"value":{"amount":"+0.8017133474349976","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":"Q3172901$AA8B166B-A639-41C7-AFD0-10E5DBEE222D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f842cb182b3a04330d2469e0337e62249d095bc","datavalue":{"value":{"entity-type":"item","numeric-id":2075782,"id":"Q2075782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1811450406b1a7acea4477d0709b55c5fda1c644","datavalue":{"value":{"amount":"+0.800830066204071","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":"Q3172901$0B039DFF-8C2E-42CB-AD2F-CFDAA64F6B79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Statistical model checking for cyber-physical systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Statistical_model_checking_for_cyber-physical_systems"}}}}}