{"entities":{"Q5494309":{"pageid":7523869,"ns":120,"title":"Item:Q5494309","lastrevid":49946761,"modified":"2026-01-12T05:49:05Z","type":"item","id":"Q5494309","labels":{"en":{"language":"en","value":"Formal Methods for the Design of Real-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065255"}},"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":"Q5494309$BA7691CD-861B-4D64-A610-05D362F8AABF","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":"Q5494309$834CD2B7-B61F-4025-A317-8F8946C0ED0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b672c8372ff0c68a8e35052d35f41a6ba7e0e05d","datavalue":{"value":"1105.68349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494309$A7723209-A59C-47EC-97C7-526F6256599D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"077afbd5d8bc4f9f58268ca71987e2d2476ec31a","datavalue":{"value":{"entity-type":"item","numeric-id":2764100,"id":"Q2764100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494309$8171B5E3-781F-4971-A680-28C799D6B8C0","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":"Q5494309$70A78BAA-369C-4DBB-94C8-6D5DA4CC812A","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":"Q5494309$AF07A9F9-30AB-4DFF-8736-BD364BEC2234","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494309$16B34C6A-612E-46CF-9E6E-A0949F1A72BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0335d6fb98ae1bb0029e15072d1b25758f39ab69","datavalue":{"value":"5065255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494309$9917093C-0FD0-40D0-ABDC-B3DDD53DC639","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":"Q5494309$B5D4B314-63B7-40FA-A42D-9FAF4900CA95","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":"Q5494309$10BE2E90-A602-4AB1-BE72-EA0141ED9806","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afd910dfca581e3285afd6d4556d1978c72ae6ba","datavalue":{"value":"W36240330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494309$F1A0808E-A7D2-46BE-B602-08FE4129CDAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8811e86cb7c74978332d15845028632a152fc615","datavalue":{"value":"10.1007/B110123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494309$7FE35011-AC5C-43EA-9A32-4ED0BEFB5ADA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b155c38ec432c89b5a0a58f23c17252031fa88f","datavalue":{"value":{"entity-type":"item","numeric-id":4412540,"id":"Q4412540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fdc89d32002fc5f3f3976d96dd1c3a01908be31","datavalue":{"value":{"amount":"+0.7940792441368103","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":"Q5494309$F5ED06C5-4E7E-4570-9166-6F3F4A4CA492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68960892678786d9d14f2e29f93bb88986ed3bc","datavalue":{"value":{"entity-type":"item","numeric-id":2737491,"id":"Q2737491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60e16b917a8d0b7056c985ebb3e41df83ff8243","datavalue":{"value":{"amount":"+0.7803746461868286","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":"Q5494309$EAF1582D-A09E-4862-9A30-4BE205FFBC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa21767a783934e002833c7487898c9790bb8995","datavalue":{"value":{"entity-type":"item","numeric-id":2844827,"id":"Q2844827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade7948ffb6b4632db785add47fdecc212fb6ad6","datavalue":{"value":{"amount":"+0.7765424251556396","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":"Q5494309$D9EFF65B-3EF1-4F91-9D0E-5535CF5BE834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a6f5433f67208bbb49634a5986a8e43eb2a709","datavalue":{"value":{"entity-type":"item","numeric-id":4923510,"id":"Q4923510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23cbb4921a26840afe4dbe90176512c88b588eef","datavalue":{"value":{"amount":"+0.7760676145553589","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":"Q5494309$53A73116-016E-43BC-8EDA-EFDF996CE942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567d95b93952438210a3209e3aded0a064b059ce","datavalue":{"value":{"entity-type":"item","numeric-id":706511,"id":"Q706511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d3d19db8d66aed57f5529884dea6aca583626a","datavalue":{"value":{"amount":"+0.7746908664703369","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":"Q5494309$106D210E-DC68-4A8E-8D32-F9F4EA962020","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5494309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5494309"}}}}}