{"entities":{"Q5494306":{"pageid":7523866,"ns":120,"title":"Item:Q5494306","lastrevid":49946743,"modified":"2026-01-12T05:49:05Z","type":"item","id":"Q5494306","labels":{"en":{"language":"en","value":"Formal Methods for the Design of Real-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065252"}},"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":"Q5494306$D9AED06B-C01F-48FB-8130-7ABAE62B193A","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":"Q5494306$27465854-501C-4317-A4DC-FB2FEED35954","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c7693b0306d07f002c72f29becacba0d660a9b8","datavalue":{"value":"1105.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494306$BEE401A9-039C-436F-B3AE-C7A5927F0772","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":"Q5494306$8860BE9B-C086-4BBA-A356-DDDC48DF009B","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":"Q5494306$70F0B177-FE45-46C3-94F5-309CC9ACCEAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494306$4F6D65DA-B3B0-40CB-B8D3-DA3D2BDA0EBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce228bd3e1db27cf812103d34e0fbd57b6a04bc6","datavalue":{"value":"5065252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494306$0B69E378-3E00-4868-B365-6B65D556D3DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494306$873A33EC-0FFD-4612-BB7F-786E11CA418D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494306$CACE905B-BFCA-4451-B4E7-D1CEAD21D62C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494306$098784DA-E614-4111-AF81-6295556BE33F","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":"Q5494306$87364543-4A14-46A1-B934-A58CEE67B9B4","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":"Q5494306$E48AB1E3-F6FE-410A-B37B-DC1BED69F39C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afd910dfca581e3285afd6d4556d1978c72ae6ba","datavalue":{"value":"W36240330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494306$C53ADF41-71BB-4E75-87A4-8F1D80349CC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8811e86cb7c74978332d15845028632a152fc615","datavalue":{"value":"10.1007/B110123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494306$78442FC4-3AB0-4B31-BDE7-48A4845A3514","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94555c7eeb35d6115f563902ffd3a4f499d8bf46","datavalue":{"value":{"entity-type":"item","numeric-id":4461215,"id":"Q4461215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6b1ddd1d4f69b86379fb5b1709e7cfecb9508d","datavalue":{"value":{"amount":"+0.8402981758117676","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":"Q5494306$638C60FE-DCCF-42CD-BD73-85FEC47829B8","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":"79e69cebf05ccf432c11adae4986bc3634280c76","datavalue":{"value":{"amount":"+0.8354352712631226","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":"Q5494306$D0C06B34-CBD2-443E-9840-E535E741C02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490255716605ce96cf1af522799edeef2bc41829","datavalue":{"value":{"entity-type":"item","numeric-id":4917024,"id":"Q4917024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7790d3766d4b277daaee3d053480605146baa57","datavalue":{"value":{"amount":"+0.8348798155784607","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":"Q5494306$73317AEA-465B-48C8-A86C-68D7BC07D0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3751b25ddee7e7a23988e18877b748010d86111c","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c46db7e8a3994872234fc3ed7f7cb8ed013623a","datavalue":{"value":{"amount":"+0.8319920301437378","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":"Q5494306$129EAD22-3798-4449-8092-6DEDEE9BFD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55eba52c79c70f4952b7eb5c9f04aee1c310e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af73866b314c1828af82ad5f7c422c19a650b037","datavalue":{"value":{"amount":"+0.8319916129112244","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":"Q5494306$9DC35AAC-6F0B-456F-9DC8-E1125ADCAC75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5494306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5494306"}}}}}