{"entities":{"Q5494312":{"pageid":7523872,"ns":120,"title":"Item:Q5494312","lastrevid":49946782,"modified":"2026-01-12T05:49:06Z","type":"item","id":"Q5494312","labels":{"en":{"language":"en","value":"Formal Methods for the Design of Real-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065258"}},"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":"Q5494312$88538B5E-5BD9-44B8-BC47-112EBEC16990","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":"Q5494312$28E41DCB-1DA9-4E3D-8F0B-8D40679B0250","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3ba41fd29723805c2af98c14a4e095dfbcb2788","datavalue":{"value":"1105.68335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494312$75DE165D-E6A1-459C-BFEF-8F2B74799613","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e35d19e15dd76dfcd47c690e84c8e0e2d5203b2","datavalue":{"value":{"entity-type":"item","numeric-id":3588099,"id":"Q3588099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494312$57FAD190-3B65-4C6E-B9D5-731F847F14C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cd0fe0fcdd3e093175ea7fa3d73a935f2093438","datavalue":{"value":{"entity-type":"item","numeric-id":4798035,"id":"Q4798035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494312$3B51C663-1912-4440-B49E-F97764FE92B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494312$C08360F0-1A84-4498-BFF3-67572A657CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494312$665F00AD-763B-4B2D-8CD8-1F2E4AB89A7D","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":"Q5494312$4C11BBD3-157D-4E0C-B61C-4ACACDBEE6A7","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":"Q5494312$BDDD0042-F085-4EDB-A10F-D2721CAAA309","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494312$712435E8-552B-4BBF-89B3-75E7267B6E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494312$1074E1CC-F62F-4B98-A4AB-D16E6C460E28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3aee9f981a57e9ec2032eacae90ceb9889494d0d","datavalue":{"value":"5065258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494312$8AAD61D6-FAF1-4DE3-BB44-82A3EB78A089","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":"Q5494312$F22D47F9-0A34-455C-9D45-26365002F48D","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":"Q5494312$AB65A2B7-8DB7-45B4-B20A-6074DC6B6468","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afd910dfca581e3285afd6d4556d1978c72ae6ba","datavalue":{"value":"W36240330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494312$678E8B09-5787-4CF9-B373-1472A39FF9C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8811e86cb7c74978332d15845028632a152fc615","datavalue":{"value":"10.1007/B110123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494312$1E6E8371-AF82-49AE-B661-EEE95DB66708","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495da19965f518d6291549f889ec263dad3c9808","datavalue":{"value":{"entity-type":"item","numeric-id":4798036,"id":"Q4798036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808c605792af62a589c277b1469ae4d5c4a35997","datavalue":{"value":{"amount":"+0.774674654006958","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":"Q5494312$50F5B248-97F8-4239-AF21-1381146DF733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd1badb9efcb9844eca06da02d800c989a5c50e7","datavalue":{"value":{"entity-type":"item","numeric-id":5175771,"id":"Q5175771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f780cc1c8cd776699a0eebfcd7ad3c24f8a7b746","datavalue":{"value":{"amount":"+0.6984471678733826","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":"Q5494312$8B928935-036F-46A9-A9A8-13D367217267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44d08ce91c358e8e22b4873bfd10e9b0f9536215","datavalue":{"value":{"entity-type":"item","numeric-id":2248073,"id":"Q2248073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8836079629c81be0e1cf6e2d3b789b8ead0c8d4f","datavalue":{"value":{"amount":"+0.6950739622116089","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":"Q5494312$D68E36F0-BD42-4910-B911-321ACAB34B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d174261487b62fd08ce52ca52bf601871b74d81","datavalue":{"value":{"entity-type":"item","numeric-id":3614665,"id":"Q3614665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea909aef1f549e980f09226c2fc7dc6c6e67d83","datavalue":{"value":{"amount":"+0.6895973086357117","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":"Q5494312$DE1FB72D-7451-4DEB-838E-39D73A2A38C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dce0780fe4160436b11747e34266e8ffcc13a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4473703,"id":"Q4473703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a6a7fffd23bb9099731fe2b43e56fc875d6e73","datavalue":{"value":{"amount":"+0.6840419769287109","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":"Q5494312$E8E99761-3AD9-440E-85C3-25F18E024384","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5494312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5494312"}}}}}