{"entities":{"Q3431097":{"pageid":3441800,"ns":120,"title":"Item:Q3431097","lastrevid":80649449,"modified":"2026-05-06T16:41:12Z","type":"item","id":"Q3431097","labels":{"en":{"language":"en","value":"A method for testing real-time systems based on timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5140772"}},"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":"Q3431097$EF0DDD39-264F-48C7-ADE4-E783CAD77D07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e0851ac4a0056df3f9f4fca728698849d7df177","datavalue":{"value":"1112.68393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431097$FDE40BB4-705C-4A12-AD86-B0608FD8E7E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d2e30a2b8e9fe6a6e3778ab63aedcfb8d76a50","datavalue":{"value":{"entity-type":"item","numeric-id":282124,"id":"Q282124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431097$B866370E-FBE1-4E4D-832C-C1463CF13D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6854a9168e64f77bc5284f117302b9df315f00eb","datavalue":{"value":{"entity-type":"item","numeric-id":3431096,"id":"Q3431096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431097$81483649-9F26-4C1D-B3E8-E06CEB914408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a34fb13c194f7ebf86bc4b248e2a78601c4ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":289270,"id":"Q289270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431097$00059320-1C25-4EAE-B1D1-7BAE069FBC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34be27dccc8e51d6fc463605d6d6e523071b86d3","datavalue":{"value":{"entity-type":"item","numeric-id":2894566,"id":"Q2894566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431097$8385F46C-3F7A-469A-82F2-246A8F89DD0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c8fceed86d55ae63a2da79be40131d27662eeb","datavalue":{"value":{"time":"+2007-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3431097$197C18D5-3B03-41D6-B611-85481289172E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431097$F67A9E82-A441-472E-8E51-62568E629407","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b68bdcf9906241401ba19ab84b2a3d85a0756f99","datavalue":{"value":"5140772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431097$71CAD0FB-4A7E-40B3-8221-610300426A83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c55124eae9c6a907c37935c230b54f46ca4e2b3","datavalue":{"value":"real-time system testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431097$E9754ADB-9D21-48E6-9351-C07531DCBBDF","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":"Q3431097$22CD393C-09D3-4D2F-802F-3F2C024866E3","rank":"normal"}],"P1643":[{"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":"e1b0c6cfc90ea82879c2fe4c3a03d434882693ae","datavalue":{"value":{"amount":"+0.9919368028640748","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":"Q3431097$F88F97F9-5BDF-49C9-B00C-9FF938B81B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23cb6d973f7a671b75118a47c6152a6f817e9ff","datavalue":{"value":{"entity-type":"item","numeric-id":4437066,"id":"Q4437066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa12c2d4fa5693b6b83ff8759787b1db66189311","datavalue":{"value":{"amount":"+0.8799671530723572","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":"Q3431097$A3663181-B971-46A4-A191-423E093FA874","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":"abb882e58b2af26dadafa60eb3567188f65ed996","datavalue":{"value":{"amount":"+0.847291111946106","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":"Q3431097$4E8B9BEA-D705-4EF8-801A-0A4F9ADF4CE8","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":"6e4494d0c881deef5e2ff485e91c83093d8360da","datavalue":{"value":{"amount":"+0.7996273040771484","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":"Q3431097$45E918E9-FEED-4CDB-A762-ACE368FDE49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6a6027087a18c6436bf467d26e9ee6a25ea57d8","datavalue":{"value":{"entity-type":"item","numeric-id":5392298,"id":"Q5392298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f2eb5162c6775a927203517b2ac8de6a98eb36","datavalue":{"value":{"amount":"+0.787961483001709","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":"Q3431097$3F3A4023-3B7B-4C9C-9B43-4484565DDFBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A method for testing real-time systems based on timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_method_for_testing_real-time_systems_based_on_timed_automata"}}}}}