{"entities":{"Q5494305":{"pageid":7523865,"ns":120,"title":"Item:Q5494305","lastrevid":41779242,"modified":"2025-05-08T05:36:30Z","type":"item","id":"Q5494305","labels":{"en":{"language":"en","value":"Formal Methods for the Design of Real-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065251"}},"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":"Q5494305$55751F46-C86C-4E96-8C0B-2857E1BF2ECF","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":"Q5494305$959B603F-0707-4806-98BF-77AA7AD67879","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"528d9114b8ca4f0252143aa964874b126d4295d5","datavalue":{"value":"1105.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494305$3530B877-E138-454B-8C8D-9E440668A10C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e9e2ac56d8b8efc6545719a0a099b2b7cc1a23b","datavalue":{"value":{"entity-type":"item","numeric-id":5494304,"id":"Q5494304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494305$DE4B6728-8EF3-49D9-A489-2C74082E0699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5494305$5DD3FED0-E051-4837-BAA0-011DAD5CAD86","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":"Q5494305$4E3A846E-35EB-45DB-AF1D-F88A5FA8F44B","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":"Q5494305$A6B9CE36-FE97-431A-AFB0-420D6B8754D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494305$FF85D92C-F6DC-437B-9D7B-643AE48F1805","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a29f211a471097bab4c82432f416db1dcb10b75","datavalue":{"value":"5065251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494305$8CCF7B58-A793-4967-899F-400D9D7CDAC3","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":"Q5494305$65F852DE-41F6-49FC-B996-DB19F8BFCDEC","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":"Q5494305$93D324AC-CECE-40CA-BAC2-FEC3A5B7D98A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afd910dfca581e3285afd6d4556d1978c72ae6ba","datavalue":{"value":"W36240330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494305$6D19267B-4331-40B9-846F-E9992CBE9354","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8811e86cb7c74978332d15845028632a152fc615","datavalue":{"value":"10.1007/B110123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494305$8EB209DF-B1DA-483A-A862-5C5D0307BF77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e91aae16277fc253f310613f61d381879c75292","datavalue":{"value":{"entity-type":"item","numeric-id":4571984,"id":"Q4571984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7837a1eea7df312407c556074c9c945c4441edc","datavalue":{"value":{"amount":"+0.925215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5494305$1BA54B74-EEF4-4FB5-8D38-8C421C5D3C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2337158bee7545994899a80d7c8fd425c652a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4220896,"id":"Q4220896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee0dc881fe8b7a900e6233bd37d381e396df185c","datavalue":{"value":{"amount":"+0.91202635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5494305$EC223342-FED4-43CA-BB8E-9E4AAF9171F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96e8f7bb393165a3e4bb3b46e126cd247842f336","datavalue":{"value":{"entity-type":"item","numeric-id":5096376,"id":"Q5096376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2d23d71ef426414b4326d3c6e1154d295c3503","datavalue":{"value":{"amount":"+0.9066766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5494305$5D29688E-D315-4A25-8FFA-6E8A94E42F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663a0241c79718f7486f62cb36c67a7af85304af","datavalue":{"value":{"entity-type":"item","numeric-id":5480648,"id":"Q5480648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e4f9d452f0db2a5668645b3dc102b3ba564180","datavalue":{"value":{"amount":"+0.9033955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5494305$01EDE2E2-DF55-41F4-8CF1-E86EC541797B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86f899411b9f66d33655535dc8bd3ec8b15677f","datavalue":{"value":{"entity-type":"item","numeric-id":4535172,"id":"Q4535172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eedd2b4d1d5fb7d367f88ad9fd5d21e7045630e5","datavalue":{"value":{"amount":"+0.9001563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5494305$D46054E9-28C3-4DED-9358-52EA0C0DAD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca55d1b061e9bcc3f885f40288b9b0f624106f7","datavalue":{"value":{"entity-type":"item","numeric-id":3610908,"id":"Q3610908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f8a601f27e7d78fe5b9ca4bb01394c4945e068","datavalue":{"value":{"amount":"+0.8998513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5494305$EBBC9212-5D20-4112-8755-7BA6B98D8FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2822381e2b830163b5e73487bc8294dcb291a1","datavalue":{"value":{"entity-type":"item","numeric-id":3431089,"id":"Q3431089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49175937739d92c58ba60dc31fc3df6b896a059e","datavalue":{"value":{"amount":"+0.89985126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5494305$AA37195B-BA60-488D-835C-AAB5E16D796D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6718456ed5f17adaa3d701ebe9439ed1eb7bb2","datavalue":{"value":{"entity-type":"item","numeric-id":5712705,"id":"Q5712705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e236628c5488fbc65720e6b2cf282d696e1e9225","datavalue":{"value":{"amount":"+0.8979655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5494305$5D3283F4-0603-4561-899B-33E993EE6C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77884f4cc245ec80fa63fe6a95e0d634a0c7e3c0","datavalue":{"value":{"entity-type":"item","numeric-id":1575631,"id":"Q1575631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b539ba2d43094a447eaaa5f4804039bd1f7f98e6","datavalue":{"value":{"amount":"+0.89555275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5494305$F93E0F78-5F49-4A26-B4B4-B9A11118B20C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5494305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5494305"}}}}}