{"entities":{"Q5423882":{"pageid":7453456,"ns":120,"title":"Item:Q5423882","lastrevid":96261461,"modified":"2026-06-05T10:48:34Z","type":"item","id":"Q5423882","labels":{"en":{"language":"en","value":"Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5207674"}},"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":"Q5423882$8B02838E-7D30-46F3-A04C-BB9D3C88E7FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb1c2b7b8556a4278b90c949c8dc624175b581f7","datavalue":{"value":{"text":"Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5423882$30EE675B-EFB3-4E6E-987B-C8296C10F9A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a049fda74f1a660fb8810a42b0965672446d6221","datavalue":{"value":"1196.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423882$CC620224-1BD5-49E1-BF4A-EF30F83A572F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"805a065fc6adb25531ca88b2f77462a068fa115b","datavalue":{"value":"10.1007/978-3-540-74128-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423882$8F23E0B1-ADCB-445F-B74B-EEBB9E3BC688","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0da8fce251f678eb843710c76aaf8c91a126fcee","datavalue":{"value":{"entity-type":"item","numeric-id":514136,"id":"Q514136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423882$870D043E-46D1-47B5-A6D6-679911A4E9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94641c8c41609ae12c24fccaf13910d4ca73205e","datavalue":{"value":{"entity-type":"item","numeric-id":2723917,"id":"Q2723917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423882$A7B3843A-2413-467F-AAE9-8CB982273263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423882$9BABACBA-C77B-459A-B27B-F6B8F0FAE562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcfcdc1e4557e8d6244f4a4a58a1a4c94b3e3f51","datavalue":{"value":{"entity-type":"item","numeric-id":3000657,"id":"Q3000657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423882$65DC68A1-3258-42F1-9432-5325904BED99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423882$2FD40D1B-81AE-44B5-9E0F-DC30D53EC0A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e30f5c42aad001db063f687525b9c7c698118a50","datavalue":{"value":{"entity-type":"item","numeric-id":3003423,"id":"Q3003423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423882$8C6A57E4-785E-4DFE-B746-C5600EF09E55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87a96649daacfeeba0041267c016b2297b06f3bc","datavalue":{"value":{"time":"+2007-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5423882$E34E8D3D-EE46-4A7C-BDA6-DCCCDFF30359","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423882$409C5065-0516-497B-9588-D088A2662397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423882$BA2D7CA6-C730-463B-8E0C-07B07D5BA26C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91922bee805d7aafb5a193d9adb9042da10b3295","datavalue":{"value":"5207674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423882$0D4E0EC1-A255-47D7-BF09-441D6E02ACEB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423882$049132A3-0E50-4227-894B-70C723D0E73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9e88abc913a4b4fba265878f62bb009e36efad","datavalue":{"value":{"entity-type":"item","numeric-id":17099,"id":"Q17099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423882$5E4A372D-6C0E-45AA-B1CD-A0C8A8C206B2","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":"Q5423882$B779085D-BD3F-4CE8-952D-C6D16C7EB46B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ebcd415b44ff7dd030036e1e6875fbcc97faf45","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74128-2_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5423882$1EFC994A-85D5-47ED-86B3-79434D97505C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25e1184cd4f72e12cd41d806c1ba621604161679","datavalue":{"value":"W1545265909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423882$65057691-5278-46A4-9E9A-08DB204221B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7de3722ed636c8f8489cec00c41ba0042963140","datavalue":{"value":{"entity-type":"item","numeric-id":5310681,"id":"Q5310681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a5d45149c16bb92a86261527edf1845f6f3f64","datavalue":{"value":{"amount":"+0.8462932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5423882$6BE5BDB1-4AA5-477B-B4D4-ABC13FA6A6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"999375bb39403446b655884783d866a5eae1eecf","datavalue":{"value":{"entity-type":"item","numeric-id":4287476,"id":"Q4287476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b634bf38a32871c5718c6417149ce4ddff27788","datavalue":{"value":{"amount":"+0.84199053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5423882$5C1A47DD-EAC2-4000-8260-2837F772A5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac78345bf4b123188e46cf39b9cc0686336332c","datavalue":{"value":{"entity-type":"item","numeric-id":5310686,"id":"Q5310686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7412fcd6600b260a6b50bac45d98b1cb9193523a","datavalue":{"value":{"amount":"+0.83910644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5423882$2CB15FDA-243D-4B10-BDFF-6516C0CB31DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b91559bd30f3b8b0605475a027817190720da81","datavalue":{"value":{"entity-type":"item","numeric-id":5716593,"id":"Q5716593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7412fcd6600b260a6b50bac45d98b1cb9193523a","datavalue":{"value":{"amount":"+0.83910644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5423882$1BB5C135-C28E-4609-9F08-1F5DDE4CD22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b85eb390ca89c4206ca5aece9f558858df6a1ea","datavalue":{"value":{"entity-type":"item","numeric-id":5898619,"id":"Q5898619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3362bb9140279fcb0529b293e79b51e3c71e493","datavalue":{"value":{"amount":"+0.83852124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5423882$B5959249-E5EC-4E90-ADFB-183129E21774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f665c572367093997ece4b413563438c29d28d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4571129,"id":"Q4571129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e536f5ff4a1ead39b30f43c1422b088b941209b","datavalue":{"value":{"amount":"+0.83704334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5423882$8C02BA63-2A19-46CA-A55E-F259DD0B99F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161118802484d431fcfd10386c29a1c76fdd246c","datavalue":{"value":{"entity-type":"item","numeric-id":549686,"id":"Q549686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813c1506fd41d39d1483e47a55bf2ca6d81c1de0","datavalue":{"value":{"amount":"+0.8361307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5423882$357AD925-D477-4FC6-A4B3-F615F6D60A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06955dffd6e327f4d11c4c479c99ae3ef1bd848","datavalue":{"value":{"entity-type":"item","numeric-id":3605465,"id":"Q3605465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813c1506fd41d39d1483e47a55bf2ca6d81c1de0","datavalue":{"value":{"amount":"+0.8361307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5423882$22986BE1-54D2-448D-A20A-51AE0548F69C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL","badges":[]}}}}}