{"entities":{"Q714798":{"pageid":716647,"ns":120,"title":"Item:Q714798","lastrevid":63765789,"modified":"2026-04-11T15:23:53Z","type":"item","id":"Q714798","labels":{"en":{"language":"en","value":"The complexity of asynchronous model based testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6093022"}},"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":"Q714798$FCF3C01E-D47E-483E-8E74-8B2E764E8BA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b80edac5b17b3fb54b324b02600548d7a6aa9671","datavalue":{"value":{"text":"The complexity of asynchronous model based testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714798$238836B2-B8FD-4C05-907E-F2DCEF0EDB3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab058c0c6ae7adc29641c144a014f6a6273b91ca","datavalue":{"value":"1251.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714798$E0A284F6-E9ED-4F50-9878-4F3457DEF732","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a00842c97861ca85101f8ddc599167c70223ce4","datavalue":{"value":{"entity-type":"item","numeric-id":347399,"id":"Q347399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$1CD4D29F-2EAD-4A6D-81EE-64ADAC261CE5","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":"Q714798$B38A9050-4A91-4B57-A0C7-1591AA8AE641","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q714798$7833921C-3169-4952-B7A1-C522AEF34B2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714798$814BAF40-2F31-418B-8640-1C2CA80738F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714798$7F791C28-FF88-4739-AB89-1359F7CCD137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714798$66711250-08DA-4A66-B9AD-F2F5FB2F18C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99f1de40dd90c9d3d1ebfe6549dd9a19a85e2cce","datavalue":{"value":"6093022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714798$9BDE1994-62D1-495B-BB91-99608DD175C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"091410f2307a085653a772439be9d718e836ed8c","datavalue":{"value":"software testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q714798$C7974762-7617-41D3-ACF1-F04D23913D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83b51c182b6097876d94bf0abeba57899ecd8760","datavalue":{"value":"asynchronous channels","type":"string"},"datatype":"string"},"type":"statement","id":"Q714798$0EC9441B-0414-44E5-B6C0-796BAD75E5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6f21d489c5b56a1ea444624f4fa5c172594868","datavalue":{"value":"model based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q714798$F8585D8B-0953-4236-A9E4-2B9EC726A0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6e0f3ec7e121da28210354ac7ce4766bfe9ace8","datavalue":{"value":"input output transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q714798$AF5C62CF-A2AD-4C6C-A423-2AAAAE3E8935","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecc86304e6e0168c486b1953bbd2cdad4880fb4c","datavalue":{"value":{"entity-type":"item","numeric-id":23309,"id":"Q23309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$78B1099C-A5DC-4A45-AC92-20346B0D3D5E","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":"Q714798$829CCE8B-DF82-4BB2-955E-61095CD731EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"734c09b3fde4de5fd6acb49b42b5cff90cf35b51","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.05.038","type":"string"},"datatype":"url"},"type":"statement","id":"Q714798$66831BAD-DD62-4FE6-84A5-879B18A74901","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3468dce078528f6f7a932fc439bcfec8350e8d8","datavalue":{"value":"W2161123813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714798$4F297845-FA08-4D80-8E53-8D9E6BED1945","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9849242aff28ef1c82cdc09ed4607e857aa57640","datavalue":{"value":{"entity-type":"item","numeric-id":4234083,"id":"Q4234083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$5EAECAC6-2BE7-47E4-A847-2A9062B30010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4457f98838df349f45032af4cc536ac2c736856","datavalue":{"value":{"entity-type":"item","numeric-id":3522921,"id":"Q3522921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$88BAB5D9-47D8-4976-BD49-3D5E99E27AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae33dd596208f5c3943515a7436de5ae9f7fb18","datavalue":{"value":{"entity-type":"item","numeric-id":1854499,"id":"Q1854499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$B451F3EF-57E7-43E0-9D5B-59D2352C802F","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":"Q714798$6FB8573D-B327-450A-902A-EC3C638DD683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"788dbbc73f1d1eeda905bae229ca9e7f1ace768c","datavalue":{"value":{"entity-type":"item","numeric-id":4245976,"id":"Q4245976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$1B162F63-C959-473A-B85E-CB7220E8CC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4a51916d73830cb0f6a52fe9bdebaedef14863","datavalue":{"value":{"entity-type":"item","numeric-id":844156,"id":"Q844156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$EA2360F9-63EE-456B-A67B-66D366269757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ce52c41d696142d368f8d3331b62749f89c545","datavalue":{"value":{"entity-type":"item","numeric-id":5390603,"id":"Q5390603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$FDA82DF8-2858-4589-A121-50E056C8574E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2b8132c9f85efbfafa654a5cd1f11ecc0ee28c","datavalue":{"value":{"entity-type":"item","numeric-id":4942008,"id":"Q4942008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$3D9B6ACE-4082-40A3-A2A6-8A6776639E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0e70fe217ff4249331a09fbb5f5a2e580cb33c","datavalue":{"value":{"entity-type":"item","numeric-id":5375295,"id":"Q5375295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$E43A0A9A-97B4-4277-8C84-D66E092CCE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692e3e530294b7bb3c9b6960066762f9fc3212b5","datavalue":{"value":{"entity-type":"item","numeric-id":4437059,"id":"Q4437059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$0AED1481-A430-4A7D-835A-BF3079FFB278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$C07BE202-78B4-4587-8BE5-4E165EFB3FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a311e7ea5e9c4b3c79d5eb4c907cd6989b685383","datavalue":{"value":{"entity-type":"item","numeric-id":800838,"id":"Q800838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$FB29C69C-73A4-4A0F-B927-5D495C18246E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$F223F608-CBD7-468E-AF3D-5BBD2DCA788D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$0BEBF3BD-21A6-4208-8CE8-EE9038A8A7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6c73e851c4626dce720ceb2c119b346e94a989","datavalue":{"value":{"entity-type":"item","numeric-id":3619268,"id":"Q3619268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714798$ADB770B7-FD73-420C-AD56-52BB6268D6FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb7901776e808cc73a539802ea46b2d6edd3e1c0","datavalue":{"value":"10.1016/J.TCS.2012.05.038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714798$E9B8D091-BAEA-4688-B77C-D09DDA53392A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87aeae804e447d4290a246effee417b60b25dd58","datavalue":{"value":{"entity-type":"item","numeric-id":3095247,"id":"Q3095247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7014e0b43128a27970a670e8b127ab3846f0ee7d","datavalue":{"value":{"amount":"+0.7603603601455688","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":"Q714798$D12D05AC-D9E9-4651-9F16-8DFA22C9C46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa7542d95cbf7f3541b14bf350209be82290db2","datavalue":{"value":{"entity-type":"item","numeric-id":3522921,"id":"Q3522921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70bf50669ceb5e9ca4d1a3116ed3a8a8a1b9b2ac","datavalue":{"value":{"amount":"+0.7490478157997131","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":"Q714798$67E9D581-B6AD-402D-B718-9575B2A2EDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3663e3aa55c2acb41f3aec42ef784c66a12a2b3","datavalue":{"value":{"entity-type":"item","numeric-id":4942022,"id":"Q4942022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc2fabca52516c147b68bf63663511f91e22eeb","datavalue":{"value":{"amount":"+0.7451887130737305","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":"Q714798$DC7CA992-9C66-4FB0-A2C3-9D6F1D89F1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37201260dda8637b86b0f772f1d4e29b216e5197","datavalue":{"value":{"entity-type":"item","numeric-id":2873605,"id":"Q2873605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326c8e5f75a7a17afa33b392651f70e6c7613fa4","datavalue":{"value":{"amount":"+0.7451881766319275","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":"Q714798$06CB7F98-5055-4038-A4F7-EB6A1EC018A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8ec629d4e7a7ab2b63c122382d05f7bf9e48a5","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0863fa904f746988657f3be8e662ae172b753612","datavalue":{"value":{"amount":"+0.7227068543434143","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":"Q714798$12FA86CF-E239-432E-90AD-D5097C3FFD32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of asynchronous model based testing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_asynchronous_model_based_testing"}}}}}