{"entities":{"Q5403466":{"pageid":7433040,"ns":120,"title":"Item:Q5403466","lastrevid":75508711,"modified":"2026-04-19T07:41:09Z","type":"item","id":"Q5403466","labels":{"en":{"language":"en","value":"Refinement-Based Verification of Interactive Real-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6274297"}},"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":"Q5403466$85051E26-60BC-493F-B261-C7ADEC19ADFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50a11756bb6172fc2d3fc30b11a349b8bf3e5751","datavalue":{"value":{"text":"Refinement-Based Verification of Interactive Real-Time Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403466$B93D4702-3965-4692-9B49-91A90620B615","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cce8a4b03fb57ee60ef46d775ad37af01ba44cfd","datavalue":{"value":"1283.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403466$09673E09-82D9-43F8-9DCB-0DAB5C98B483","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b67896a52198174de17d88a34b079ef9f884f8","datavalue":{"value":{"entity-type":"item","numeric-id":1019014,"id":"Q1019014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403466$D369A49A-0AFA-49E4-A413-299306F9DD4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403466$C7F870B9-D53E-40DB-9B04-C58EEAFF98C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c143ccdb05c90aaaa52d92c2334883df4c472b19","datavalue":{"value":{"time":"+2014-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5403466$6221D046-C369-4617-91E1-BEF7C0C0F40F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403466$3F58D2DD-5FC6-43B9-B74C-3AB44367131D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403466$9C8B5B01-2955-4A4D-AE84-D8CAA16502D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403466$A2C7AB2C-8DEA-469D-97C9-CE9D04FC5854","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83f9a56ba641c4a2168657b0101195bf5b30f848","datavalue":{"value":"6274297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403466$254CAEE4-62E4-44BB-A14D-5BDB290E264F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403466$8E5299D3-670B-4BC6-82FB-44CCED4D69FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403466$06E58474-63F4-4A77-B787-0228A0B07E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403466$00C42C42-C982-4337-990B-913FF0A8C9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403466$FEC70A12-8A24-443F-A1A4-E38151F5E9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0c99772ef32cef00df8b5b561b5901be033f2b5","datavalue":{"value":"automotive gateway","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403466$0DD97CFA-6E71-46D6-8B67-6E774E9380D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403466$87DE6004-74BD-46D4-857C-4E760ED854B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403466$E38D7B44-9A5B-44E7-8CF7-0637B19E73C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403466$871E5E3C-825B-4785-983E-3AF9B3E7F3E1","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":"Q5403466$27AF3510-9EAB-449C-9227-F2F79B6BC1B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34d0f0987f79cf47b24bd4e5a1102a15df09036e","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.06.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403466$DE1DCEBC-BF1A-4188-8F82-7F2AA44B44DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb7ee9a76c828a365169c8faa0d9db704051dce1","datavalue":{"value":"W2093121316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403466$A3058035-FA75-47AC-BDFB-D9F20E34E1E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403466$FCB97CDC-A291-47B7-88C2-377C7C024AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37e3b54a51ec9497c60c0d5b1c6f19eca90588d","datavalue":{"value":{"entity-type":"item","numeric-id":4208877,"id":"Q4208877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403466$BDD8A166-0C3D-4C94-B1B3-D1A4E4373441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06b2fdac97c9732711ef16445649809b33affcb","datavalue":{"value":{"entity-type":"item","numeric-id":2725941,"id":"Q2725941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403466$AEA9F86D-D822-4885-8E48-B356C80B8C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403466$BBD47EB2-56E3-482A-A6CD-43BBC09FBB3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b7169cb434d9c1e7362f0c921a5beacd820092f","datavalue":{"value":"10.1016/J.ENTCS.2008.06.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403466$C181AF6F-2C2A-49BE-BCA8-41391BC6A92F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea077fad68d85be405c8b9f8b76db8c93653b87","datavalue":{"value":{"entity-type":"item","numeric-id":1346652,"id":"Q1346652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661490b2c8633c05452da336a89656c99554f1fe","datavalue":{"value":{"amount":"+0.9144753","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":"Q5403466$AB9CF391-0C77-4BC4-A80A-9292B49BAC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3005a3ed7c93b95f599b331687e586e72eea8f","datavalue":{"value":{"entity-type":"item","numeric-id":3999508,"id":"Q3999508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952252898ed04acc65d78506fdd3094ac7bdf896","datavalue":{"value":{"amount":"+0.91068816","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":"Q5403466$C4D4856C-451C-4F42-9905-B1B57F11378D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f178f6d6899337c82b7efea85b79c9996a71276","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952252898ed04acc65d78506fdd3094ac7bdf896","datavalue":{"value":{"amount":"+0.91068816","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":"Q5403466$51EEE142-DE4D-49F5-9E6D-7F04F1C2D118","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":"fed32c95f7e77adcfef28c7e8c5775b6fd8cb920","datavalue":{"value":{"amount":"+0.9080991","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":"Q5403466$C79E7253-0DED-41B4-AC15-C6F4105DD456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd60482142399ea4d453b1435060598d1ae83ba","datavalue":{"value":{"entity-type":"item","numeric-id":4802384,"id":"Q4802384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a92144c40671b9de094c5a8388b84412e427d0b","datavalue":{"value":{"amount":"+0.90129","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":"Q5403466$7E3B3E86-18C9-4611-9A32-EB4C014603B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb15dbe19849588caeb895716de1ff3c5a04ec9c","datavalue":{"value":{"entity-type":"item","numeric-id":1331923,"id":"Q1331923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cae2cfcd1fbf53b42a2e3cfc23b7aa68370701c","datavalue":{"value":{"amount":"+0.89734954","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":"Q5403466$F774D603-1D72-437A-BCFF-8F30EEAA4BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76e16a4b33fef2d7db8e9ad818e844652193261","datavalue":{"value":{"entity-type":"item","numeric-id":2703729,"id":"Q2703729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a4c9f3d6a072ff8daf2cbe433ce8835a422fb7","datavalue":{"value":{"amount":"+0.8957479","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":"Q5403466$8B93B923-68EE-49CD-A5B6-DFB338876093","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refinement-Based Verification of Interactive Real-Time Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refinement-Based_Verification_of_Interactive_Real-Time_Systems"}}}}}