{"entities":{"Q5494311":{"pageid":7523871,"ns":120,"title":"Item:Q5494311","lastrevid":49946773,"modified":"2026-01-12T05:49:06Z","type":"item","id":"Q5494311","labels":{"en":{"language":"en","value":"Formal Methods for the Design of Real-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065257"}},"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":"Q5494311$38A8CBC5-DD78-410B-817C-CC563A046351","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"935623bc39292d7d9346d6435b403fe762b5adce","datavalue":{"value":{"text":"Formal Methods for the Design of Real-Time Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5494311$CE4BD905-F1E0-44BD-AF91-E6C16250BD70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d6ddb7387587bf9139da662ff78a80fa0b39323","datavalue":{"value":"1105.68352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494311$74CC4DBB-26D5-4298-B4A8-51D42C13168A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20bf99fdb7ddd878f88c192741bf562f8917d0d","datavalue":{"value":{"entity-type":"item","numeric-id":537950,"id":"Q537950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494311$083DDBD7-499F-4B16-8DE8-228FE7015C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c02480a6f2acb40a62f3c1a600bbd033e6ddfab","datavalue":{"value":{"entity-type":"item","numeric-id":453527,"id":"Q453527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494311$5462E362-B340-4AA6-9A1F-31FB6C6DFD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d92a21f3235d3d2181a1443ad344f9c6903b61","datavalue":{"value":{"entity-type":"item","numeric-id":4431220,"id":"Q4431220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494311$BECDE48F-992C-4F7B-8E90-5550EC4869B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ce9b21f66f7b1391000947ec7fda3f94a822856","datavalue":{"value":{"entity-type":"item","numeric-id":2779762,"id":"Q2779762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494311$E3281874-8323-4501-8941-EB45CE4FBFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494311$88BC1768-13A8-44B0-8A60-D5D24568EB8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494311$07CE6A25-1500-4A05-9666-1E0727E5EDB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb1c73a77a4489229707cd4151cb39bc53664d9","datavalue":{"value":{"time":"+2006-10-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":"Q5494311$C0C3EC60-C912-4F30-8113-313F15459A15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494311$8CDB11AE-2276-4678-8A47-6593ADF17A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494311$D9D3AA53-3251-4D04-AFBD-618A582EF57E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6727739ee9c2d517048b31f771148169a2a59a56","datavalue":{"value":"5065257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494311$A0D0B9EB-785F-4A54-8900-4934AEE58BF8","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":"Q5494311$E1E69A0D-15B6-4FC5-B43E-0ED9787618A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb0091687f776c6b548eae89eebc3144c96fe59c","datavalue":{"value":"https://doi.org/10.1007/b110123","type":"string"},"datatype":"url"},"type":"statement","id":"Q5494311$D956CE2A-ED23-4995-BB8B-79B6520BE936","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afd910dfca581e3285afd6d4556d1978c72ae6ba","datavalue":{"value":"W36240330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494311$46352BB0-5DFD-4ABE-9F83-B4826988FD34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8811e86cb7c74978332d15845028632a152fc615","datavalue":{"value":"10.1007/B110123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494311$B3B6DCE2-D454-45B2-8C72-BCAC69A981CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286cc0a29cdce661292bd992b0a82e6211831be7","datavalue":{"value":{"entity-type":"item","numeric-id":4806206,"id":"Q4806206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646624c674ea88b875b3b801709ab2abce353bae","datavalue":{"value":{"amount":"+0.806580662727356","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":"Q5494311$853A07D7-DC62-49CA-A9EF-BEFADA8611EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e371fb061af056b3ef885380b90c31795d31fd16","datavalue":{"value":{"entity-type":"item","numeric-id":4551173,"id":"Q4551173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646624c674ea88b875b3b801709ab2abce353bae","datavalue":{"value":{"amount":"+0.806580662727356","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":"Q5494311$158B0D00-670E-47D9-83E8-37B9FEB6FAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b126435a9df190b2d3a7c4be3e8c248b007f380","datavalue":{"value":{"entity-type":"item","numeric-id":5308384,"id":"Q5308384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056ba9095bc87c9916cf5d53b85dd243ff7963b5","datavalue":{"value":{"amount":"+0.765357494354248","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":"Q5494311$7B086584-52A8-4612-A4BD-A14F37046B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d347909db590246446ba31d5dddc3be87dc7ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4532077,"id":"Q4532077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12de43b55e16eb2c44574e408e5d85f4a3754b5f","datavalue":{"value":{"amount":"+0.7157589793205261","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":"Q5494311$7629CDD2-CC64-4C08-AD78-02D6A9296BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cec1ccf2338f1842519f48848a5bad403424b639","datavalue":{"value":{"entity-type":"item","numeric-id":2763532,"id":"Q2763532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12de43b55e16eb2c44574e408e5d85f4a3754b5f","datavalue":{"value":{"amount":"+0.7157589793205261","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":"Q5494311$63C603B8-CEDA-45EA-89E6-F242CD62B5A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5494311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5494311"}}}}}