{"entities":{"Q5429329":{"pageid":7458903,"ns":120,"title":"Item:Q5429329","lastrevid":50224766,"modified":"2026-01-13T14:01:37Z","type":"item","id":"Q5429329","labels":{"en":{"language":"en","value":"Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216245"}},"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":"Q5429329$76138B24-8DD0-4C77-B820-4EF2147B4477","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b142f9268b4a9a512b6bdaca7c4daf8c020a49f3","datavalue":{"value":{"text":"Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429329$E9797618-8140-45D5-A637-6A086A7B6C05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b06abf479f987f119aa22aa9a4039f87cd23e275","datavalue":{"value":"1135.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429329$4BD6502C-400D-4025-8F6E-AA03679E5D9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1db48bce194a15e86a10996e9421a38ba2520ef","datavalue":{"value":"10.1007/978-3-540-73368-3_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429329$2D5D14DF-8C1B-418F-A5D9-72B8576277DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1bd835aad3f28b70e4d220903c239104ceef70","datavalue":{"value":{"entity-type":"item","numeric-id":432141,"id":"Q432141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429329$CFA91181-83A2-40C3-A5F7-8A207E883B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d28c0a406f6ee99cd8f5e212965690a891ace79f","datavalue":{"value":{"entity-type":"item","numeric-id":193842,"id":"Q193842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429329$54AAEB8C-2814-4E90-BDB9-16F6A46BBCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429329$44F34403-F21E-438E-AF4B-9EED94370139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adf482bc390836e4c23988820629e51ba0628faa","datavalue":{"value":{"entity-type":"item","numeric-id":947792,"id":"Q947792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429329$BA8C6C55-CCE4-49DB-B85B-C7F470767C0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429329$EBAD41AF-5C61-4E25-9E51-47FE1D49B68C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429329$6E8B55F0-7048-4D3D-9ECE-4BBB27696AAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429329$994AB96B-F5AF-4B66-B088-D43DC2EE42A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8e00aa69401d0d38a12c2f95fb3699d1c985994","datavalue":{"value":"5216245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429329$06210598-0AEA-49FA-A10B-6D4DFF9DC400","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429329$7D88FE6B-F918-43AF-BC9F-D06881879563","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":"Q5429329$B7349346-91B8-41B9-AB34-07521FD5A9B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74038794f3edf907abfc81c94e098d03cc932053","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429329$C4471BA9-CBEC-4716-A795-6E82932C9BC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3841d33ad92e9e5559cfa834f3b5b233f8255e96","datavalue":{"value":"W2129614355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429329$5A7C7D55-50F1-488A-87D6-2FCF70FB1640","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2696538655eff7c4a38970b7e67dbb3533aa4398","datavalue":{"value":{"entity-type":"item","numeric-id":3303915,"id":"Q3303915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a03e14c311b3a1fedb53e1d0921835e7369c601","datavalue":{"value":{"amount":"+0.772445559501648","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":"Q5429329$6B5D769B-9450-4378-A08F-4A2D856C3DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d929b264fad99bb657d5db3a0bca6afcd73b48c1","datavalue":{"value":{"entity-type":"item","numeric-id":526433,"id":"Q526433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d0677d3c10a5aea17a9c72ed093890e24f90d6","datavalue":{"value":{"amount":"+0.7114267349243164","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":"Q5429329$638C1B31-1896-40B4-9C63-3DF18ABC0AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c3df94f5c207596d5d70b2509de6585ff521d3","datavalue":{"value":{"entity-type":"item","numeric-id":4649293,"id":"Q4649293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c893ec85a9df7aaff14efea85c60e9721baeda68","datavalue":{"value":{"amount":"+0.7088095545768738","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":"Q5429329$E9094C06-DD3A-4A7F-B5D3-1E6EBA0B8EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6189f88de4a32173f1add599feb32e7058f72aaa","datavalue":{"value":{"entity-type":"item","numeric-id":5308435,"id":"Q5308435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"367c81eb30e34502600fdb8e82c4847eb8362876","datavalue":{"value":{"amount":"+0.6996594667434692","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":"Q5429329$334D3A34-1FEE-4505-81CE-767A4B23298C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ed970d72f8440b27e0323d2080af8bffa75899","datavalue":{"value":{"entity-type":"item","numeric-id":4931281,"id":"Q4931281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f031333894f5bac03b1112ba4e84182340460a","datavalue":{"value":{"amount":"+0.6985428333282471","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":"Q5429329$E4E3C914-0D93-48AC-8E68-4C6E078EF0DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429329"}}}}}