{"entities":{"Q2827453":{"pageid":2838191,"ns":120,"title":"Item:Q2827453","lastrevid":83749010,"modified":"2026-05-07T10:49:16Z","type":"item","id":"Q2827453","labels":{"en":{"language":"en","value":"Difference bound constraint abstraction for timed automata reachability checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6641156"}},"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":"Q2827453$EC912386-41C4-4720-84D1-E30C6DB55A68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bc606a01b4c9f8fe6e23137ce60073272cae473","datavalue":{"value":{"text":"Difference Bound Constraint Abstraction for Timed Automata Reachability Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827453$013146FA-AB40-4B1F-A728-C569E1D699BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62888d0f31258da2e861eb761708872561749a7b","datavalue":{"value":"1347.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827453$4AC589AF-803A-4D39-B004-C0316D421A57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb383bc4304ca0fdfe4d8fdd04f3d78a49d2627b","datavalue":{"value":"10.1007/978-3-319-19195-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827453$E52808F7-2446-4665-8A85-615027206D80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e94375fe0af59164f0d1b632a0bd9fdb567519","datavalue":{"value":{"entity-type":"item","numeric-id":385847,"id":"Q385847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827453$45842A6F-82F6-48A0-8DF9-C7009F117C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20d38469debc0e61c34eca5eada8a50c85a6ed10","datavalue":{"value":{"entity-type":"item","numeric-id":238030,"id":"Q238030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827453$A5C30826-4B1F-4A70-935F-D1F9A00A7686","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8e0f6f00e5973d13e51da0f168b1db06ae6cf95","datavalue":{"value":{"entity-type":"item","numeric-id":2827444,"id":"Q2827444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827453$70495F59-8BC0-4254-9C93-5E06C31DB3E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1535619fd8f94633f3128b0ce8819699cf6d5d0","datavalue":{"value":{"time":"+2016-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2827453$9A9DBEC9-1071-4762-9811-9075EB8A968A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3003589883ea1c592dd62a58ce9c8527323bc0d","datavalue":{"value":"https://hal.inria.fr/hal-01767323/file/978-3-319-19195-9_10_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827453$9C4A628D-4694-4B72-8184-3AB069074478","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827453$A9F08FCE-D17C-41AF-B289-E73A7C171FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827453$6079EC28-D5EE-45C7-B694-11912846E953","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eea78cd700d1350a999936e33c5a2761a991cddd","datavalue":{"value":"6641156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827453$B6A2AD74-4B2E-435A-9CB3-3345052BF5AC","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":"Q2827453$F2CB654F-BED2-414D-A64C-2F1B0BE9D7CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77773e2bb4ef29ab8bdbb234fe37ef9d21e0acc9","datavalue":{"value":"W2118964795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827453$0080DFDA-7914-43B7-90CE-B87F255BA783","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de457464770338e5c6fbc2cc8cbda2105cef7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5308415,"id":"Q5308415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b53f82424b6789b89f1c7c3d46ce995b25d2ecc7","datavalue":{"value":{"amount":"+0.8530120849609375","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":"Q2827453$82ED1A17-6B17-41B1-A200-EED7626D64B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6948e93f69b608be9b9b40188f27feba5198ca20","datavalue":{"value":{"entity-type":"item","numeric-id":2986813,"id":"Q2986813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5615574ba4531b36c584d1f7a097578e68ea261a","datavalue":{"value":{"amount":"+0.8448053598403931","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":"Q2827453$63B11219-4027-4122-887B-361CA443B0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274488422d1b7207ff867c50e2a000d964e41bfd","datavalue":{"value":{"entity-type":"item","numeric-id":342707,"id":"Q342707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85cdc5a4002561cf32a3f719bd6bf8af35fecc2f","datavalue":{"value":{"amount":"+0.8443740010261536","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":"Q2827453$C0A93F45-C5A8-4004-998D-B9B40986057C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7730acfea263f219e89a5cde2bb3279cdfb699","datavalue":{"value":{"entity-type":"item","numeric-id":1683455,"id":"Q1683455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"320c9043cc5f812bf91b89a611f0c8d47bd4d9ea","datavalue":{"value":{"amount":"+0.7937307953834534","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":"Q2827453$CA3DED80-49F6-41BB-950E-2DD8E05EDC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2583cd1f5bebd6a9b0bff0d8ac893d1207151fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3457811,"id":"Q3457811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7da60eff3642828daa2ff6f557ed3247aa0bc9f","datavalue":{"value":{"amount":"+0.7710055708885193","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":"Q2827453$A8CCB9A8-2CC0-48FA-BD65-03BC1F1B206C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Difference bound constraint abstraction for timed automata reachability checking","badges":[]}}}}}