{"entities":{"Q840063":{"pageid":841911,"ns":120,"title":"Item:Q840063","lastrevid":64732941,"modified":"2026-04-11T21:51:40Z","type":"item","id":"Q840063","labels":{"en":{"language":"en","value":"On the synthesis of adaptive tests for nondeterministic finite state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5601824"}},"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":"Q840063$5C19A12D-6806-4F25-845E-227AC07A68AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"283f8fd8440ebde095acdd0c86e6b80accf4e64c","datavalue":{"value":{"text":"On the synthesis of adaptive tests for nondeterministic finite state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q840063$9F3DD5F0-CB86-44F7-ABB4-FD9852C4522C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dc009f2735828c0c14ed6e718f01a0a96e1ba02","datavalue":{"value":"1185.68387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840063$E7C627B7-2E62-46BA-A93F-D0CC22747C03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2f5cbb830809b26ce6aefd0ee713422a7b40b30","datavalue":{"value":"10.1134/S0361768808060030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840063$75230374-2FE2-48D7-968D-18FAF9726B2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ce7b4dda7e1eb5c7f460ea8c82e7e1464e9d8a","datavalue":{"value":{"entity-type":"item","numeric-id":677356,"id":"Q677356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840063$69844584-CD2C-46B1-AFFB-9F8D846A26C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb643b5a11eb3ccd06ec257dbf55babc2755030a","datavalue":{"value":{"entity-type":"item","numeric-id":1758680,"id":"Q1758680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840063$EF6D50A2-EE03-44C8-A063-8D1312CFAFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da8a039844eba1b6d8fb5b150644520a3494a70b","datavalue":{"value":{"entity-type":"item","numeric-id":355468,"id":"Q355468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840063$623AC5A4-1F69-4203-ADC4-B8F8E594E1D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840063$8D03C73F-6C97-4EE9-949B-C106562A3B15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3acba03562394e6f79ba619ee3ac8327ff4b7447","datavalue":{"value":{"time":"+2009-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q840063$D95E55B9-BAC9-4368-8D70-9898F12C75E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840063$D62F2AD6-A5FC-4257-AB3D-5A40E64C8BD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6c472ea70374fed694329740fadaf4f42233cef","datavalue":{"value":"5601824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840063$053BEDA6-28A2-4743-BA2D-413AEB884DD9","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":"Q840063$4E8E9E1F-C1D4-48E3-939F-4046AD03CB59","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":"Q840063$674270F1-D1A5-41A2-BD1B-287977DD54E9","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":"Q840063$BBB3973B-A4F7-4B7E-9112-72FE7EF51B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f374181708d4c413b3d44676712312cf60511d0","datavalue":{"value":{"entity-type":"item","numeric-id":4415904,"id":"Q4415904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840063$B2F60B32-0BA5-4C16-901C-8C99995CC060","rank":"normal"},{"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":"Q840063$C314738C-17A3-4975-84F4-B6C0946037E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbd0246ccd92887228ae4f6364f614170f1de35","datavalue":{"value":{"entity-type":"item","numeric-id":3434606,"id":"Q3434606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840063$51256063-04DB-4A60-93BB-AAA6BB4E2F48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2d20e3185847ed63637b5e6afc983c12192dd2a","datavalue":{"value":"https://doi.org/10.1134/s0361768808060030","type":"string"},"datatype":"url"},"type":"statement","id":"Q840063$F2289BDE-7023-4466-90B9-3EAD1F39FBB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a412d883d27d091fd199be8506986e5a44122b6","datavalue":{"value":"W2009340103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840063$C0953A11-8E66-4709-A02D-482D5885AD9E","rank":"normal"}],"P1643":[{"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":"a9ce36c776e093f25c83f3e95cdb0768e5f9efcf","datavalue":{"value":{"amount":"+0.8220248818397522","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":"Q840063$7F755DA7-99D6-4AA9-ABAA-E5D524EDF5E4","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":"39580d67366102c04022b745385e233aead8c6dd","datavalue":{"value":{"amount":"+0.8025789856910706","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":"Q840063$719BF314-4DA2-46EB-88F4-4CE8A1268C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e5b0120579d4ce6111566c18354fecaddda62a","datavalue":{"value":{"entity-type":"item","numeric-id":4415904,"id":"Q4415904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9346748879adae64cb2e6dbd013432676b847f","datavalue":{"value":{"amount":"+0.7755864858627319","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":"Q840063$8F6B011A-9E44-42B5-9CA2-148EAB882434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b1b0839f14810299f1635a3151e954d5511737","datavalue":{"value":{"entity-type":"item","numeric-id":1707350,"id":"Q1707350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3fca26b0da659c67a328ae26204acc9c92b44d","datavalue":{"value":{"amount":"+0.7655476331710815","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":"Q840063$7CB33FC6-B9AC-45A9-8BB8-B048850E018C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2342979202bc3b8a4c859fac1ba26f490fe668f","datavalue":{"value":{"entity-type":"item","numeric-id":1758682,"id":"Q1758682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7140495f93b2ec5b308c5cd2d33847044ed0e01b","datavalue":{"value":{"amount":"+0.7594197988510132","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":"Q840063$0F66EB7E-C65B-4C3A-A370-24661BCA3812","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the synthesis of adaptive tests for nondeterministic finite state machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_synthesis_of_adaptive_tests_for_nondeterministic_finite_state_machines"}}}}}