{"entities":{"Q877159":{"pageid":879007,"ns":120,"title":"Item:Q877159","lastrevid":65054715,"modified":"2026-04-12T00:00:32Z","type":"item","id":"Q877159","labels":{"en":{"language":"en","value":"An engineering process for the verification of real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5145024"}},"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":"Q877159$B237A49E-D11B-48CF-A60A-9CB915C0FCC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00da0245146ec7ba5ecf0cb2bcd1343d9acbf042","datavalue":{"value":{"text":"An engineering process for the verification of real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877159$B879F3BC-813F-40B0-AD9A-38EAB52D3538","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a2fe899555930d1daff7989636be6cf959d4c9b","datavalue":{"value":"1111.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877159$79AF1C44-B645-4323-A90D-9D6AFF18E0A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877159$1D04FDCA-6EFE-408F-9053-537BEE0AFF50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877159$D0EDA90F-48EC-40E5-9254-92BE43E9B44D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c162f292d55d8cae8f707bd4c33cce3b2222d9aa","datavalue":{"value":{"time":"+2007-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877159$571E0411-CBB3-45C4-8A05-A543F6A9F8CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877159$1A0A3A11-249F-47B0-A6ED-2E0DECFF8EA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c555c86b08e6f823532ba07fb60a28c793d540a","datavalue":{"value":"5145024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877159$5352409F-F6A9-403B-ABDE-A1E1EFE2CA4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59ac033d755086b32cd119393da4e196741a0eee","datavalue":{"value":"Scheduling analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q877159$378B6598-575D-414A-81D2-EE33C3A19A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fe098f2b87e9bf4de019b4e5c9b6d837f99b514","datavalue":{"value":"Ravenscar profile","type":"string"},"datatype":"string"},"type":"statement","id":"Q877159$9B1372B9-3A9D-4462-A166-8D42C6F8E2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q877159$F6128CCC-545A-4DDC-865A-DCBF6A3877CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad8a319e4928213107bdf90311c84fcbfea3e116","datavalue":{"value":"UPPAAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q877159$DA871F05-BF0A-443B-9CDE-FC622C4B2EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28937b2d41328338ef9c13842b70a6b3be703161","datavalue":{"value":"SPARK","type":"string"},"datatype":"string"},"type":"statement","id":"Q877159$407040C2-BAC0-4E52-AB13-A5056BAEF406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7add1333d1e849625e17cba270310e895187e790","datavalue":{"value":"Ada95","type":"string"},"datatype":"string"},"type":"statement","id":"Q877159$B123F81E-8EB8-41B0-8112-7DDEBDE3260A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc458551cf44661ceb3cb6385a6f52a6e3c93bd6","datavalue":{"value":"Rely/guarantee conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q877159$7D90B9CE-CF35-4508-B9B7-F20D631AC5E7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877159$A76934B7-9E51-45C5-802F-82D810E1A1E9","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":"Q877159$0190FF03-3D0A-4C68-879F-2C3191902CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877159$B196556E-D70F-44AD-A6CA-FA01B296A923","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":"Q877159$6490EE27-385E-4BE4-A194-DA1199CACB58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b68aa73626cb9de231dc4139abfd057fb06cf98f","datavalue":{"value":"https://doi.org/10.1007/s00165-006-0021-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q877159$AA3181D4-8593-40B7-8BA6-43095B69428E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee8293d8558fe03b6a8f7f339dff20a36df786cc","datavalue":{"value":"W2114443848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877159$5566E326-E6C0-4602-80B3-8BEA0CF66970","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877159$09EEF378-5C30-44CE-AA10-D30F4852A68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ec63bea625b06509e4372389dbe27861ae44d0","datavalue":{"value":{"entity-type":"item","numeric-id":4343983,"id":"Q4343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877159$82CF9D63-AE10-452B-B762-4317D8F5C9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db8093d4391061f48672aa24c65b34dbbe9dfbe","datavalue":{"value":{"entity-type":"item","numeric-id":4435361,"id":"Q4435361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877159$C8F2CBCD-8468-4A92-B4E2-B4778CB7BE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7470519bc10f2a005ff140469be5d8d581b53250","datavalue":{"value":{"entity-type":"item","numeric-id":5582060,"id":"Q5582060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877159$041B22FA-7EB4-4604-A4CE-543A10165F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea73c316535d221d474870ae19006e468ba7d51a","datavalue":{"value":{"entity-type":"item","numeric-id":3128862,"id":"Q3128862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877159$8C49F06C-015F-4F94-96C6-E10ED13C3388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2fa5133216b14614490f456ec9f05c5af9bfa07","datavalue":{"value":{"entity-type":"item","numeric-id":5681520,"id":"Q5681520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877159$3058A943-8E56-4379-AEEB-4523EC026480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877159$DC497107-8C5F-4EF8-BBFB-182BFA500C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20d9a0d8fcec59ca3830890e8440e61bc74c0ac","datavalue":{"value":{"entity-type":"item","numeric-id":3960458,"id":"Q3960458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877159$92DAFDF3-CCB2-4461-A6B1-D60F16E6A4C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f045b5e0777e8793e8801436c6d38366bc9b19c","datavalue":{"value":"10.1007/S00165-006-0021-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877159$698E5ADC-4DBC-4463-B343-E1342AB1BCBA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b3c15a01a7c9548c4ee7c055eb5d485cefdc2956","datavalue":{"value":"Q131117452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877159$95E4C197-53B7-4EDC-BB9C-45EF445D20A1","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":"4a3dd177c0bc226cbdaae50770c2ac1550ea775b","datavalue":{"value":{"amount":"+0.9279388","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":"Q877159$031B5777-8AE7-4274-9769-A20B3601B219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa06ce217adbff99102a1202be537c3e01b788f","datavalue":{"value":{"entity-type":"item","numeric-id":5754521,"id":"Q5754521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"732a4625c49db189a71282316b608905474f17a1","datavalue":{"value":{"amount":"+0.9142942","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":"Q877159$94F70261-1D7B-40F6-B8CC-9038CCB648B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ac331d4c42fed1202fac7a8c1d5b77b0444a17","datavalue":{"value":{"entity-type":"item","numeric-id":2764145,"id":"Q2764145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8115528890c97c7d20fe0163d5352f4e8fb4e942","datavalue":{"value":{"amount":"+0.9134997","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":"Q877159$0B35CA04-38EE-440A-83C2-F5EBC827AF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a14d21ab10836264c15d51494a3c642a02b4eb0","datavalue":{"value":{"entity-type":"item","numeric-id":3128862,"id":"Q3128862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6310c8eb68e9d96408511b9fe621e5d7feae281f","datavalue":{"value":{"amount":"+0.9083845","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":"Q877159$1C4A6D29-5A5B-4052-B277-9F19C56CA367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faee47b4481933b95332e9904ab6ead696d07aec","datavalue":{"value":{"entity-type":"item","numeric-id":479806,"id":"Q479806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7232645b2db1bfa9d13aaec71932f63bfd2393f","datavalue":{"value":{"amount":"+0.9034328","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":"Q877159$0E9CF0AB-65B9-442E-86EF-AB9050F21010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3979dec079f0048d6f66f3bd48eb788ff780fa01","datavalue":{"value":{"entity-type":"item","numeric-id":968306,"id":"Q968306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11e15bcfa90854648d187e8400dccc1925f8d78","datavalue":{"value":{"amount":"+0.90243983","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":"Q877159$363962E9-0C54-4C42-940D-724C1CE3314D","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":"bccdb625f3d5de242e4320e12a57541541393338","datavalue":{"value":{"amount":"+0.9005033","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":"Q877159$F05DC8B6-0CC7-4074-B901-5C6811E4499A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b367df8d3fcef08c34a425dfc60fd1d73e861","datavalue":{"value":{"entity-type":"item","numeric-id":5464052,"id":"Q5464052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"092a7646694d4d264da704568baef5e04258587c","datavalue":{"value":{"amount":"+0.89363146","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":"Q877159$859B5AA7-541A-490D-B844-63CF62DE7EF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An engineering process for the verification of real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_engineering_process_for_the_verification_of_real-time_systems"}}}}}