{"entities":{"Q844156":{"pageid":846004,"ns":120,"title":"Item:Q844156","lastrevid":64766094,"modified":"2026-04-11T22:04:52Z","type":"item","id":"Q844156","labels":{"en":{"language":"en","value":"Applying adaptive test cases to nondeterministic implementations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5659902"}},"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":"Q844156$A09443D7-88D0-4C31-851F-89B9895A7FCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1746fa09562eb2d825d6c77d0fb14f27985005d4","datavalue":{"value":{"text":"Applying adaptive test cases to nondeterministic implementations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q844156$11C2F07C-1270-4364-9F78-DD36E66D0016","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d2a516681d465141539defe6f886592bddc0389","datavalue":{"value":"1187.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844156$D002C3DC-26B1-4A67-99E1-62113B5D9EB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844156$A8101678-D0AC-4BBE-8DD9-4824CC2FF9CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"160ae7be62905e153a649a9a4d09ab3aa02ded62","datavalue":{"value":{"time":"+2010-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q844156$1217ACE2-A6FC-420E-8D78-955B68442302","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15fe521dfa3c7ed18dbf83155fae49dfc9788f03","datavalue":{"value":"http://bura.brunel.ac.uk/handle/2438/353","type":"string"},"datatype":"url"},"type":"statement","id":"Q844156$922FDCB5-AED1-4F08-9BD0-04D580846722","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844156$CF78DC13-80FD-46F2-9FC3-4C8B0F23148A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eeb0a386be134e9ebf6f437c98502e8af14940ec","datavalue":{"value":"5659902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844156$64B321BE-2096-4D6F-B008-8DF178724D47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f1c89429c62361f27580ddeb24eadac3884da97","datavalue":{"value":"state-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q844156$BB65E6CC-59B9-4EE6-860C-922472AA2D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb30ba89466989d1f418c9740bea8254f83abbda","datavalue":{"value":"test execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q844156$05E2D4F0-A76A-44B3-A6DF-F499B6F4B027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675edabbc76a2b198cc39323d2aea382fb1dbf39","datavalue":{"value":"adaptive test cases","type":"string"},"datatype":"string"},"type":"statement","id":"Q844156$EC5F327C-6A62-4228-A032-0F099D88E273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea76a2266647856b828aee46f5bdbd0f7d19127","datavalue":{"value":"nondeterministic implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q844156$E1EF60A3-E611-4577-A9A8-CD926A63B80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42d78f5bfcdf70c79af66754cab7758c8224d387","datavalue":{"value":"minimising cost","type":"string"},"datatype":"string"},"type":"statement","id":"Q844156$2AB12198-B243-45F3-92E3-E9209E65FA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q844156$4E6E693A-D956-4440-89F8-8835D22D3C10","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":"Q844156$2DA27718-733D-4973-97F7-7E1DB3A83203","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":"Q844156$5C3A5CCA-DB19-4B25-AEFB-AEE777804530","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b66fda0e7ccf8ec7733db6a7479e466dc186369","datavalue":{"value":"W2147259298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844156$7A27A3CC-4BF0-48A3-9B9E-66E874E6C67F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"881fb01546adaf994069e1d1abb4c1fba2aec26e","datavalue":{"value":{"entity-type":"item","numeric-id":5900957,"id":"Q5900957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844156$70269FFB-A3E3-4DAC-9BE3-E2BD0BC1546B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3bdbbaca097da63eb7e6a84c53da21ac01f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":1041743,"id":"Q1041743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844156$F8B2ED4B-8421-496B-B15E-E9EF814201FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7899a20b62580ca983b448ed1f78d13311608ee","datavalue":{"value":"10.1016/J.IPL.2005.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844156$C326E6DD-17EB-4449-AFFF-4B8486FD378C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applying adaptive test cases to nondeterministic implementations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Applying_adaptive_test_cases_to_nondeterministic_implementations"}}}}}