{"entities":{"Q1990521":{"pageid":2001263,"ns":120,"title":"Item:Q1990521","lastrevid":72239334,"modified":"2026-04-14T03:33:06Z","type":"item","id":"Q1990521","labels":{"en":{"language":"en","value":"STL model checking of continuous and hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6965639"}},"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":"Q1990521$1AD1E83A-C0AE-4659-B6A9-88EAB85406E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88440a7b50b370ad0cd2ae99f5b41c896a04e7f5","datavalue":{"value":{"text":"STL model checking of continuous and hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1990521$CF6215B1-1DED-46EA-8D80-943213A61682","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0d10c2f2c4a9e6049915c8e8bae656c856e8d29","datavalue":{"value":"1398.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990521$DCB198AB-5068-4FD6-A089-3F6E4AAA434C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ec16c05209aae8a92961284966ba2e6ab26e266","datavalue":{"value":"10.1007/978-3-319-46520-3_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990521$B39F002E-3384-451C-AC1D-5B43444FE005","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58cb1d893dec50382631a35d04fb21992fcf8162","datavalue":{"value":{"entity-type":"item","numeric-id":1990518,"id":"Q1990518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990521$BA6D3D1C-52A1-411E-966F-352842EB700D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43336df9cde431e44b1735ac1efcdc497261fdb8","datavalue":{"value":{"entity-type":"item","numeric-id":1990519,"id":"Q1990519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990521$E0500EC3-7E7C-4FBE-A1AA-EF53979D94AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5c6eb26c682370af2d1963c264dfc47b5a3ce8e","datavalue":{"value":{"entity-type":"item","numeric-id":1990520,"id":"Q1990520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990521$2FD8BFAB-9C17-4CF2-8679-99E0F78202E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07c5e313dd51ab1aed894a2b76df59a8e3b19f3","datavalue":{"value":{"entity-type":"item","numeric-id":988779,"id":"Q988779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990521$93FC5853-5412-4BDF-B57E-4792DC236CA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d922d082f59433f45c9845ec970fb038b58ba6c8","datavalue":{"value":{"time":"+2018-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1990521$2301DFA4-7D70-4C83-A6FD-0AB1CFC57DBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d23747dcdb2f3452d3a720febdc37c5d3043989","datavalue":{"value":"http://mediatum.ub.tum.de/doc/1379706/document.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1990521$5B136EF2-D293-459B-9C90-E4628DF832F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990521$3FFE2063-2C33-469D-AE6F-E189A15F26F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e06162897418cd1bff93e1d006c8575c3bfee77f","datavalue":{"value":"6965639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990521$DC25ED9B-6062-4878-8B11-93BF59D4462F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990521$5D0BA567-3B27-4454-B6F6-423784FD4A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990521$F4419437-BA62-486A-A364-774BC2A4F8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990521$FE597583-417C-4789-AD2E-12C2B1F7DBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990521$EFF02C98-9D47-476F-9C7B-ACA16652B638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2fe9a8b5dadca96554617a2d16001c7f61783e","datavalue":{"value":"continuous time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990521$C8C08AD6-642F-4EA5-967A-637167600122","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":"Q1990521$BA3133E0-8235-489B-95BF-2F85B1D236F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"974e4d4ce25b642409587fc57ee092e1b35516a9","datavalue":{"value":"W2522513585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990521$01C6014F-F1AD-48E1-9712-5D5854127426","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d736724e23994b00d486c282b4d29ace85a886","datavalue":{"value":{"entity-type":"item","numeric-id":2402548,"id":"Q2402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e805a8696839593579fd2b4d73d04248fc3a303","datavalue":{"value":{"amount":"+0.8074262738227844","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":"Q1990521$1267B18D-2EA9-4324-A898-B93FD6F53710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e4c08c8ecd4bccb8b9b21d40d2dbaec9fe4893","datavalue":{"value":{"entity-type":"item","numeric-id":2176697,"id":"Q2176697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dca597da16668ae4cd53f45b24fbf9413f0545d","datavalue":{"value":{"amount":"+0.7826659679412842","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":"Q1990521$156A7919-B8E7-4B99-B867-F48936D56890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b424b1afb6c618f3e364b42b5fc8c7830e52d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a8b4028a7954355c80c049ccc0072c50abe7a43","datavalue":{"value":{"amount":"+0.7666670083999634","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":"Q1990521$C2E850B7-53AD-42D4-AD1E-CA31F5244ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da514cef9ccbe6bf41412a800d76ac6fcb88d596","datavalue":{"value":{"entity-type":"item","numeric-id":4561452,"id":"Q4561452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57a952079c17112a8b4c624ab76d646976f0fe7e","datavalue":{"value":{"amount":"+0.7653867602348328","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":"Q1990521$4B2BA8EC-3495-4003-B8B0-D499C56F0D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93964b4e9f16a19404e89c8409fed2dab9362f69","datavalue":{"value":{"entity-type":"item","numeric-id":2151249,"id":"Q2151249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45984017855d4dcf8e8b7cb647f072211fced902","datavalue":{"value":{"amount":"+0.7624041438102722","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":"Q1990521$DBF234CA-B014-4706-921B-8198A719A4B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"STL model checking of continuous and hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/STL_model_checking_of_continuous_and_hybrid_systems"}}}}}