{"entities":{"Q2279118":{"pageid":2289861,"ns":120,"title":"Item:Q2279118","lastrevid":78648491,"modified":"2026-05-06T12:06:24Z","type":"item","id":"Q2279118","labels":{"en":{"language":"en","value":"Testing real-time systems using determinization techniques for automata over timed domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7142673"}},"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":"Q2279118$1CD30898-72D5-4EF0-81ED-A0E05E0E17A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b1139a185822eb320d5d5b5e8bedc1ace1b673a","datavalue":{"value":{"text":"Testing real-time systems using determinization techniques for automata over timed domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2279118$A8E76522-823E-4CE6-86D6-74A57FDB399A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b79e7abdda5810d4f35cf21c5f8ad79405ff4beb","datavalue":{"value":"10.1007/978-3-030-32505-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279118$7767487D-A7FA-453B-B1B0-4E03E8815BB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba65115dc067c98e9f21b9d06577b2912f62f344","datavalue":{"value":{"entity-type":"item","numeric-id":842582,"id":"Q842582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279118$7DBCBA06-D638-4A2E-882C-243DAA432F7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b59fb3af1fc435d619b3c51ed9fbb031a0316176","datavalue":{"value":{"time":"+2019-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2279118$7CABF97B-7074-44AC-9DB0-15F9E0958F2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279118$F28260B7-AC6A-4AD4-8188-95F50DAF45F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7b816f87ca783e3aa6415176d0d9846327fdbff","datavalue":{"value":"7142673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279118$EFF74876-DBCF-422D-9875-0D916EEE576C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c970019c5d7186e4fa8736dbf7afee746108db","datavalue":{"value":"model-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279118$6C65976C-E400-4623-9816-585C554CCBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279118$FFCD0869-C2A0-4184-93B2-D7F4AD4273F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd490112610c106bfd2bda91241643be966c2e50","datavalue":{"value":"automaton over timed domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279118$8911EB42-B43E-4800-818E-B7544B47850F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279118$007523FF-3E0C-4226-9721-8DA495BCC503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af0366a714f2749dba763f1df90f6a0cd8649942","datavalue":{"value":"conformance relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279118$D41C0C2C-BCCF-4C41-A60A-7C7DF9DCDDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279118$6136FCF4-818A-426D-8496-0178C71ECD0A","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":"Q2279118$D62184EE-D31D-4958-9C23-846EDE95183B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c1934540276805bfb6aece16f3e0ffeb32677f5","datavalue":{"value":"https://doi.org/10.1007/978-3-030-32505-3_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2279118$55AA9336-82F0-4683-8224-EFF5DAA7B6E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2696d9fbf226c6ab23df5976e2adb87416e324b6","datavalue":{"value":"W2982204721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279118$FB911A30-4D94-4314-8B9A-D0DAA54B6644","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06eadf5cece38f4be57d9e92b1ba825d1238e999","datavalue":{"value":{"entity-type":"item","numeric-id":3431097,"id":"Q3431097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51fd8eeb40b3b0daf8907ca80c6a87daf8180fe","datavalue":{"value":{"amount":"+0.8366495966911316","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":"Q2279118$4109E5FB-C3F8-49A0-9FBC-5EDD3FB67AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54de1361bc4df95c3cd4ca0358daffe40d7c11bb","datavalue":{"value":{"entity-type":"item","numeric-id":3610913,"id":"Q3610913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8fe91bf226a32b4802462c92a56bcb9872e2efe","datavalue":{"value":{"amount":"+0.8297152519226074","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":"Q2279118$5B2999FD-9410-4D74-9041-788CA303A98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a74af6d814a3d08283f85f858fcba11fad787a","datavalue":{"value":{"entity-type":"item","numeric-id":5944218,"id":"Q5944218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2112721fa6dae2c1bb9dc3b4d5475a036059a591","datavalue":{"value":{"amount":"+0.8208761215209961","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":"Q2279118$A371C7AF-AD63-4033-8AC4-A6E4243C1EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1434798dfd9c93a9198252345f82afa163e2c25","datavalue":{"value":{"entity-type":"item","numeric-id":5464743,"id":"Q5464743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6f77e609b98b7e9a83127cf044c5d067bb440e","datavalue":{"value":{"amount":"+0.8065890669822693","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":"Q2279118$B699BA1A-D5A9-4EA6-9E72-FD78002C5FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cedc2eef21adab51d47a243e5cb5167bbf7b98b","datavalue":{"value":{"entity-type":"item","numeric-id":5940921,"id":"Q5940921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaae61443c7abe7ac81152c4cf73533cac892412","datavalue":{"value":{"amount":"+0.8038306832313538","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":"Q2279118$4840D32C-3013-43E1-A512-58FA7D66312D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing real-time systems using determinization techniques for automata over timed domains","badges":[]}}}}}