{"entities":{"Q2763538":{"pageid":2774277,"ns":120,"title":"Item:Q2763538","lastrevid":47725510,"modified":"2026-01-02T13:16:15Z","type":"item","id":"Q2763538","labels":{"en":{"language":"en","value":"Analyzing real-time systems: Theory and tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1692396"}},"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":"Q2763538$F0D5BE43-F07F-4A13-9C5E-6313E105BD74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b54c534059f4ec119a00906053b365f4ee8c69f4","datavalue":{"value":"0982.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763538$E4F68F84-1690-4B0B-94B1-16D6742DDD32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb42110344587beff6f262bd64a667321f1b5653","datavalue":{"value":{"entity-type":"item","numeric-id":2763537,"id":"Q2763537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763538$2F6BFD8A-5CF7-49BF-B921-A267E1ECF0E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"080c83eba9d0aaada8ba639fd9ece6b56cd533cc","datavalue":{"value":{"time":"+2002-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2763538$4273C65B-7E32-41C3-8415-9B9CBD7437F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763538$9916352C-4E60-4D0C-AA33-ABF7D8DB2B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763538$DC398F0F-63EB-4B9C-8574-C9B60C178C5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2b65f8dd3651c1030f60c9bc4210ae892cb44f5","datavalue":{"value":"1692396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763538$CE430EC5-6F68-49B0-A66B-C84C9F19C861","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb111f358878095d3946009d8137cbd7bc3b8f1c","datavalue":{"value":"formal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763538$66EF2DAF-51ED-4E3F-B6DB-379620E5351D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763538$7E329245-A955-47DC-8765-490CE953E35D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763538$7A1298BE-844E-4359-98B3-AFE2417DB5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763538$EB7CC20C-47B9-430A-936F-B27E1E1194F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763538$9E4327A7-B6DC-450D-9795-BF51EB803FE3","rank":"normal"},{"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":"Q2763538$39A17A3B-C06E-47BB-B540-35633A9604CD","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":"Q2763538$98035586-70C5-49F5-A8C8-669ADE0E7085","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ed364686b1c7a6068d96784524ac7760948d2ce","datavalue":{"value":{"text":"Analyzing real-time systems: Theory and tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2763538$90AEF301-AE74-4C0C-8458-6373CE759D0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583044c02d5ac3d05297a0e20ab42e6dcc0494db","datavalue":{"value":{"entity-type":"item","numeric-id":4009917,"id":"Q4009917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a152a5c52bdf2ab95917ad51fdd7a371273f7c7","datavalue":{"value":{"amount":"+0.7773514986038208","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":"Q2763538$A1BB1A72-3BBC-4153-B2DC-9A405B64EDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a14d21ab10836264c15d51494a3c642a02b4eb0","datavalue":{"value":{"entity-type":"item","numeric-id":3128862,"id":"Q3128862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce92a54551e1cc4596405cb4a883d8fdd382362","datavalue":{"value":{"amount":"+0.7608316540718079","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":"Q2763538$46F3ADC2-D6A7-4D62-BD8F-A28A9FE41769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9bb69bda6a5c3fb7e34f516df78aefa606e1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4003544,"id":"Q4003544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce92a54551e1cc4596405cb4a883d8fdd382362","datavalue":{"value":{"amount":"+0.7608316540718079","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":"Q2763538$F44B4449-0A7C-42D4-A917-2FDBD63E4F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a51ab5b768e9ff81a60a51e01eb6218d4b5dd78","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d5b4cdd736514bcff7b5db88153efc291ffa59","datavalue":{"value":{"amount":"+0.7463634610176086","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":"Q2763538$6D26F858-6E16-45A7-843B-A891E7F6713F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3cfc9c681cd08b0d6e96c0b65232eef4a97398","datavalue":{"value":{"entity-type":"item","numeric-id":4679539,"id":"Q4679539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0f6905020d971201351799603e984a31012d5e","datavalue":{"value":{"amount":"+0.7442017197608948","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":"Q2763538$02467F1F-6C8E-4C49-95A9-B4FD4CA69726","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2763538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2763538"}}}}}