{"entities":{"Q5392302":{"pageid":7421876,"ns":120,"title":"Item:Q5392302","lastrevid":96108704,"modified":"2026-06-05T10:26:05Z","type":"item","id":"Q5392302","labels":{"en":{"language":"en","value":"Constructing test automata from graphical real-time requirements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5876528"}},"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":"Q5392302$62802624-705E-4C35-BBD9-B22B5203F358","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abff641be8e2c03e1b497ef16e66ad42aab29983","datavalue":{"value":{"text":"Constructing Test Automata from Graphical Real-Time Requirements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5392302$9A23F8AF-F15E-41C0-A280-6DF2E8012248","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f843c8f534d8297af583c633713dbe08c9f154a","datavalue":{"value":"1278.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392302$1DDA8AC0-1D7B-42F3-A8FE-F7D9DB4F198A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15b6e12a38a00c7a578152caddeddb8f79277921","datavalue":{"value":"10.1007/3-540-45739-9_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392302$75B80A09-6830-4A21-BC07-BDD3E8F8682B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9a9cccaad167939f3489dab6922592bb34a72c1","datavalue":{"value":{"entity-type":"item","numeric-id":436412,"id":"Q436412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392302$B21D8DA0-3B2B-4000-BEB4-D685E8EA3795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee1681d42bcf2275a2317c79455b3363ff4fde0a","datavalue":{"value":{"entity-type":"item","numeric-id":4435874,"id":"Q4435874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392302$BA9156C4-B26B-445C-9698-782B22C15D52","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":"Q5392302$611ACFF8-EA6B-4897-807D-447634CFD078","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1beccbec989ffb1c4fd65076dee92c66a4eff836","datavalue":{"value":{"time":"+2011-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5392302$376DA87D-F43B-4B67-8725-6C02E83F11F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392302$A8EABB69-3147-4026-B54D-4D2B4222CF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392302$2B497035-B003-40BC-90D2-BD0305C63A1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1ec1b7a7ec43c32d3a05a26547e603395ffa87d","datavalue":{"value":"5876528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392302$B14DDC03-4099-4261-9B69-A8401116B199","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":"Q5392302$1F244AA8-8E3D-49B7-A031-3E3D962641E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392302$F9F83F11-B39C-4B65-B6F1-14FD7D806037","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":"Q5392302$1A980E36-E41B-4B33-A50A-E71E25476716","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6d527b38bcc42b47cf5529dad6db385efdd3b55","datavalue":{"value":"https://doi.org/10.1007/3-540-45739-9_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5392302$EBDF8670-CC5A-45B0-932C-CD3C6EF463EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88f63cf3513e0fbaa895286465def6a02e10d496","datavalue":{"value":"W1560134472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392302$D56FD433-6DDF-4E03-B7E2-2B0494415AC8","rank":"normal"}],"P1643":[{"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":"68705123cfc65ba54a2675b63352cb9dbb680675","datavalue":{"value":{"amount":"+0.7898588180541992","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":"Q5392302$19446B72-AE09-4E03-B090-265722BDE501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ecfe6827e656d0eb61d20c33f6629c5ea6c682d","datavalue":{"value":{"entity-type":"item","numeric-id":2723559,"id":"Q2723559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e7233e44e873d9a5d04500d4095f6c6532e2ba","datavalue":{"value":{"amount":"+0.7884911298751831","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":"Q5392302$9765373A-32B5-460B-AA55-A058CF9D3381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e7233e44e873d9a5d04500d4095f6c6532e2ba","datavalue":{"value":{"amount":"+0.7884911298751831","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":"Q5392302$67872FAF-C746-4698-A579-AFF2653839BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94237608cd26ef4c16d4bc0609423dac1f3615f5","datavalue":{"value":{"entity-type":"item","numeric-id":2703737,"id":"Q2703737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a207a0b12d601c151fc09820dd8d9aa183c58d3","datavalue":{"value":{"amount":"+0.7706504464149475","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":"Q5392302$D607A005-2D37-4CF1-9265-F926CDE1FA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38a78983e99d4888f33f5e9b5cae32aaa0260023","datavalue":{"value":{"entity-type":"item","numeric-id":4329566,"id":"Q4329566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74253917aa68ac705452101afea5efaed96f7bcc","datavalue":{"value":{"amount":"+0.7641242146492004","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":"Q5392302$A480E491-260F-462F-A7A2-C1BE33CEE0AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing test automata from graphical real-time requirements","badges":[]}}}}}