{"entities":{"Q5494308":{"pageid":7523868,"ns":120,"title":"Item:Q5494308","lastrevid":92484779,"modified":"2026-06-05T01:49:32Z","type":"item","id":"Q5494308","labels":{"en":{"language":"en","value":"Formal Methods for the Design of Real-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065254"}},"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":"Q5494308$401E371F-AA32-4687-87E8-C558C3B26DEE","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":"Q5494308$25A766EA-0674-492E-880D-2F07CFAB064E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f85adabbe37e62c0366a02aa9c79c8cd54f07b06","datavalue":{"value":"1105.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494308$055764B0-5D4C-4921-A550-7B140689588F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd47acd96f0440798f39dda095f401684e2f8bb","datavalue":{"value":{"entity-type":"item","numeric-id":347392,"id":"Q347392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494308$9746455C-8F4C-429A-A6CB-EF0572D6A062","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":"Q5494308$D48EAE5F-E6D6-4335-897B-831B4199822C","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":"Q5494308$DFBEFF49-F720-47B0-957E-3265D75BAAEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494308$559ADC10-BE30-4AD2-9F36-1B07CE185418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494308$F2585B51-8494-4D39-B6C1-9B1EE3BE689D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494308$C66932E8-B9E4-4937-9534-9899B4496BDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47456974dbd52bf34f4c71ed687d6fb0c3257583","datavalue":{"value":"5065254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494308$D1CD09CD-3D68-49DB-B401-36FD479168DE","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":"Q5494308$2A391BD8-D611-49D3-A2E7-162BE204B3D8","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":"Q5494308$D5375096-99F3-4ED5-96B0-146BC9FF8AC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afd910dfca581e3285afd6d4556d1978c72ae6ba","datavalue":{"value":"W36240330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494308$373EC140-2168-4E25-87C3-1B5C64440C9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8811e86cb7c74978332d15845028632a152fc615","datavalue":{"value":"10.1007/B110123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494308$8D3D8902-877A-4582-B054-C939923104E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2d7cfce6220d8187af21beae6c78053984679a","datavalue":{"value":{"entity-type":"item","numeric-id":1603705,"id":"Q1603705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007cf5139f7c9481c90386c2611f5f75e427de2d","datavalue":{"value":{"amount":"+0.890714704990387","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":"Q5494308$0A230F9F-913A-4D8B-AD99-E89347300A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"985e3c64a250e4f84eff4f4e881a0c6cdcc1902b","datavalue":{"value":{"entity-type":"item","numeric-id":2842863,"id":"Q2842863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143f54228d51e290bf70ca224c0a4b2ea4f43f16","datavalue":{"value":{"amount":"+0.8589308261871338","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":"Q5494308$38261FFB-AAF0-4F7E-834C-4719D6F76905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2cfa7bbd1da9e67ffa99886141b3e6b0f1c142","datavalue":{"value":{"entity-type":"item","numeric-id":3613667,"id":"Q3613667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a81e626500a3d1f68b6730b1463f4989185c8b9","datavalue":{"value":{"amount":"+0.7800821661949158","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":"Q5494308$50B1D128-6401-4E8B-BBF8-ECD7CBE59A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebbb69105ec072a52dce7180b7483c299f0a6208","datavalue":{"value":{"entity-type":"item","numeric-id":4547773,"id":"Q4547773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca180ae85d00be564edce3afec8873b440806dc","datavalue":{"value":{"amount":"+0.7715895175933838","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":"Q5494308$A87061CA-0753-42F9-AF28-1E71AAEAEA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4fdaedf6b3229b04923dc2703be70cfa9e41b3e","datavalue":{"value":{"entity-type":"item","numeric-id":5325834,"id":"Q5325834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fddd807f13d13e09b16cdb8f9b80c2b669a02e0","datavalue":{"value":{"amount":"+0.769622802734375","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":"Q5494308$973410A4-8A14-4498-899A-690C0507932C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods for the Design of Real-Time Systems (scientific article; zbMATH DE number 5065254)","badges":[]}}}}}