{"entities":{"Q5940921":{"pageid":8117723,"ns":120,"title":"Item:Q5940921","lastrevid":97643951,"modified":"2026-06-05T15:09:31Z","type":"item","id":"Q5940921","labels":{"en":{"language":"en","value":"Testing timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635072"}},"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":"Q5940921$626DE193-1812-4DE4-9CAF-3C9287D579F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36359995cdfc4ec3c7b34f046659dcdb4e0b1495","datavalue":{"value":{"text":"Testing timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5940921$F4F7333D-5EF2-49D5-B7A0-733C28313215","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6cbd1407a7c6cd8deb82974d2b104a4b3c9aa9a","datavalue":{"value":"0972.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940921$EDE72401-EC2F-4784-8BAB-5C756DE47D9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22f661b8a0b2e13b613ab7d745f1b8090c5d076e","datavalue":{"value":"10.1016/S0304-3975(99)00134-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940921$8EF7B479-DEA4-40A0-8E80-2D823ECB601A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"717619a6e7763f95143557fe13c62cba07c2e4ac","datavalue":{"value":{"entity-type":"item","numeric-id":1349248,"id":"Q1349248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940921$FD6B484D-AEBB-427B-AE78-CFC7E2E12740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54eb5023137ee6a46a6a6864bec8731faa3ff206","datavalue":{"value":{"entity-type":"item","numeric-id":975884,"id":"Q975884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940921$A97151CB-AB24-4171-A0AD-B6EE1D031522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44fbc514ac4414d1f77b758348bbf20c72a9d00a","datavalue":{"value":{"entity-type":"item","numeric-id":1391790,"id":"Q1391790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940921$FF76F3EB-17F6-462B-BD4C-39EFC07D1664","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940921$E159EFF4-3D78-4E4D-A5D3-5BE7D9F69400","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5940921$368AF1A7-78B5-4A19-A524-67469F25CDB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940921$673273BC-1FD6-46F7-9CEE-241D9B6CBABF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f7aa23f60e6b701384b9e36e95c09e74b35c5e5","datavalue":{"value":"1635072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940921$9A8DBEF8-6AA9-4C9B-AD3B-07569D39934A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93773a28663ccdf4e125d5afd70b267525693409","datavalue":{"value":"(black-box) conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940921$3B21EC32-B7A4-4F1C-A4F5-753548982251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940921$A9D12EC1-710D-41D4-AFEE-E492485C85DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940921$5D950700-E2F2-495F-B5F1-BC2B0DB9C4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c2b7ced654647021de9242bf805c45b29c8712","datavalue":{"value":"I/O automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940921$145CBE1D-0B94-4EAC-A424-0642B7E08BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940921$A8EEA173-DF18-4122-974F-6643ACED4F36","rank":"normal"}],"P1463":[{"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":"Q5940921$A27453AB-32A2-41C8-8727-69B7AF09F976","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":"Q5940921$7780AC7E-E7A7-48B0-A41E-693C2C2288EE","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":"Q5940921$83654CDB-6BE0-48E4-B8D7-FA18D42DD062","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":"Q5940921$A2A7E9AD-D5DE-4C0F-B8ED-F00079B99D69","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940921$24504CD3-0BF4-490A-9165-B3ED85460F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f8b771bf7fe4c276424aeca14edaf1d57a7664e","datavalue":{"value":{"entity-type":"item","numeric-id":1858445,"id":"Q1858445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940921$7E010023-E446-4B62-97C7-C79FCD63BBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439e51e6cfdf50a73df8b2deefcda14660157a31","datavalue":{"value":{"entity-type":"item","numeric-id":4158482,"id":"Q4158482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940921$C7AD9496-ADE3-4974-BBEE-1A0BDEF09778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940921$1D185CE3-1482-4916-A015-6CF795EA328A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce3fdb25869b2331ba7a9099e1dd155ad2fca1d","datavalue":{"value":{"entity-type":"item","numeric-id":5606985,"id":"Q5606985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940921$1B6C923C-D47D-4B59-9A97-4A9998DDBAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940921$BB545B84-2760-4B2C-A7E3-39D09A060A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d992845428d0fb8f1ced1ab9e6345b202f4dbe","datavalue":{"value":{"entity-type":"item","numeric-id":1271471,"id":"Q1271471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940921$4A7CF5A1-957B-4C9E-B5AA-3D86A46195B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888e98d04ef191b093ae24c0bbbd536897a2cc77","datavalue":{"value":{"entity-type":"item","numeric-id":3221371,"id":"Q3221371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940921$83FE1C39-C740-43B5-9064-1F8225119EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940921$3CF4E676-F4C1-40BC-9F69-E3AFDD453BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58dd78b43d79fa672b1bb67e1c55982120572e3f","datavalue":{"value":{"entity-type":"item","numeric-id":5047170,"id":"Q5047170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940921$C2D41819-AD4B-4E4E-955F-6AA56FF2F7D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc7b2fcb3956ae82d75aec5d6f32fcbb9e48c01d","datavalue":{"value":{"entity-type":"item","numeric-id":2769597,"id":"Q2769597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af32368fd585067c1c65e1a5403b0906d32526c","datavalue":{"value":{"amount":"+0.8568305373191833","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":"Q5940921$71262126-8A58-4381-B818-B456FA741C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49a205dcc89f557d7d898f033949de2c03051e5","datavalue":{"value":{"entity-type":"item","numeric-id":5308369,"id":"Q5308369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98bf79af793a1835f719b5152fbcc2cc361791eb","datavalue":{"value":{"amount":"+0.8547980189323425","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":"Q5940921$3F2B99DE-5F25-45A2-B191-085782E2192C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70e1fb3b73a58d2cdaa6a5a95b15777525e4dc6","datavalue":{"value":{"entity-type":"item","numeric-id":842583,"id":"Q842583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11c44f839783bfd05eab9e788ec8ec4fd0260ad","datavalue":{"value":{"amount":"+0.8424997925758362","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":"Q5940921$9704358D-74B6-4CC1-9488-2EA8897B4885","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":"36a48f2eaf9323b7caf65b4002d0ead4b204c657","datavalue":{"value":{"amount":"+0.8406530618667603","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":"Q5940921$499955A1-A952-459C-8614-546BDC483FEE","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":"740532e581fc50741321a9096c3998de59fac31d","datavalue":{"value":{"amount":"+0.8389977812767029","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":"Q5940921$66030372-942E-433F-852B-E563A31AA544","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing timed automata","badges":[]}}}}}