{"entities":{"Q5458327":{"pageid":7487886,"ns":120,"title":"Item:Q5458327","lastrevid":50333801,"modified":"2026-01-13T20:27:09Z","type":"item","id":"Q5458327","labels":{"en":{"language":"en","value":"Symbolic Model Checking of Hybrid Systems Using Template Polyhedra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262369"}},"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":"Q5458327$E946AF42-E528-447D-8B9A-883FBCAE5301","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1562c31b26bee9c5a2edc0133bf0796a7c6373cf","datavalue":{"value":{"text":"Symbolic Model Checking of Hybrid Systems Using Template Polyhedra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458327$7E2D765A-37B4-45B2-B69C-88A21107FE0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fedd0802b232dfa9aa10015fbb9e956f74bd41fd","datavalue":{"value":"1134.68419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458327$3AAE15BF-CC7F-436F-A972-4631AD26A9AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3945fbe2fa315c5ea0933b3afcdd04ead5a7540","datavalue":{"value":"10.1007/978-3-540-78800-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458327$22CFA4BF-1F8A-4379-89A9-5C46B0EE211B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$F7802C57-6720-4852-8715-F1FE12E1E738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71d4955cd894e8f65bd4d36ba17714e84b2ab9ce","datavalue":{"value":{"entity-type":"item","numeric-id":526431,"id":"Q526431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$8F6B828C-A2AE-4C84-92DF-8831DCE44BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adf482bc390836e4c23988820629e51ba0628faa","datavalue":{"value":{"entity-type":"item","numeric-id":947792,"id":"Q947792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$1855E2DF-E173-4CE1-8310-85AAC3D18172","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$D5ECCFDA-76F8-46B1-AF53-4038E75E2E10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458327$21227E4D-52AD-4153-8505-D1402D292263","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458327$BFFCACCB-2103-4EFF-9652-D36958DA912A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26947b72377e8ec98258eb2d9a90626f215edb4a","datavalue":{"value":"5262369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458327$DDF1B4D8-D9E5-4A7B-9B46-3C90CC3DE610","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8c4e5ad6deb5e7808f1cb222bda8db7c643ff92","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$409E9CC9-2817-4FA4-A438-D3AF70DC6C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$44CE9BA7-F002-4A02-9976-562D76D6E023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$069947D3-2A18-480B-A51B-08AC008E3738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74709fe208fb3c9a7200c0f5d8fe8f5ccc4dd827","datavalue":{"value":{"entity-type":"item","numeric-id":16783,"id":"Q16783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$7B129EF8-F5A3-4A43-B076-3731C0285DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"882a971f4991bcd3c0ef655b6f375f7a0214f07a","datavalue":{"value":{"entity-type":"item","numeric-id":22275,"id":"Q22275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$64CF7BB0-EBBC-4181-B91C-FCDFBBD5B166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$6F6BDC86-487D-4BC9-A761-A4430FBA2242","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":"Q5458327$95BDDBFE-27BC-4BFA-B2E1-2F881BAEEDBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0344d730ab1b5a878552b32b57dc6beccbfd8e99","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458327$DC03D22F-9E9B-4A35-B3F0-18C88C6191A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b3de41c26ce9d1cba7edf71999414f6e3d52061","datavalue":{"value":"W1497013959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458327$A7C4A79D-3293-4893-BF8A-29624F8BB50A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4099c2dffdc34c9a8cc569c4ebb17f8d9459681e","datavalue":{"value":{"entity-type":"item","numeric-id":2368954,"id":"Q2368954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$A34FB3EF-26F5-420E-AB2D-990387D271EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9664b166d641fcc88f9dec148e06cd33528b438","datavalue":{"value":{"entity-type":"item","numeric-id":4806208,"id":"Q4806208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$BBE71237-4A40-40D0-A1FB-483314C81EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a740d882b0f53ab305b0df0cbe6f03c4603339e3","datavalue":{"value":{"entity-type":"item","numeric-id":4249563,"id":"Q4249563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$E0924F71-160D-4B74-850E-55DF68D5D051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f51123d4849920c0bd477136f67ae685bea6fb","datavalue":{"value":{"entity-type":"item","numeric-id":4821526,"id":"Q4821526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$38AC7021-BF3D-490F-BB1B-2DDE18E1FC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e928f46ec2cf29941d0b0532ba007525c5e3807f","datavalue":{"value":{"entity-type":"item","numeric-id":5466569,"id":"Q5466569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$3EBB9D9B-204A-42CE-9617-1560C8A12265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$78EA2952-9EC2-4E9F-9C4C-3BF6F2B8384E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36883030cfbe7504efa1a529decfce95f5779b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5307932,"id":"Q5307932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$40021192-60E4-418F-8634-FC7123E3E350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$2D28264C-E1E0-4218-8EDC-D3789EEEC809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d771fe4d67b7e62b1337b5ef67a0024cc8717a","datavalue":{"value":{"entity-type":"item","numeric-id":5703929,"id":"Q5703929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$72A40DA3-2814-458D-AD78-08A6E2989E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c850bff2ac9257d92f076b1b5e2ac5d20a06baa","datavalue":{"value":{"entity-type":"item","numeric-id":1380122,"id":"Q1380122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$6EE02385-C829-40A3-A5C3-573361A4F975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ce21c0af5b0744b4a11c7df8ddcc9112e73fa9","datavalue":{"value":{"entity-type":"item","numeric-id":4953393,"id":"Q4953393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$57822E48-91A2-4C05-B87F-E9B33B0122A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdbe16aec56ba68ec95d8aa5197641f629fc6a2","datavalue":{"value":{"entity-type":"item","numeric-id":5703940,"id":"Q5703940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$1C6FF8CE-20B9-4E18-AC95-E75A87752147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c11a3656bdd9767b08f88d08fbce19aff9f396","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$ECB42007-F066-43AE-8BDF-1C7358DE49C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7784189294e81874fa9d2380e5da09a4d09a5f97","datavalue":{"value":{"entity-type":"item","numeric-id":5274100,"id":"Q5274100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$E84CDB4B-0135-4926-ABA6-BC6B96FA2547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df16580f6f974f881ed949b615e442cb8d0f868","datavalue":{"value":{"entity-type":"item","numeric-id":1424271,"id":"Q1424271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$6A48CB9A-5111-4DCD-A8E7-76C40620D596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bafa3751b8b8e8fbaca5651ac637d6bbc7888d1","datavalue":{"value":{"entity-type":"item","numeric-id":5716569,"id":"Q5716569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$A4AA5A63-BA10-40EF-BCBB-ECD7812DFB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad41628e5c514648aa3055d776621cc63b95ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$53F68AEA-3E22-425F-B507-A03521AF48D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b055b28c3ecf01ed8cfc370eaa73dc48a2d0ca26","datavalue":{"value":{"entity-type":"item","numeric-id":5703953,"id":"Q5703953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$B49691C2-4B66-44AA-A4AB-64B46015265C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5334e67e9482e264bdd65149cb10cc8102a06b12","datavalue":{"value":{"entity-type":"item","numeric-id":5703954,"id":"Q5703954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$C7922736-A311-45FE-B7E0-EB075ABD0607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"459d3bdfcaa16f6111cb4cb8a3ecd5f651c09458","datavalue":{"value":{"entity-type":"item","numeric-id":3523151,"id":"Q3523151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$39892AA4-FED4-4614-82DB-B4A7826AFCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3933980b8109f0ae19c58483ed8b9de03b9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5307949,"id":"Q5307949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$E8FED81D-F257-4141-854F-2F29F3B2F785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a04350dc9480fc2452390fba22cda7f487634a","datavalue":{"value":{"entity-type":"item","numeric-id":4418865,"id":"Q4418865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458327$3DDD8D4A-C475-41DD-B735-A1DABB2947A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b9f461858bb1d100c95069ca24c4d6c8978db8","datavalue":{"value":{"entity-type":"item","numeric-id":2901366,"id":"Q2901366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824635fbbe195d91cf8c206b4058806fd9382e27","datavalue":{"value":{"amount":"+0.8231264352798462","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":"Q5458327$DDE12B9A-B5E2-4BDF-83E8-ED6E30CDCDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8c8e17f5179c5529ff05ad9a94127a44678aeef","datavalue":{"value":{"entity-type":"item","numeric-id":3523151,"id":"Q3523151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39974d9f267f29522175717714bb5e2f96ec2df","datavalue":{"value":{"amount":"+0.8224254250526428","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":"Q5458327$F1A186BA-C3C0-4F35-9F32-4DA24F51EBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a268139315ddf310b885e9de65b0dc672defdd","datavalue":{"value":{"entity-type":"item","numeric-id":1878924,"id":"Q1878924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0381e6e16f429bf7935cff2d86b5058245247f1b","datavalue":{"value":{"amount":"+0.7769505381584167","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":"Q5458327$166CDA11-F2F0-45FE-B9AA-F89E1A553740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255f99d09dbd1959be21800f909d08bf03c9130f","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7cd230a9dae427af463975928dc822bc661917a","datavalue":{"value":{"amount":"+0.7649518847465515","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":"Q5458327$FDA433D9-3E9E-4E2B-BF69-E1D42A18F7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722bda66784fe839f8b31c0ac7d90ff3db90eefc","datavalue":{"value":{"entity-type":"item","numeric-id":3512493,"id":"Q3512493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86cca87e8d3df7c5a49714a226193fb82b71eb8","datavalue":{"value":{"amount":"+0.763266921043396","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":"Q5458327$8E244FEF-F275-43B3-AE5E-A75621661354","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458327"}}}}}