{"entities":{"Q1707350":{"pageid":1718091,"ns":120,"title":"Item:Q1707350","lastrevid":72826755,"modified":"2026-04-14T08:06:14Z","type":"item","id":"Q1707350","labels":{"en":{"language":"en","value":"Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6854758"}},"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":"Q1707350$02635674-CB87-4C40-8018-10107516F1A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0f3fbc02748b838fdce6b733261e022733c0b12","datavalue":{"value":{"text":"Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1707350$4CA2E801-FFFF-4599-99E1-1D94E334283C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d39d6b144c6dd779ff12b754d510efc6fc25e3d","datavalue":{"value":"1382.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707350$64F6F252-C309-4FBB-985E-7AD9D3DFCE55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05428a76f181494b234357e2da9428db6d71181f","datavalue":{"value":{"entity-type":"item","numeric-id":856739,"id":"Q856739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707350$1FEB85A0-4849-4469-9CA6-9FFC477658DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d1e9d1afb50bb50a42229c9a97c1d3116256705","datavalue":{"value":{"entity-type":"item","numeric-id":413310,"id":"Q413310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707350$78D482E4-FDE2-4B61-8D43-839A89401F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9e82f1f7e489efdd42f3340e820dbf5a057ba86","datavalue":{"value":{"entity-type":"item","numeric-id":1707349,"id":"Q1707349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707350$71ECEFB0-360A-4AC0-B27D-9EEF00D7846B","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":"Q1707350$9E18F2FE-F595-4A0B-8F52-C8FBA8F4FD9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd3c7a1512e9f937cd8f2a23c9198445c7d7808b","datavalue":{"value":{"time":"+2018-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1707350$C275AB10-FBDA-4810-AE0D-97D14865B795","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707350$CA5577D9-2858-4007-9E6A-BFC161C9FD08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e97b5bb98fdb81e0a01459d5e8f1914801422f80","datavalue":{"value":"6854758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707350$429A18FA-B0EB-45FF-BCB8-62B79AFDE459","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa93214300a9b488decf25888dee1a34984de609","datavalue":{"value":"adaptive distinguishing experiments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707350$2E660653-4AA0-4B11-8F49-37E4600CB836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"018e728b6a956c077cc9a3dec4c583c08b56f297","datavalue":{"value":"nondeterministic finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707350$26D4050E-7731-4B39-9872-F842A82EA3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14afb242cc696c71e4a4ded050e14c1b412f1ca2","datavalue":{"value":"finite state machine based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707350$C9F03EA0-9812-4D49-BDF7-F26C7C91F734","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":"Q1707350$F29AF76C-68A7-4EBE-95A7-849569D71EFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7314289c82ae1f6104bf6dd5d20103f6d128779f","datavalue":{"value":"https://doi.org/10.1007/s00165-017-0450-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1707350$7D8A79CF-AEAD-4778-956F-047D47BD844C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd959ac353097dffa321d3ed1526a951b7c23b71","datavalue":{"value":"W2789083248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707350$9A5E2C4F-0140-4C0F-850B-12233DD43681","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":"Q1707350$27A37EAF-6FB7-443D-823C-EBF1FEE4C2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e779fc36d0d4a820f8a083dc328ff97c6eff1c","datavalue":{"value":{"entity-type":"item","numeric-id":5338331,"id":"Q5338331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707350$EF479753-7110-4D2A-BB09-30217C05448E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f6df8d0a584e5a29966f35590cef9394cb10482","datavalue":{"value":{"entity-type":"item","numeric-id":736851,"id":"Q736851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707350$676DDD77-CD89-4D3C-AAC3-A06C765ADC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375945d53279ba3bd449c119959570e6cf20fc1a","datavalue":{"value":{"entity-type":"item","numeric-id":4165287,"id":"Q4165287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707350$C36AD843-6268-4460-9BA9-D20D10F6BEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae08aa803341fc983610d8e491c6ea8ec0f0183","datavalue":{"value":{"entity-type":"item","numeric-id":5200066,"id":"Q5200066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707350$C7D7AC88-AA6A-4B26-8F85-19D816F257B5","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":"Q1707350$11D1056E-0310-4F40-B6E8-183B4031E5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abed617b611e7412e34d84a33b500d3bb3d6ec38","datavalue":{"value":{"entity-type":"item","numeric-id":479811,"id":"Q479811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707350$60B9EBE7-BE04-442B-9399-44F8AD6EDB72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1071c899a924769da1e9092f039f37d7aece8f9","datavalue":{"value":"10.1007/S00165-017-0450-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707350$C0AB723E-2B6B-49A4-823A-062A2AF8DE79","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d085788d344091bceef46fa0493c00b65da3ebaf","datavalue":{"value":"Q130955158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707350$937DC74D-C6EB-472D-9CFD-EDF89BA2FA87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"164c5521a23520fdca567d29339c675d5e3ea64d","datavalue":{"value":{"entity-type":"item","numeric-id":413312,"id":"Q413312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1df48414b034121037e5b24d708c43ce92cba2bf","datavalue":{"value":{"amount":"+0.7926852107048035","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":"Q1707350$C09F9FAA-CFCF-45FE-8B08-1082D84B2177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b43a3c8745374ebb1e7e8cfc838a836ae20ae3fb","datavalue":{"value":{"entity-type":"item","numeric-id":5146121,"id":"Q5146121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd9c6fd00b79ac32166efbd48a892bf7a0c7616","datavalue":{"value":{"amount":"+0.7845057845115662","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":"Q1707350$801B1B0E-23E0-4A00-9627-3451D5762634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf887b0386cf2a6cd39793b50c9181ddff0674a3","datavalue":{"value":{"entity-type":"item","numeric-id":4245976,"id":"Q4245976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399feaf5b629c5e245dd4802cf4d8ae1a2d0daf0","datavalue":{"value":{"amount":"+0.7749148607254028","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":"Q1707350$8D8ED17A-DAFF-478E-92B0-9293F0D6771B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b8621cc1b3e5f2e667cd2b94ab38fc561f2269a","datavalue":{"value":{"entity-type":"item","numeric-id":479811,"id":"Q479811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138db5d496980e3d9c7702f8bbd4b7bfa802d627","datavalue":{"value":{"amount":"+0.7714656591415405","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":"Q1707350$5AD5FEA6-386E-461F-8603-C36184A7141D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46767bc460dcf2bdd9ba3a63ad943339494e5f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5200066,"id":"Q5200066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e2832f23a2fda6350288304e410a7279cec3a98","datavalue":{"value":{"amount":"+0.766245424747467","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":"Q1707350$3BF66477-E0AC-4C40-80E0-58291497BC30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Adaptive_distinguishing_test_cases_of_nondeterministic_finite_state_machines:_test_case_derivation_and_length_estimation"}}}}}