{"entities":{"Q5494310":{"pageid":7523870,"ns":120,"title":"Item:Q5494310","lastrevid":49946767,"modified":"2026-01-12T05:49:06Z","type":"item","id":"Q5494310","labels":{"en":{"language":"en","value":"Formal Methods for the Design of Real-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065256"}},"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":"Q5494310$33BA013E-6A95-4787-877B-016F09E02868","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":"Q5494310$0A1443DF-F389-493C-845E-0B164B023948","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cfb6f81600ff827e0fff53a18cc5ff1d3eccd08","datavalue":{"value":"1105.68350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494310$B1C76A6A-3C93-45F4-9805-E40DEE580EF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88e5bc3b7d845235ddc147465f5a930a5a657b3c","datavalue":{"value":{"entity-type":"item","numeric-id":169905,"id":"Q169905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494310$BA4AD23B-83ED-40E6-89AB-2BFB376A3915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2472f24de3f200b8d9fd7690c3d07a5f6f3b2a7a","datavalue":{"value":{"entity-type":"item","numeric-id":633288,"id":"Q633288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494310$9E7079D6-AD98-4AFE-AB85-52E484DDAC39","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":"Q5494310$2E5B3CF7-0ED2-41BD-A52D-6E919FD56F9C","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":"Q5494310$2D9F8ECA-554B-436D-8D31-312C10F90C36","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":"Q5494310$754ED6BC-454C-4365-9011-D03E50BEFB0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494310$DA491C44-3317-4E29-97CD-F4F5A6AF4308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494310$F575DE24-24B6-4CC2-9E6B-57A644D96A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494310$ED50D0D6-1033-4C7A-9082-FD8202F3DB79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73e55a1e6780b96dd665f63798de9e7b9eefa9f7","datavalue":{"value":"5065256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494310$920DAEBF-05C9-4243-8448-B3324DCF91B8","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":"Q5494310$69AC779C-31D8-4D6F-A1D4-57ABD85DD78B","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":"Q5494310$6601771B-1957-4B5E-88C7-78D84EE2BF71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afd910dfca581e3285afd6d4556d1978c72ae6ba","datavalue":{"value":"W36240330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494310$A393C56A-A1E1-447E-A8FC-5E4589B38DFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8811e86cb7c74978332d15845028632a152fc615","datavalue":{"value":"10.1007/B110123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494310$0804B0E0-45DF-4404-B7EA-6181FF4A4F34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d268add763ecbb41f2db6207f0c8e409265eec6f","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a4857d62a95949b23e733315c7842ee8f538cc","datavalue":{"value":{"amount":"+0.8666848540306091","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":"Q5494310$BE535A6A-928A-4BA8-B3F7-33FD9AE6DB8C","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":"3bedc52bf6a1d202305b9492c80efc8dd8ed6b6c","datavalue":{"value":{"amount":"+0.8337268233299255","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":"Q5494310$0AC9B0EF-7021-4C13-B8A4-13BFBEAF40F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70300925deee11814ec9a0e319950712d8339922","datavalue":{"value":{"entity-type":"item","numeric-id":1941900,"id":"Q1941900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bedc52bf6a1d202305b9492c80efc8dd8ed6b6c","datavalue":{"value":{"amount":"+0.8337268233299255","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":"Q5494310$2E8C80BD-97B4-45A3-A134-7E02F81AEE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1372bdb69ffda7f6288354b2e25e1c88d3694f","datavalue":{"value":{"entity-type":"item","numeric-id":2766550,"id":"Q2766550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9420dea9b9e33abf4a561b0a05eb874f49892c76","datavalue":{"value":{"amount":"+0.8010194897651672","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":"Q5494310$2A38DFFD-E44D-4012-9CDE-9D3B70F24C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e37e5d60cc234557cc37febbd6c437897cfa75","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ede4f3dd9a53777decca2691b4c744848dba9f2","datavalue":{"value":{"amount":"+0.7915530800819397","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":"Q5494310$D2591D56-A4E0-4308-86F8-D696729C9222","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5494310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5494310"}}}}}