{"entities":{"Q6174532":{"pageid":13309420,"ns":120,"title":"Item:Q6174532","lastrevid":58749708,"modified":"2026-04-06T14:16:20Z","type":"item","id":"Q6174532","labels":{"en":{"language":"en","value":"\\textsf{HHLPy}: practical verification of hybrid systems using Hoare logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728842"}},"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":"Q6174532$7F0C75E5-CFF7-49A5-8B88-A5E07AD51617","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"652494ad87abc8c9f9848f3b789811bb59d49bb8","datavalue":{"value":{"text":"\\textsf{HHLPy}: practical verification of hybrid systems using Hoare logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174532$3CC63DF9-86FD-4388-9F50-6C05885764E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f5c5a75e96ff3a9e99fe80d4460551fe1d13758","datavalue":{"value":"1529.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174532$6E791725-CAC7-4B0F-9EAB-7393B41428A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55d7908396717741cff31b6fa586f13c8ceb3de1","datavalue":{"value":"10.1007/978-3-031-27481-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174532$878161C3-A5C7-45ED-8DD1-CEA6159B83F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73e8265ad162ea785abe3fd8eb945e2732c487b","datavalue":{"value":{"entity-type":"item","numeric-id":6174531,"id":"Q6174531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$30F8A787-BEE9-4A7D-82F6-E58987AB44DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15de60d15cad4f16d9ed61faf6018fbe1d338db4","datavalue":{"value":{"entity-type":"item","numeric-id":1687713,"id":"Q1687713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$500A6DCF-2F8D-4A02-9EC8-5586A5EC7B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d47a0b532fadc119a2da0b4f59e3906ea7d12d94","datavalue":{"value":{"entity-type":"item","numeric-id":258840,"id":"Q258840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$FE65FE16-6082-4C77-8F3A-89499D5F57A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$06BBAD10-B5E6-4B05-855C-D08B1E72E3A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174532$16B7432E-0472-4C1F-9B41-4F602E317DB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9cd2dd094121a348626ea200ab794b178b431b9","datavalue":{"value":"https://arxiv.org/abs/2210.17163","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174532$75DE1A01-273B-4148-A42B-EA7D9674A6AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174532$8C06398A-09D9-4C94-B101-8A5F6913C354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174532$1EF0AACE-328F-470D-A386-CB0E49383C61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a724f52db188e5780610e2d245bdaedcff31b42b","datavalue":{"value":"7728842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174532$EF220EA9-1BD4-4A92-9B4D-63ADBDEAF5BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174532$1A1588D4-D666-4294-88A4-B6CB5F98A638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174532$D3F3439F-65C0-4415-AB2F-6EBAC5D713D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174532$61FA6D74-3030-4F63-ACBA-BF9DDE900CFE","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":"Q6174532$0B5D5E40-A2EC-430B-9974-6C694F009816","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$3BF4A2EE-03DA-425B-99E0-6F88C8E621AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$E9BC3AED-3CDD-4641-95B9-792F77831A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$BFBDDC2B-E6AD-4CE9-AF3A-AB1A68EC1A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d5526333ecce1996660037c310a447acb45cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5098720,"id":"Q5098720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$24C8CD13-8007-46F8-B744-EE69A21FB096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deca8e7cc2cdbbb92d4c53af7a05e4b98800b98c","datavalue":{"value":{"entity-type":"item","numeric-id":1687737,"id":"Q1687737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$B12F03D3-3615-4600-80F5-1BB72DD89774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89325b91413c3f79263a65cf9e0fd24d71fc02af","datavalue":{"value":{"entity-type":"item","numeric-id":3454120,"id":"Q3454120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$AD8D3042-1CAF-44F9-A406-FB289EEC3A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$09CBE203-DAC1-4567-8B83-9D40585C555E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$A094C84E-C4B3-4071-A667-A150518D9E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2abd106579378d3a4dcae2b2666452f8595a8d","datavalue":{"value":{"entity-type":"item","numeric-id":2038037,"id":"Q2038037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$5B3C851A-7C88-4357-8C6E-7BE0DF0333D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc016de9682afb7bdc877e0f128ebe49d7c4cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1617825,"id":"Q1617825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$B1FD4DF5-D243-43A4-B2F7-85A10169E4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1507b6b5edb70d4c69829a2d7e9cc7ed436f50","datavalue":{"value":{"entity-type":"item","numeric-id":832721,"id":"Q832721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$0CB876D9-1304-4C44-9DA5-E120A9CE30DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$965C035B-0691-4EAF-97E0-754685FBAC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb61c5c1ea145b3c800d5c014b2c4590b1c48513","datavalue":{"value":{"entity-type":"item","numeric-id":1707599,"id":"Q1707599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$65443142-AD02-40A9-9F0B-D660CC810DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80eaa52138fe6dc1cc5abd1424bc7779edb1d9a","datavalue":{"value":{"entity-type":"item","numeric-id":4689064,"id":"Q4689064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$6085E061-1E62-438E-8151-D0AA1679B104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3fbc226d62731020dc0ca64fe7600f26430f11","datavalue":{"value":{"entity-type":"item","numeric-id":3541700,"id":"Q3541700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$F89E4B50-5B21-4966-9DDA-D1814ADAE89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218c53391ae9fb7c615487eb7a2c2b34850987d4","datavalue":{"value":{"entity-type":"item","numeric-id":5133962,"id":"Q5133962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$C4E3CD4B-0F16-4E7D-85AE-B81C313F8E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f48b4cdf3387b29d116e00769214e58438eb2f1","datavalue":{"value":{"entity-type":"item","numeric-id":2096416,"id":"Q2096416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$3ACAC276-A107-4596-9ED6-4694642782BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b462f9efdc73cb182123e1a57698287d93289144","datavalue":{"value":{"entity-type":"item","numeric-id":4600381,"id":"Q4600381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$D2D5F192-391D-4DDF-9DEA-A26B2C52CF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3305c6f2f554cac3fbccd1e79cc5f7cc6fb46c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3460585,"id":"Q3460585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174532$97186F90-9F8D-4111-AA1B-887CE9F25356","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0925a4d84951da49915302eca94fdb4d93f48d3e","datavalue":{"value":{"entity-type":"item","numeric-id":2105429,"id":"Q2105429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c28073560b2479ea700266d36cd0d3109e0ecd2","datavalue":{"value":{"amount":"+0.7877063751220703","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":"Q6174532$69390308-0656-4CC3-AF30-2F049DC4777C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"276f4acaf0f47807bdb09bf5316ca0efe8726bc5","datavalue":{"value":{"entity-type":"item","numeric-id":5098720,"id":"Q5098720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acccf8b2a86baed56b4535ebb821327a0e7b817d","datavalue":{"value":{"amount":"+0.7789434194564819","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":"Q6174532$90E6CDC0-E567-4196-90FD-37DC10A4C57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa1f4841de960501ed36ce114855cf0bd00d78f","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"352a00573fb4dc2da7161605dc91ef31819276f5","datavalue":{"value":{"amount":"+0.7542095184326172","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":"Q6174532$199CA952-0678-48C6-B8D2-B8DACDD9984D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47f5cc992c5d57593f86d8054074db8d80e85f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806208,"id":"Q4806208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbea3a164016ed5bad86a58e879fbbb6e394b50d","datavalue":{"value":{"amount":"+0.7538951635360718","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":"Q6174532$95350C5E-BBE3-4F72-82B9-F01D504AA39C","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":"768f945e3d7001d0d6a911b29ff448b3dd4eb734","datavalue":{"value":{"amount":"+0.75374835729599","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":"Q6174532$1C2B0560-53EC-4A29-A480-40273E3D3A76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6174532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6174532"}}}}}