{"entities":{"Q4899747":{"pageid":6929326,"ns":120,"title":"Item:Q4899747","lastrevid":51627887,"modified":"2026-01-19T03:38:36Z","type":"item","id":"Q4899747","labels":{"en":{"language":"en","value":"Abstractions of hybrid systems for verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6123625"}},"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":"Q4899747$C78A8861-2EE4-464C-8AB3-D86FA7C1DFCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da7a1b84e2296cf1f9ca9970186471f578b590a0","datavalue":{"value":{"text":"Abstractions of Hybrid Systems for Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4899747$C867F55E-BFB3-4AB1-9034-CA5EC7E2120F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02a643a8a3e037596b2942b3e1fd822d37b3091a","datavalue":{"value":"1255.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899747$DC2399A4-21FB-481A-AFC6-69657E7B9695","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33fe49bdeb2b3e5582a37365a7f7850ed37391d8","datavalue":{"value":"10.1007/978-3-642-19730-7_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899747$62189313-792D-4AC0-B913-0709AD886C54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3492afe49fb33c1d9ede7b37a6ab34699d4a73bd","datavalue":{"value":{"entity-type":"item","numeric-id":1663012,"id":"Q1663012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899747$A55F3739-498B-41F9-8AFE-9CFA308C00A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d70d7d44007fc313189efc79092ff5c1b5f01dc","datavalue":{"value":{"entity-type":"item","numeric-id":360614,"id":"Q360614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899747$5B09141A-7B91-4F8A-82C9-6EC7F0A13A85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ea43fcd3d04500e4a5efcd97627b4fafd7398d9","datavalue":{"value":{"entity-type":"item","numeric-id":3564214,"id":"Q3564214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899747$274C27B2-4B1B-439D-8525-980912CF8624","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4331d5b4abbb2f7bb88786d75d7faa748a867f4f","datavalue":{"value":{"time":"+2013-01-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":"Q4899747$4A18A6B0-DD43-4C8D-BCF8-E4A35B1BCCFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899747$D8C87D3B-D8C7-4738-A924-F6433C26C325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899747$A0CCD033-6AED-4FCF-82E0-A6233B4941DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"453a829cf1cd90010df0771f4306d5040c6a8594","datavalue":{"value":"6123625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899747$251332CD-36FA-4950-A710-65AC47603495","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899747$48F43162-D89F-4411-A8DC-0E3309E15BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899747$A1294583-7C0D-4654-9469-D6A7E4346B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899747$5C2FBCA5-0B56-4989-B194-32B7FC2D0E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899747$061868F8-F5B8-474E-B0F1-8FF9297A75FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899747$691878B8-F184-4807-B3ED-35B00248322A","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":"Q4899747$75073332-E718-4178-8221-9D5F0C0FBE09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0716f1fd57b90538e6d5b3ab88d47bed2b1df4e3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19730-7_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899747$8B387BDE-608D-4A74-AB0E-508651C8EDF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"447c5f07faa9df72d81ede4cc1e0ec153d507882","datavalue":{"value":"W115896635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899747$2CD0C139-C483-4875-BB26-35CFE5CD0E47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0341ef690e744836ae0c5bd736a767679c550745","datavalue":{"value":{"entity-type":"item","numeric-id":4736610,"id":"Q4736610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e08c631ae0383aa4f194aed9b641d7965815487","datavalue":{"value":{"amount":"+0.8068551421165466","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":"Q4899747$E6EAE920-55D9-4CFC-8991-7CF869233A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44bd7aa7a5d5233a507b672bda57c22c035f24e2","datavalue":{"value":{"entity-type":"item","numeric-id":702842,"id":"Q702842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bfb847dcb651478e64fa70340b2f03bcc6f5646","datavalue":{"value":{"amount":"+0.8043697476387024","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":"Q4899747$BC44E9EF-CD15-48AB-AE92-1908F3BAD3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14ad7c2b436480479f01d829aea05fd0672aeaf","datavalue":{"value":{"entity-type":"item","numeric-id":4736572,"id":"Q4736572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cad8da2b88a5275dd4b2e43480518a8f3243b88","datavalue":{"value":{"amount":"+0.8019579648971558","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":"Q4899747$B02D1A34-9B73-490D-B77F-CBC538202112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3782bcc3f42ea1b7656de2420eaaf15658dcdf","datavalue":{"value":{"entity-type":"item","numeric-id":2496812,"id":"Q2496812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104261e5de685451026c37fe54e21a78c1013d8c","datavalue":{"value":{"amount":"+0.7976318001747131","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":"Q4899747$800316D6-802E-4C65-80A9-87BB44939BF5","rank":"normal"},{"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":"b01e804219bbe94e0cd75e4ff5321cd2cb2e00b1","datavalue":{"value":{"amount":"+0.7928726673126221","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":"Q4899747$58761164-2DAA-4E92-9F14-C472D7EBB38C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4899747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4899747"}}}}}