{"entities":{"Q5452604":{"pageid":7482163,"ns":120,"title":"Item:Q5452604","lastrevid":50326868,"modified":"2026-01-13T20:11:05Z","type":"item","id":"Q5452604","labels":{"en":{"language":"en","value":"Language-Based Abstraction Refinement for Hybrid System Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259432"}},"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":"Q5452604$B190EBEA-D2FF-46BD-A740-453089D7DB44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da05075bd7598cd51f39262137125df9a5f3e409","datavalue":{"value":{"text":"Language-Based Abstraction Refinement for Hybrid System Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452604$FF5A57B5-229F-4141-A837-B68503C71A7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc60c43bb0c3f52de5d85bdf0f39f6f69ad36155","datavalue":{"value":"1132.68471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452604$123157AD-ECA2-4AF8-A82E-9FE71CC19208","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ece0ddfe93d607d531242326212de97d6cf92780","datavalue":{"value":"10.1007/978-3-540-69738-1_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452604$4A9F1121-6085-4812-8DAA-A8C0ADB646D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b5808f251c37bb2de69a0629c5cb8c741b5006","datavalue":{"value":{"entity-type":"item","numeric-id":402358,"id":"Q402358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$01F6EBDF-DCED-43AF-9D6C-BB5CD607289E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e504e5c78f160847d88d111e5ab65b0189aa771b","datavalue":{"value":{"entity-type":"item","numeric-id":389833,"id":"Q389833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$E4355E7B-3757-4773-A45A-ED7CF743EBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde4e3ec6ac72e6414a4a270d573ac1c4cd236e","datavalue":{"value":{"entity-type":"item","numeric-id":305004,"id":"Q305004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$FE9A7D04-814D-4E90-B234-6D05609B181A","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":"Q5452604$55B57675-698C-41FE-9173-FD6B5DA0209C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452604$0D9DD0B0-3D2D-42D4-9FBF-927F5685D181","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452604$88ABB67B-C4D6-4EE3-8E3A-2F9953F9D784","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37f478a7a5db247dbd2c699670af315992105961","datavalue":{"value":"5259432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452604$663248D6-8272-4A0F-B442-659874BA8192","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e979e2def7bf6c6c84a35127c1a1ec94fc6ad80","datavalue":{"value":{"entity-type":"item","numeric-id":22910,"id":"Q22910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$3CBE7792-0BB2-4041-A4BA-8B4361BE4703","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":"Q5452604$1758A929-D488-4FCE-960D-53DADDD058D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3075e706b695bfc4b11beeed54f9d8bdf214ef13","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69738-1_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452604$430B6298-C9EF-4B0C-B4BF-9F507B012CDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57e51b779139e1255bc9b2f3d96b54fd0623e66e","datavalue":{"value":"W1576022414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452604$E25D347E-40F2-4D1E-BF2F-A16C3C0A1110","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8be68c54ffffee441dbac88bacd48496aa8812","datavalue":{"value":{"entity-type":"item","numeric-id":4552459,"id":"Q4552459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$FCC7FC83-1901-4E1A-B871-0F3D4706D348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a2b4e702ff855fffb4152c32d6587a45409932","datavalue":{"value":{"entity-type":"item","numeric-id":2387414,"id":"Q2387414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$D69C0FF3-A915-45A0-9A4B-252BA43F102F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17174e6fa8bdc049c22c71b5a594a8c80272c147","datavalue":{"value":{"entity-type":"item","numeric-id":5307470,"id":"Q5307470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$7CFA87EE-B788-4B81-B7F3-524473E40142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3e63c80eb78186ace2b0da5fec4010008404ad","datavalue":{"value":{"entity-type":"item","numeric-id":5696927,"id":"Q5696927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$D304EBE2-1F72-43EE-9D64-AC487FCB017B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$A142369F-3448-4ECE-9798-F1F8417DB29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5162b6d7b4c1871834a32051b632fb06c242e07b","datavalue":{"value":{"entity-type":"item","numeric-id":2845498,"id":"Q2845498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$2CA81470-EB0C-48E5-AA34-74B3D0CCF3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3556ecbf0d73a14f4be4b022c9aaa15280e0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1101265,"id":"Q1101265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$313949E3-9337-4FDB-BB7F-203D617E99C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57f332f5cc68c7ac5e3e59e80b7e391fd4a426d","datavalue":{"value":{"entity-type":"item","numeric-id":5897960,"id":"Q5897960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$22003AAF-1EB2-41E9-A5D2-7C6387A383A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10091bc86f77d621a961d74b765545e7ea08d174","datavalue":{"value":{"entity-type":"item","numeric-id":5703926,"id":"Q5703926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$515D5BD8-6B63-4773-A253-BC0AF94F95BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7093fdeaa3c6b98a6db2da66470cea5e44add10","datavalue":{"value":{"entity-type":"item","numeric-id":4945221,"id":"Q4945221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$191C1E28-59CB-4EF8-B8A0-A7311C80351F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$7A8D4824-17E2-4EC8-B889-594F10711F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ecd962d29196a0fa85d545f27fae2c55c992d6","datavalue":{"value":{"entity-type":"item","numeric-id":3021971,"id":"Q3021971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$AC4FFC44-420C-4978-A597-8971FCE85955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7841b689a9f014c530f6e8f8c65241f1b1dcc2b","datavalue":{"value":{"entity-type":"item","numeric-id":5898989,"id":"Q5898989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$5D62732E-FCFB-4437-89B1-DC56977E8B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34673e54b35318d123c68e7bd146f0ffd36bf01d","datavalue":{"value":{"entity-type":"item","numeric-id":4808717,"id":"Q4808717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$B6EE3A9C-A8D2-4227-AB43-D5FF2BE8FF3F","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":"Q5452604$6594FC9A-4E17-4BC5-A74E-B35DF59D6951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1cc878a5cd0a7b7b8d5defd362ffac8f9311240","datavalue":{"value":{"entity-type":"item","numeric-id":5302913,"id":"Q5302913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452604$E1F7FA4F-A4E5-45C5-BCCB-46E43FD1A73D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a2c00d156902668c0979d24425e406ec681c81","datavalue":{"value":{"entity-type":"item","numeric-id":4417923,"id":"Q4417923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a700167902b907ea945eae6328186b0544e545a","datavalue":{"value":{"amount":"+0.853227436542511","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":"Q5452604$FD50F132-4BD8-4B85-AEAA-C6BDC1ED977D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f2ef821b6e8c5ff40d336dd7afec9b97f3b15d","datavalue":{"value":{"entity-type":"item","numeric-id":5696927,"id":"Q5696927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5a4ae06eb7d25a2ec73d45d82ef8d00cd8336f","datavalue":{"value":{"amount":"+0.8275529146194458","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":"Q5452604$E287D686-805E-4C8C-AB23-655C82C571E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdeb037775e8574aceecc1728d2f00d11fc6f3fd","datavalue":{"value":{"entity-type":"item","numeric-id":5703926,"id":"Q5703926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb31756d1485392bbfd905a3c93160cabfc90fe2","datavalue":{"value":{"amount":"+0.7950414419174194","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":"Q5452604$469AA7CE-A698-4034-99F5-9427E2C394B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cfa101298adda0138b10b23f584f9b4cb3fc431","datavalue":{"value":{"entity-type":"item","numeric-id":2368954,"id":"Q2368954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a640c57193b7e5ee5521da2eb0ca31342e5857f3","datavalue":{"value":{"amount":"+0.7896223068237305","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":"Q5452604$54CCE093-8781-449F-83E9-8423F2AE5134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22cde77c2a5021e7d482548d38c453253b11f9c2","datavalue":{"value":{"entity-type":"item","numeric-id":5492985,"id":"Q5492985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058192f9f47cf0aae276a5439623d1039624b982","datavalue":{"value":{"amount":"+0.7867218255996704","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":"Q5452604$2C401BDE-AF92-4856-B872-97009CD460F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452604"}}}}}