{"entities":{"Q4989166":{"pageid":7018743,"ns":120,"title":"Item:Q4989166","lastrevid":58382667,"modified":"2026-04-04T23:43:11Z","type":"item","id":"Q4989166","labels":{"en":{"language":"en","value":"Verification and parameter synthesis for real-time programs using refinement of trace abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350465"}},"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":"Q4989166$98B2FE02-347E-41D5-93F6-76215F6308FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bc5dfe257c5320ebf2b72c505a3cc973d616da3","datavalue":{"value":{"text":"Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4989166$3EA53416-80D9-45D1-AEA3-92A004784454","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a09c2561d12f9159364d2088453659d0f5d3b7a","datavalue":{"value":"1478.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989166$EA5A5720-3E19-4FF8-A6C5-B5BCEDB55413","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"895ca98f86c5114dd85310b91bb39a06653897a4","datavalue":{"value":"10.3233/FI-2021-1997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989166$85E939B9-48D6-4582-B14B-F93753ECD7B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0cd92bc58c10a1fde8ab26d005df17543d6e92","datavalue":{"value":{"entity-type":"item","numeric-id":209127,"id":"Q209127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$59688753-5B98-4349-9009-68E23A607CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79f3563b7c29d7f6ae2a221eb0410084169a3fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4989165,"id":"Q4989165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$7EA3149B-EC28-435D-81C0-F380218168D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2dcd7be7baee2e36f03a03258eb2168c5e33821","datavalue":{"value":{"entity-type":"item","numeric-id":1675811,"id":"Q1675811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$EE319CA7-A354-4BA3-A3ED-004FE66F78E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$BD1D2C02-34C5-476C-A62A-AFAFB9370000","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e938dc58709e4bde71ac28c077c8f71a87560f","datavalue":{"value":{"time":"+2021-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989166$F8C05B71-D464-4AC8-8E44-E0303BA32C15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"154dbee863f98961d2d42b18ce7b5059cba5b641","datavalue":{"value":"https://arxiv.org/abs/2007.10539","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989166$1481EB8B-9B8F-45A5-9A43-C43272C62FAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989166$9A625122-0D03-443C-A9E1-3B8612D4764C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989166$E3615236-5B26-478F-BD2A-C644EC590CD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a0f6b708be2e1128861e1c0fde00ae43d62c14f","datavalue":{"value":"7350465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989166$D65E2C95-89D1-4065-B77D-D2D34BB5A1E7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$7338CDD9-8B88-4AFD-8CB3-A0386F496DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$B6B4809E-278E-4EB7-AA87-08C76DE83054","rank":"normal"},{"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":"Q4989166$C1A3ECA1-0F41-4DD2-B5AE-CD461E766FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$7D708CEE-2093-4A27-A1B7-19C56D9EF4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57b5cd5d4c684812e3cc62aecbd47a87db871c5d","datavalue":{"value":{"entity-type":"item","numeric-id":13197,"id":"Q13197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$0AED6F85-FBB4-4D01-82C7-EF63378DE4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$A88EE01E-554E-45A4-B09E-360FCDD99D49","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":"Q4989166$3542BAEF-E4C5-4C06-AEFF-562048DAC6E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"298af395929cd373ace63122df623c709572df9f","datavalue":{"value":{"entity-type":"item","numeric-id":1685776,"id":"Q1685776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$ED7797CF-4CB5-4CE0-A1E5-6FBF134E6D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$7AD3DF15-DECC-4F3D-B83B-5107B40F4012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde43aadb68c83ae4d51574dcef8cc0958b2d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$DF8D30B6-C742-4C3D-A62F-571BFC1A993D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09899429a67bba2cb2eb41accda0e85b57c28441","datavalue":{"value":{"entity-type":"item","numeric-id":2633620,"id":"Q2633620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$2417C23E-5A9C-4D2B-BCC8-6E77B5C6465F","rank":"normal"},{"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":"Q4989166$C2F797A2-66CF-4C99-B877-006FBF35FDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dc32dff08f7e062837373e4e0bb0cd53c724ad","datavalue":{"value":{"entity-type":"item","numeric-id":4536599,"id":"Q4536599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$229D5989-B2AE-4EDF-A849-B158AB15EBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$4B66CB33-A0B9-4CE7-B869-0ABA960EBA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$6B39EAAE-F8E4-4791-A6F2-E3A1B6730FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2d0a8110617ee9f1ca1a7b5364b4f661056b90","datavalue":{"value":{"entity-type":"item","numeric-id":3457811,"id":"Q3457811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$62FF8E23-0B28-488A-85DB-B1307217B810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa9bc0c20044412bf299e9ec2a05bd8c3c74c0c","datavalue":{"value":{"entity-type":"item","numeric-id":4736572,"id":"Q4736572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$94E6428C-8BD5-4E23-BDBF-A134E290A526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88053da80a11a27ba25efe3cc5797f5fa3925f8","datavalue":{"value":{"entity-type":"item","numeric-id":3510839,"id":"Q3510839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$6AB43745-446B-48D3-B7B6-49379E97ED5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09648fb46469011140ab8712b83801125017f5c0","datavalue":{"value":{"entity-type":"item","numeric-id":3523107,"id":"Q3523107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$45E1FBF2-DEAA-48D2-9F1A-5025F9F2A11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e581de2eab09c924ee255779128b4867065bcb9","datavalue":{"value":{"entity-type":"item","numeric-id":2475634,"id":"Q2475634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$B1E4FF91-9F5E-44D2-92FC-6639D71A4BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e224af4ec8d4140c6ec54c521204774f44beee","datavalue":{"value":{"entity-type":"item","numeric-id":4270057,"id":"Q4270057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$1C643598-45A2-4E6E-AF7F-A256943CE4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$BA6CF365-9C7D-46D0-8028-A74C9F448B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb4997204bc98e36e5e60323b8e6d191c059c22","datavalue":{"value":{"entity-type":"item","numeric-id":4559813,"id":"Q4559813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$05B40CC4-B162-4A64-8C48-591AB32102D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4f299aa7f0ff1c1bd7e0b1b9c60f417cf6ec1d","datavalue":{"value":{"entity-type":"item","numeric-id":2272910,"id":"Q2272910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$147BB430-D971-4CDE-8CF2-331AB4A79FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5af1966aa97a071d6c9257027b3435c8d88b98f","datavalue":{"value":{"entity-type":"item","numeric-id":5897964,"id":"Q5897964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$5B05FEEC-372A-4063-A70C-E3118D875219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8527c19d4b87441a19881bb3b6563c8608f1f387","datavalue":{"value":{"entity-type":"item","numeric-id":1944773,"id":"Q1944773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$8A75F44F-1374-40A1-A8CD-46B2165B6169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948eedddcf6803f08144f506d33a9d06d41c480f","datavalue":{"value":{"entity-type":"item","numeric-id":2453531,"id":"Q2453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$C93EB017-A9BC-44AA-BDD3-5B0EFE4476A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"547ea93e9e2f717f44952d9eb38757244cbb564e","datavalue":{"value":{"entity-type":"item","numeric-id":3460058,"id":"Q3460058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989166$065B62F7-97F8-42A0-A335-9F2E976C8509","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc04ea6abbd3d0ea3902450a3ee405ebb1481c4","datavalue":{"value":{"entity-type":"item","numeric-id":1685776,"id":"Q1685776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66dde77b997a309d2f6cf79eb5632dcdf8d01ab2","datavalue":{"value":{"amount":"+0.9413681030273438","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":"Q4989166$117D6784-E2B3-4CF2-BF63-B1474E80DB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb30a8d3db3ab4dfbf6481f503b09c28bfe4e15","datavalue":{"value":{"entity-type":"item","numeric-id":488231,"id":"Q488231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26be852203abbfaae2f6c129b4cdfaa7893d3529","datavalue":{"value":{"amount":"+0.7658392190933228","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":"Q4989166$0AAC9CB3-7EBA-4163-B898-7412E0E66BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28aeb70fe9076304df4ac04cdb7612c284156b58","datavalue":{"value":{"entity-type":"item","numeric-id":3172862,"id":"Q3172862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b46aa32cb1ed9c53723a306815f29f2755c0d8","datavalue":{"value":{"amount":"+0.7519304752349854","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":"Q4989166$D5EA790A-27CC-4F1D-8B4E-7BBC717F6628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b93186e530f81dfea244b26e03402cd97b7a27f2","datavalue":{"value":{"entity-type":"item","numeric-id":1589590,"id":"Q1589590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89500dd876b52ad265d34121bd03ea28b979b01d","datavalue":{"value":{"amount":"+0.7482239603996277","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":"Q4989166$F256EB8F-EBA2-4C9F-9FCB-C1CCFEB93D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf525635ff57f85e37544a8e7620ee948336ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1675143,"id":"Q1675143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b564c45a5a2581c1007cfd63f753f476c1353d","datavalue":{"value":{"amount":"+0.7376310229301453","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":"Q4989166$4CE06F6A-48BA-4D1A-95CE-9A0AA873DFA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989166"}}}}}