{"entities":{"Q3502655":{"pageid":5532558,"ns":120,"title":"Item:Q3502655","lastrevid":50365406,"modified":"2026-01-13T21:54:42Z","type":"item","id":"Q3502655","labels":{"en":{"language":"en","value":"Symbolic Algorithm Analysis of Rectangular Hybrid Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279202"}},"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":"Q3502655$DF317CF5-3C8D-4400-8EFE-A1BB9306C1A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de20bab6bd3cd44235189ba52e19992da26497b6","datavalue":{"value":{"text":"Symbolic Algorithm Analysis of Rectangular Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502655$BCDCE5F0-D770-44DA-9EFD-C653FC95600D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1676682576365c7e9460ad034018487eb37a385f","datavalue":{"value":"1139.68381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502655$EC0D1E85-4819-458E-8862-AF7AE7B661F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2aa5fd4035836b5fd40e84df694319ff4f0e1bc","datavalue":{"value":"10.1007/978-3-540-79228-4_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502655$003F5599-F4EC-422A-89EE-0393365EA098","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3dd03ee097f5d3ea2147247a1aa6b356888396a","datavalue":{"value":{"entity-type":"item","numeric-id":259133,"id":"Q259133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502655$7805D899-3F43-49D9-A48A-1DDCB12B27C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502655$AA37A0D3-4318-4D57-A471-450F2B7C2769","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502655$C0DA9D6D-6F8F-4BF0-84C6-65F4F7E91F95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3502655$A1805C9D-92E2-4E71-A53F-E8FB5471A6BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502655$A8426CC5-2AA3-4191-A209-D7AC6F0C6293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502655$FDC89F32-B520-44D5-8E6A-5309A7721459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502655$B81A6592-8B91-4072-9124-ABAF649122AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7985bc2ced7341cdc975d5efc17949acc03d876e","datavalue":{"value":"5279202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502655$C445E52F-7AD2-4694-8926-9F82D1154ED2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502655$F99C1F5C-5E93-4578-8C20-3AE8D9D84917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502655$F20CE601-9622-4DBC-A349-B5A076A130AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502655$C198FD51-45EB-4778-B1E5-5202A30828F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502655$0B7ADF06-2688-4329-9F31-22061C1E1F51","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":"Q3502655$3F38D6F8-1DF4-46B6-9291-BE0F5BA72F72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ca80cc10300b38e2558469e506ebfa5a76e9a7a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79228-4_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502655$D19913AF-BDA2-4E7D-8323-F713FDE4F220","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5124707cd774cb5c4a6db7e658dea5cdbce93f47","datavalue":{"value":"W1487107396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502655$F4579EDE-26DF-486C-A2AB-B509F5509F25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb661497f55a6c2b38c182c34f0b33cbf1014188","datavalue":{"value":{"entity-type":"item","numeric-id":4518893,"id":"Q4518893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb266b40db70c52bad09eca5cf825607c4d3040","datavalue":{"value":{"amount":"+0.8250914216041565","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":"Q3502655$5B85E6F4-D2EA-4378-B5B3-8C00B88036C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aee26a031b3f66ef6c1139f91580f7bedce9b2c","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441384710c62b07e54aee79ce236049db8877d6b","datavalue":{"value":{"amount":"+0.7989356517791748","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":"Q3502655$D99A9EE6-DBC8-4AFB-A3C1-378D65D92137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada196e9837c0535f138f029f03e52b9c9a108f1","datavalue":{"value":{"entity-type":"item","numeric-id":3536951,"id":"Q3536951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5146eacf53cdcdbd9fb213917071c89056116de","datavalue":{"value":{"amount":"+0.7978610992431641","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":"Q3502655$52D35B76-AA30-4827-9401-0D01CF929C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b6e3008ffc3ca743afd8e7a3f0717f9671bb9a","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cabfeb512f9a87114c5564ca5d7c45cfd4984ad","datavalue":{"value":{"amount":"+0.7737821340560913","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":"Q3502655$C636EFEB-712E-4F1E-B5D0-D464FC30511F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c96cd4a2916c232da181473f3a64f2cc728969","datavalue":{"value":{"entity-type":"item","numeric-id":4763590,"id":"Q4763590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762f4d393d5f64a84a3cac3a8d7427aa40285494","datavalue":{"value":{"amount":"+0.7714055180549622","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":"Q3502655$21D0FEB9-D509-4D6B-8349-7EACC52EBC53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502655","badges":[]}}}}}