{"entities":{"Q5047167":{"pageid":7076744,"ns":120,"title":"Item:Q5047167","lastrevid":54438761,"modified":"2026-01-26T19:56:47Z","type":"item","id":"Q5047167","labels":{"en":{"language":"en","value":"Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614464"}},"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":"Q5047167$DEDD3973-3695-4EDE-9891-550CD1927941","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"308cd37c2084f004ea77a25dab3368e70539e9f4","datavalue":{"value":{"text":"Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5047167$9D5A2180-AE84-4D41-A7E6-FAAB84EECA15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d28fcd6bae610357c88e52dcd14723cf69e5f222","datavalue":{"value":"1498.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047167$307CF331-2A70-4DDB-9EA6-D4C6DCCFA60B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70be23dc5fb433f8d91892189cdd2f4aa499b284","datavalue":{"value":{"entity-type":"item","numeric-id":355504,"id":"Q355504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047167$E3F73BDD-C48E-4ADE-9CC4-CA39BF8C620A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c64260f90264e4cff6b7f1e84db8b9e97e5df76b","datavalue":{"value":{"entity-type":"item","numeric-id":1853603,"id":"Q1853603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047167$5F6E50F6-35EB-4C03-AC72-D0DEB967DE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047167$4C9E7CA2-2DDC-4384-AD19-068AC36CC524","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":"Q5047167$EC38A5DF-4250-4D82-9E2D-2EAD7DF2AA10","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":"Q5047167$155AA36B-8FC1-4370-8260-6A88D19AA7CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047167$5429E717-1305-459B-BA56-4867F5314FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047167$7703B133-8D4E-4100-A61C-81890B2627D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89da21064fbbf4fb648b8be26018340bf79d9f17","datavalue":{"value":"7614464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047167$A844C61F-2B03-40C4-A80F-D9887D77EAF3","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":"Q5047167$6517AB2F-B829-49FE-8211-1DB98952F751","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047167$0A5A749A-EB73-440F-87B1-DB757D3A2472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dac655e7ef5654e5e33e200103ca3725f76442b3","datavalue":{"value":{"entity-type":"item","numeric-id":1200918,"id":"Q1200918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047167$7795E4F0-2C1A-45D7-AED6-8CB4D620E47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b1afdfd50f7f4404e431384ee3957a9cf5c28","datavalue":{"value":{"entity-type":"item","numeric-id":1176248,"id":"Q1176248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047167$A72B9DC3-2A49-4FD9-917B-6E8268A63738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5781430c3bcca2b0df40d4fc7fd2bfdf2c1936f2","datavalue":{"value":{"entity-type":"item","numeric-id":1323323,"id":"Q1323323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047167$5AD6057E-BED6-4983-AD75-9D6E92CFC666","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe03e8b43051a229ef54ae4ee34acb544e27596b","datavalue":{"value":"10.1007/BFB0023456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047167$EB70973B-D80A-43CD-95E9-C186046ED9D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f574c657ff784fd861f445f05b6ad0778f48d99","datavalue":{"value":{"entity-type":"item","numeric-id":1853604,"id":"Q1853604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c68f7ac43c03dff385d8e997f72fd1847a9fa2f","datavalue":{"value":{"amount":"+0.9322561621665956","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":"Q5047167$794B84DF-AB39-4FF9-88EB-5A3D583B4CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9540d01c94d6496f77cc2ed5a824f585a544af3","datavalue":{"value":{"entity-type":"item","numeric-id":5434526,"id":"Q5434526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4094c6c2ccdffa48848465d42253d16c21ef1b3","datavalue":{"value":{"amount":"+0.7947090864181519","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":"Q5047167$03D28AC3-08AD-4FA9-8072-BA2C49B514CF","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":"072c8224557d7195ea3b7db339f4dcc130a16290","datavalue":{"value":{"amount":"+0.7941500544548035","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":"Q5047167$D951A16F-A5E3-4335-8625-DA4263361F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f403ececc066de048ad63f26d850e13b3775f1","datavalue":{"value":{"entity-type":"item","numeric-id":4679533,"id":"Q4679533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b15bfb20474137b347751eeb9613578221e9e81","datavalue":{"value":{"amount":"+0.7921971082687378","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":"Q5047167$567629DE-B1EA-4E42-BA37-90D24F4CE44C","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":"db5cfa34bee86950a1ae7645bd839c06916489e2","datavalue":{"value":{"amount":"+0.7818774580955505","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":"Q5047167$7FEB01C9-623A-4D56-B593-3E1791883799","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5047167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5047167"}}}}}