{"entities":{"Q5494307":{"pageid":7523867,"ns":120,"title":"Item:Q5494307","lastrevid":49946752,"modified":"2026-01-12T05:49:05Z","type":"item","id":"Q5494307","labels":{"en":{"language":"en","value":"Formal Methods for the Design of Real-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065253"}},"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":"Q5494307$BCAD957A-88AD-416A-9995-37EE663584DE","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":"Q5494307$F5F6684F-C874-47DC-8C27-F382F4B628F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ed04f3844efa4ecbdc6cf9dc781760ef1d75479","datavalue":{"value":"1105.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494307$2D3FF854-0AAF-4D4D-88EC-91E8AF00E792","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e01204fa4ced67d6ef906a93fa1788488b4ae4b","datavalue":{"value":{"entity-type":"item","numeric-id":2465028,"id":"Q2465028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494307$27E24BE9-A27C-486F-87C4-C7B42A269BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee65a70d0957435b8677048012b64cd699e6f41","datavalue":{"value":{"entity-type":"item","numeric-id":236445,"id":"Q236445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494307$974272A1-02C1-4CAB-B433-2EB9D9C494E1","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":"Q5494307$3C9E387B-FE23-4086-895E-0933D93EF2CA","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":"Q5494307$2137FA49-E5E5-415B-AFB3-E2A757D19AE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494307$D93C17C4-DA86-43A8-AA51-67EF72E5E327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494307$A84D1201-2444-480F-AE34-3408F03C1EB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01865efe57c4fe51dec6c5e5e3c1046026a97e7f","datavalue":{"value":"5065253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494307$BD685C36-E9C4-463E-B3A6-B0859EC6DDB9","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":"Q5494307$A183B17A-34DA-4A50-92D8-A8EFD1BBB9E9","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":"Q5494307$FA212E9B-12D1-4C8C-A7F5-2E068603DDF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afd910dfca581e3285afd6d4556d1978c72ae6ba","datavalue":{"value":"W36240330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494307$39C4B5BC-2FF2-41A8-88EF-6DF2554029E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8811e86cb7c74978332d15845028632a152fc615","datavalue":{"value":"10.1007/B110123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494307$72C2008F-E4EE-4BD9-8FC2-3A09ECE56666","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6328f72c0b4573a75cd628c106ef2d70d451c9d","datavalue":{"value":{"entity-type":"item","numeric-id":1854325,"id":"Q1854325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9297d820f36c1f1a9b11d57417a154fc0d689d5e","datavalue":{"value":{"amount":"+0.8350106477737427","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":"Q5494307$0ECE38C0-2BE7-41CB-A8C8-4E80E1965F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f84430ddd274ed8f91a8994ad984c8a0fae2d21","datavalue":{"value":{"entity-type":"item","numeric-id":4222914,"id":"Q4222914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2050ca373f1ee93c73d6ef6cfcca0c0e7b9c2a4","datavalue":{"value":{"amount":"+0.8347198963165283","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":"Q5494307$CF6FA6EE-82D0-4FD6-8728-084540B3CC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea39247c352d6f828eb291893e927bd3dd525870","datavalue":{"value":{"entity-type":"item","numeric-id":4458491,"id":"Q4458491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298aa2b2fb36e11881b4766c85751e6803b068f6","datavalue":{"value":{"amount":"+0.8244315981864929","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":"Q5494307$6662F3FB-DCB0-4F4C-8111-CC68119EBA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98b2285a4da37bced6b470ca74a12fbe08531c9","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52313f91201cbfff41c2e7b661bb7f2cfc350c0e","datavalue":{"value":{"amount":"+0.7858074903488159","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":"Q5494307$97ED0EAB-687B-4BB1-B86E-AFDD59197B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698f3a8517cd2f612ff0927b644bcde74fc6949d","datavalue":{"value":{"entity-type":"item","numeric-id":5494306,"id":"Q5494306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a585b0e7ff7aa2c1aa76a0f6afbc499dea631fb","datavalue":{"value":{"amount":"+0.7842189073562622","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":"Q5494307$397462FD-E13D-4114-B564-98689AA655D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5494307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5494307"}}}}}