{"entities":{"Q520246":{"pageid":522013,"ns":120,"title":"Item:Q520246","lastrevid":62457507,"modified":"2026-04-11T06:13:26Z","type":"item","id":"Q520246","labels":{"en":{"language":"en","value":"Complete model-based equivalence class testing for nondeterministic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6699556"}},"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":"Q520246$38F0B07F-7A9F-4DA6-A4DD-DE8DB44318D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78bebe830050df3923c1b7c1384954d6d5aa8e3d","datavalue":{"value":{"text":"Complete model-based equivalence class testing for nondeterministic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q520246$DAB1FE01-E9A7-4934-9C5F-C83F31868138","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d9b2d7dd90cd71447bb10fa66b425b1d46f7caa","datavalue":{"value":"1358.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520246$4A73E33A-949B-4C7F-B92E-49ACB459CE16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c579f955a184e1e59ad9fec1a1ef7d36441c16f","datavalue":{"value":{"entity-type":"item","numeric-id":226598,"id":"Q226598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$0CFB3297-F099-40FB-9DA5-1E525609A43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff72d2830868bf9e7ed58c85e71f5c25c51d4b9e","datavalue":{"value":{"entity-type":"item","numeric-id":520245,"id":"Q520245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$56263DD4-071E-453C-ADB7-2CAE61D4612D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$128EDA22-D093-434D-A144-03FC780956FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04f7a2f550909c716d55bfcdec42733ff339d9d","datavalue":{"value":{"time":"+2017-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q520246$0A2BD588-DC8E-4B60-8775-CD07E12BFD52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520246$6EC29540-DCF0-4BDF-A89C-DC89B0019277","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"449c2944c38beb61de5bbc7001a30955e060c052","datavalue":{"value":"6699556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520246$365D8045-4920-4B03-959A-7B8AC8D78B8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c970019c5d7186e4fa8736dbf7afee746108db","datavalue":{"value":"model-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q520246$36F02F6C-5D8D-477A-8B12-7B176639C786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5aa5b9005bc5c2e642bfaf65b7263c61adcae86","datavalue":{"value":"equivalence class partition testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q520246$E4A9EF50-6C5F-40EB-A774-928DF95F3E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78951d9b5346daca714761763f732b106017b87","datavalue":{"value":"random testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q520246$262238F2-D038-4062-8936-CD72259890B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000d054838ba79f1c83227281d29722f07d85a76","datavalue":{"value":"Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q520246$401DD886-D4F2-4DA1-9E8A-7033BE55496B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q520246$ADC9DD8F-DDA0-49A2-A579-A6216611D845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b914970a76fba0609584a680ebc95aa26ef12a39","datavalue":{"value":"complete testing theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q520246$5347745F-3911-41DF-BCD1-6978EB5BD4D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b49d24dd527b7d568ea1deeecc25ee859c8be5a0","datavalue":{"value":{"entity-type":"item","numeric-id":38022,"id":"Q38022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$1171ED83-B68D-4E31-AAED-2476829E06E6","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":"Q520246$02B76198-8818-47D6-BEB9-A5676DDFB188","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03004b14b8c59d3a17bb076d0f167a60b33108e5","datavalue":{"value":"https://doi.org/10.1007/s00165-016-0402-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q520246$E5BEC52F-110A-44B5-AFF4-732E8524C59E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d36df3badd10815f7666c96ea1c5baed1a6ce9d","datavalue":{"value":"W2549482734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520246$A29F37AB-2D2E-4F87-AECC-55BCACD23BEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75490664644708b71efbf3d600a47f7540edb1a5","datavalue":{"value":{"entity-type":"item","numeric-id":766162,"id":"Q766162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$C7DC6F6B-7C8E-4C8B-B728-BD614B28960F","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":"Q520246$60C11D23-1C47-4A17-AF96-323821DD8FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b631659f89243ea8bd2d435e944ea62db1765323","datavalue":{"value":{"entity-type":"item","numeric-id":2787446,"id":"Q2787446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$AA8D08E1-AC7B-40BC-9A3E-F715FCC50E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$8447A516-3FC5-4F53-A3E5-2F2E1B7E5901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c34237b55fdcf0550f867f173cd23e62039bf35","datavalue":{"value":{"entity-type":"item","numeric-id":5710638,"id":"Q5710638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$310C15C4-9BE4-4CE9-9454-7EEE605B60E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077ff53ae2b2205b555092a4a22f48106572ae4e","datavalue":{"value":{"entity-type":"item","numeric-id":5096726,"id":"Q5096726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$50BA678D-F372-4895-94FA-FE1A5785D424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$20705010-F57A-4780-AD9B-8FDD0D718D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b293ae9b2f27e3d3eb442629a606172136571336","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$4BA263B0-BD7E-4DFC-ADA8-25B6B2E98B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$B4A198C0-A568-4DE5-94AD-C68720859799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e451b0339876f0a92875e49346cdc0622e878095","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$57A9E61A-1FA8-42D4-8160-BB3E19F27F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f36c54329eece6c81e4341e8f4350487d789a74","datavalue":{"value":{"entity-type":"item","numeric-id":4472251,"id":"Q4472251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$1DFAA2F7-D3ED-4D8B-98E6-1879F13B906B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c004dbcf8f9c2b728a575c5bb49fc8bbc10cd4f","datavalue":{"value":{"entity-type":"item","numeric-id":3591065,"id":"Q3591065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$193976B5-8916-4C8F-8553-5943098EBFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$7E6E1114-E78F-4AAE-9428-792BC629341C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1422672d05dbff9dc9c265645789f92f3291e4","datavalue":{"value":{"entity-type":"item","numeric-id":5632473,"id":"Q5632473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$642BF2F3-55AB-42DE-A10F-EF8CEB83FD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2780791d98c005bb8ebf69e36cb9dcdfd75b38b4","datavalue":{"value":{"entity-type":"item","numeric-id":5940921,"id":"Q5940921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$581787CA-2243-46FC-979A-AF52162663A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b034f0dc11cd100290bcaecd334ff2e7c6f5536","datavalue":{"value":{"entity-type":"item","numeric-id":5685979,"id":"Q5685979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520246$10DDA3F4-23D7-4997-A93A-B94EA97ECC88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b230be2eb29c6521af7f90f1b16eb171c5b8184","datavalue":{"value":"10.1007/S00165-016-0402-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520246$AC7AC54A-B473-48FE-A46A-CC85022DFC7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74700cf41d5a626eb543a3ded1cf5331fc0ee919","datavalue":{"value":{"entity-type":"item","numeric-id":2654997,"id":"Q2654997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b4b5681770338023450b70c933ecebd97eaea5","datavalue":{"value":{"amount":"+0.7818676233291626","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":"Q520246$1048CDDC-CC8B-4F8A-B045-FCB1E3CF89B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c844733200e2797df9e8a8e8c8a33aa471e4dd","datavalue":{"value":{"entity-type":"item","numeric-id":5757917,"id":"Q5757917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b2ae0638bb4b4bdacb82c1ad6acc3561b3296f","datavalue":{"value":{"amount":"+0.7428185343742371","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":"Q520246$B5F07995-9D02-4BD1-99DA-A1782D517B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3871267afa359da0262136dec304af0dd6a4c149","datavalue":{"value":{"entity-type":"item","numeric-id":1895875,"id":"Q1895875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56be58f9e8b3deb6d5c9a0abd893283871533f91","datavalue":{"value":{"amount":"+0.730777382850647","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":"Q520246$0CF93D84-2315-4D31-A11B-1DDE4D134D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48af8cee3a1246a48964a0fd634cdc15d088cfbb","datavalue":{"value":{"entity-type":"item","numeric-id":2731077,"id":"Q2731077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931e34b4fde44beea082001c01308d6836d3a45e","datavalue":{"value":{"amount":"+0.7306679487228394","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":"Q520246$925CD212-6F29-4D0D-A171-E8A6ED1CC780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba393d3159f88a8692d1807e732810558065a1c","datavalue":{"value":{"entity-type":"item","numeric-id":4942015,"id":"Q4942015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd982e3ff660e85d72e6c476bc3bbafaf02847e","datavalue":{"value":{"amount":"+0.7297032475471497","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":"Q520246$9AEFD9A0-4985-458C-B56F-A9DAB96DAD6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete model-based equivalence class testing for nondeterministic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_model-based_equivalence_class_testing_for_nondeterministic_systems"}}}}}