{"entities":{"Q1898202":{"pageid":1908944,"ns":120,"title":"Item:Q1898202","lastrevid":69403953,"modified":"2026-04-13T06:46:29Z","type":"item","id":"Q1898202","labels":{"en":{"language":"en","value":"A fault-detection approach to the conformance testing of nondeterministic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 799677"}},"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":"Q1898202$8AF2CB02-0ACE-4058-AF97-7C2786B047CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b5ba984fae666c6847a5815518bfb5af99c93cc","datavalue":{"value":{"text":"A fault-detection approach to the conformance testing of nondeterministic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1898202$CB4148D1-AA5F-4F60-B602-0FEA631E5006","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a80ea5a8726647b7daad59b641ad5ede645c17b8","datavalue":{"value":"0833.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898202$3EA3E631-7C65-47B2-B482-FFD8FFFEC4DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d008098fecca008b1ada01d49f31ae5cfc2496c2","datavalue":{"value":{"entity-type":"item","numeric-id":364435,"id":"Q364435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898202$63610A2E-DC04-43C7-B88B-5B03FD544F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fc6cf9246738859993f166223356cde93107b42","datavalue":{"value":{"entity-type":"item","numeric-id":703480,"id":"Q703480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898202$7F1DE96E-C81C-48AE-AE69-823D8D7B0A1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1a1e419db9a491566962c608d7eb540caa9bc60","datavalue":{"value":{"entity-type":"item","numeric-id":86622,"id":"Q86622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898202$93776D54-DCF7-47AB-A946-046D504146AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e5f9c9b4aa626b50a4947c04949645549a257c36","datavalue":{"value":{"time":"+1995-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1898202$1B54836F-796E-4BA9-ADA2-4B86FE61B91D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898202$F812C7AE-DE34-4888-B38F-61446E017F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898202$81EAE8CA-C777-418F-9F33-5101C674A997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898202$6E7642B0-7EE3-4E8F-98BB-93DAF0F16BD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dbd7b7de2c0d0eb6238e352949f1dd6e84a8240","datavalue":{"value":"799677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898202$2CD14BB2-F89D-4245-9CB5-5F6D4E067084","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7fe7a1f1a2e7d567f782447e7ff7ad9da4396d2","datavalue":{"value":"implementation under test","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898202$7FABD220-A623-45C6-AC36-C55A1CA90096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5cd5497c400a4a97b6a06a59f4147e410adbc29","datavalue":{"value":"system under test","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898202$6B9AD893-F5FE-4083-8C97-037AAF3DE74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f885488b6bd5b2b8b8f1ae35c6fb71ed39faec","datavalue":{"value":"deterministic finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898202$B7747618-7FB0-4CE1-AFA5-2154E6E31BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee2710153431b798043b85ed7853aacbb230b5aa","datavalue":{"value":"fault-detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898202$09BB9A42-52B2-4E14-B363-20AE0D1F1547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cd096fbe51368a7529e7609cb813ad3c29a70e","datavalue":{"value":"conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898202$03A6D743-1B44-42C0-A33E-31C95960BE85","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":"Q1898202$B2475054-C3DB-4DFF-98C9-5D8D91F61A1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3309f690f0e989582baf9a6777dad10a85586ed","datavalue":{"value":"https://doi.org/10.1006/jpdc.1995.1091","type":"string"},"datatype":"url"},"type":"statement","id":"Q1898202$9307505F-26EE-429C-93BA-2D56770DE6E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82875556967df05e9944fbf815920935fb29da7a","datavalue":{"value":"W2008823968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898202$0BFFABD3-74D2-4021-8108-E71688981A70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ea08269453d4c8c5db98e22bf452cebdae41710","datavalue":{"value":"10.1006/JPDC.1995.1091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898202$4A5A2BE1-FAAD-4480-BFE4-8FEE32602E5B","rank":"normal"}],"P1643":[{"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":"a78c1ce67b018a188d2027c013c6c3d0f2e15a79","datavalue":{"value":{"amount":"+0.8610721826553345","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":"Q1898202$10B49E70-AB64-45BB-85A1-B9E0FA90D414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6b72fb6da5ffafb6f539da1351e6ace37cdc77","datavalue":{"value":{"entity-type":"item","numeric-id":1286277,"id":"Q1286277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d978b0a7817d7dea8b814c6e95f73826345585a8","datavalue":{"value":{"amount":"+0.7871613502502441","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":"Q1898202$8B234BC2-80A9-4179-B62C-71E130FD2BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e78ff97c5d5fec3de1cb1a5490092f10ac85f0e3","datavalue":{"value":{"entity-type":"item","numeric-id":1001893,"id":"Q1001893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d978b0a7817d7dea8b814c6e95f73826345585a8","datavalue":{"value":{"amount":"+0.7871613502502441","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":"Q1898202$DAC7CD23-A097-4DD4-A736-2B22B5FFEB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d9cfbb0c179c930d4adcfc4946b258af89246d","datavalue":{"value":{"entity-type":"item","numeric-id":3434606,"id":"Q3434606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39bf5e31197447aa93c24f10cd685bd475f8e622","datavalue":{"value":{"amount":"+0.778830885887146","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":"Q1898202$C4E21D32-92D0-41FC-889B-58F31AE10D58","rank":"normal"},{"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":"830cfee57499ea33dc06a61cd6e0ab04203e8051","datavalue":{"value":{"amount":"+0.7562512755393982","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":"Q1898202$60BAAE05-37CE-42F6-A302-B8EBCA243861","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fault-detection approach to the conformance testing of nondeterministic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fault-detection_approach_to_the_conformance_testing_of_nondeterministic_systems"}}}}}