{"entities":{"Q832038":{"pageid":833886,"ns":120,"title":"Item:Q832038","lastrevid":64673871,"modified":"2026-04-11T21:28:05Z","type":"item","id":"Q832038","labels":{"en":{"language":"en","value":"An integer static analysis for better extrapolation in Uppaal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498002"}},"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":"Q832038$72EEC9EA-A4DF-4A0D-AD05-C1D135B42491","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f62022dc920b924131e59dfaa880331bd99287f","datavalue":{"value":{"text":"An integer static analysis for better extrapolation in Uppaal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832038$DFA55257-C7D0-412E-A271-84DDEF5B7EEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e60a9c275718781e7e6299d4fd9a2e97ee816da","datavalue":{"value":"10.1007/978-3-030-85037-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832038$0EBA5995-C143-48F5-AF09-B85BC7633B00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02adb38cb5025542b796439476b67705f9b92aab","datavalue":{"value":{"entity-type":"item","numeric-id":832034,"id":"Q832034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$EC4D94D1-1CE7-4118-A4F5-10C43B261FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a8e98a5083f79cbdcfffcabdbf5161329e9df5","datavalue":{"value":{"entity-type":"item","numeric-id":832035,"id":"Q832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$A8ACC143-EF00-4AC6-88D2-A141FBFC9FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$AABCA3F7-822A-44D0-8864-A4C0FADB06D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2df95935df03df31d922a94adcaf961a4ef2c34b","datavalue":{"value":{"entity-type":"item","numeric-id":832028,"id":"Q832028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$76D50582-D9D2-4ED1-9285-33DA3B8D0443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6678210f4de2ac5d65edb01d41117781c62da1cc","datavalue":{"value":{"entity-type":"item","numeric-id":832036,"id":"Q832036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$E6C99E26-4531-4982-8B56-2AED3B6527EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63b71c7a97dadebec2b96db29f2fbef3b907d7f4","datavalue":{"value":{"entity-type":"item","numeric-id":832037,"id":"Q832037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$A020CB7C-06A1-4771-884F-AB791DED6B09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee216241628d7ab3ed1211164658dc9e68b98545","datavalue":{"value":{"time":"+2022-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832038$41C00FA7-ADBA-41B3-AE18-C85B4E874C51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832038$8573568C-49F1-41B6-AFF6-6E36DCF96A9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"772cee10436b30480d874eea8831dd0f5ea617ea","datavalue":{"value":"7498002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832038$F4ED3565-37EA-40E3-8C37-EEB02167C3D9","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":"Q832038$755A6114-45EA-4061-AB48-6B0F9543CCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$8965FE35-7F62-4562-AB25-081D8B65F501","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":"Q832038$B4C0DAD8-8F68-487E-82C1-B1564C4640D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fecff1bf0214579f12aa68712547005d2887b2b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-85037-1_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q832038$0DB59C3E-414F-4DB6-8AE9-BCAE801FF009","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77ff02533a2060bc16871db1879777f2efab0f1f","datavalue":{"value":"W3193958058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832038$51BF2F34-DC9B-4631-92DA-A261924C153F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$7393BF2C-CAAA-4554-B0B1-779D680E4AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$93D4A247-E423-4862-A752-E45214FF887C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a83cc9aaa4ed6efdda4673399118f84fcef2cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4417927,"id":"Q4417927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$0B0355A6-0DC0-4192-9D53-9437AF44DED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a459d2db3f32657a2d6999b1e05297d4d9fbbded","datavalue":{"value":{"entity-type":"item","numeric-id":5308415,"id":"Q5308415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$CAAD3B4E-2346-48D6-9C4E-0438D404BCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d598e5c45bd555eb3e64d7d6775d5a1517a017bd","datavalue":{"value":{"entity-type":"item","numeric-id":2986813,"id":"Q2986813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$457868CA-2002-4170-8602-56E98FF1BD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$4BDB19E1-DF49-4D47-AD47-2CD07CDDFC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0385beb476f74347b6caaa53186c3cdca7a2f3","datavalue":{"value":{"entity-type":"item","numeric-id":2568443,"id":"Q2568443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$847E222B-4A4E-4391-A99E-E81A4E61FFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8481ab9e0e91b3afb04a32356b810f59e0965e55","datavalue":{"value":{"entity-type":"item","numeric-id":4633550,"id":"Q4633550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832038$D27E2EF2-2008-4FA4-826F-FEC66D7B076D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d198dd6645ca3725c03bfd2d1553d43a00bcd19","datavalue":{"value":{"entity-type":"item","numeric-id":3075485,"id":"Q3075485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d49f0115ecbe267d9298d7e0bc2a6345b25af40","datavalue":{"value":{"amount":"+0.85157084","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":"Q832038$8CA7C8E5-934D-4C0C-BA2E-C57E7717485F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5267c6adcf54f14f1cc0a728425d3ba3b6a0b25e","datavalue":{"value":{"entity-type":"item","numeric-id":2814107,"id":"Q2814107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc180584971dde46f7f01a72045f5f69f3151fd","datavalue":{"value":{"amount":"+0.8395612","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":"Q832038$DC2D314A-5EEE-43C5-88FB-822EB1749B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"333f47c8ba385313ed8a0362785371673d2b9bba","datavalue":{"value":{"entity-type":"item","numeric-id":3613374,"id":"Q3613374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f20e81496e000aecc38fa255306d6acd280dc6","datavalue":{"value":{"amount":"+0.83075416","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":"Q832038$A6EC289E-9F7F-46F0-AFB1-75532FE1087B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87ec311a15d8827e2fadb0daf39bcac965bfa22","datavalue":{"value":{"entity-type":"item","numeric-id":3455540,"id":"Q3455540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01151d6a67a19219ff34a8d89ec58a7514969d17","datavalue":{"value":{"amount":"+0.8279326","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":"Q832038$1E2CEDF4-5224-4E7F-8C15-812E27994349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b58f347c2e55215d9020f8b65dddb90d89180f","datavalue":{"value":{"entity-type":"item","numeric-id":5897435,"id":"Q5897435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9b86c4f19018c77f95fc634f332ae30a355a6f","datavalue":{"value":{"amount":"+0.824759","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":"Q832038$1B1A3CF6-D471-4982-95E4-A899869DA196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d9869bec64e2d387ce806f153416d146cce5859","datavalue":{"value":{"entity-type":"item","numeric-id":4233931,"id":"Q4233931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d569ce3aeaac33aef02c3d76595483ca70303bac","datavalue":{"value":{"amount":"+0.8226194","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":"Q832038$D7C381DD-23E8-4375-B9C5-82CF012C66CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13345ee89c0953919eb4b9f61b0e941d455b9a34","datavalue":{"value":{"entity-type":"item","numeric-id":2796053,"id":"Q2796053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5386f6c7adfa79febf582d4b37afbfa253be3781","datavalue":{"value":{"amount":"+0.82219934","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":"Q832038$6ABA7869-9F5D-43FC-BD22-8820FB015B9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An integer static analysis for better extrapolation in Uppaal","badges":[]}}}}}