{"entities":{"Q3434606":{"pageid":3445309,"ns":120,"title":"Item:Q3434606","lastrevid":46248202,"modified":"2025-12-24T09:47:21Z","type":"item","id":"Q3434606","labels":{"en":{"language":"en","value":"Conformance Tests as Checking Experiments for Partial Nondeterministic FSM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148559"}},"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":"Q3434606$1427A0C1-9965-4EF2-AEE4-C49F49A2F5DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dc3e0d05e08f082ac767347505e2200d3bc6598","datavalue":{"value":{"text":"Conformance Tests as Checking Experiments for Partial Nondeterministic FSM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3434606$9B813164-F6A8-4ADA-AD80-DB10C3595104","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"024bf7f61762d30de50bf26b3f0165fd09c7efce","datavalue":{"value":"1183.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434606$89F7A54F-379C-44F5-9E37-DC4D5A941CA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fedbb08ea08464e3c0c0b46ece468e946de8e31","datavalue":{"value":"10.1007/11759744_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434606$090CF7B9-2C04-426F-B0A5-50006A368E44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c3cb05b8fb53298afece860e038baccd22a9e17","datavalue":{"value":{"entity-type":"item","numeric-id":2024335,"id":"Q2024335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434606$214096BE-4335-4813-B883-17C686294ABA","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":"Q3434606$FB72DE3F-1EEB-4AC0-AECB-61562C56E849","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc2fb925f19d0a41d935c0d2a5f60b67d0da69d3","datavalue":{"value":{"entity-type":"item","numeric-id":3434602,"id":"Q3434602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434606$9E98AF7A-F5C1-4E34-9773-87143656E20A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434606$A08702BC-7E1E-445B-8CEA-6F8CF7369726","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434606$6F9D00FA-E72C-4621-B8C7-4D2946A5B511","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7a220c2b8cc4e8107f02a076b02e47c3b1e047c","datavalue":{"value":"5148559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434606$4348EC6B-5F6E-49DF-BAB0-E8AE378E241F","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":"Q3434606$65BCE4B9-C77A-41DE-9F78-0C742FF7653F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d9ba1a6d9bd2dbf7768d2e7f532c37c60fc143d","datavalue":{"value":"https://doi.org/10.1007/11759744_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3434606$DB9E5FD2-9E35-4674-938C-1FA1FE979256","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a1785c2ccfc1ffbde238c353c6b76b369642ed8","datavalue":{"value":"W1496915765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434606$4877BD26-C4CA-44B8-9327-2108CF139D0B","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":"Q3434606$5820FEF9-2B73-42AD-80AF-454671C9A1B9","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":"Q3434606$72DFC7C5-5E92-41D8-A6A8-869EDC38E45B","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":"Q3434606$76F6DB2D-3DAC-4131-A090-CB6281B7099D","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":"Q3434606$E748AE69-CF05-47F2-B852-28EA6B43B626","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":"7b08f5e4dec1181b39d08049219e9fe1721d21b0","datavalue":{"value":{"amount":"+0.91307575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434606$5798FFC4-5163-42B0-A53E-4F198DA278BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a332029eba54abd405d678a1d226a3c24cac94","datavalue":{"value":{"entity-type":"item","numeric-id":1898202,"id":"Q1898202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ca6e9e4bdd43031d7917dbcf26bb2e6f7effe2","datavalue":{"value":{"amount":"+0.9041593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434606$7E71CF75-46C0-4D2E-9401-AD7423932884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f31d5a560d809eeca6627f5a506a44da3ed03c1","datavalue":{"value":{"entity-type":"item","numeric-id":5881272,"id":"Q5881272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7706818b3d7f18fb3fe1008b3268724a51245a39","datavalue":{"value":{"amount":"+0.87583804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434606$6D0B7FFC-9427-4C4D-BB77-7F26B19BAFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d77a8a4d278a87f1125a4c49d5cb18dd60f229","datavalue":{"value":{"entity-type":"item","numeric-id":5897078,"id":"Q5897078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced0dd8338f973e9ac25c5a80f0d62cdcadfabae","datavalue":{"value":{"amount":"+0.8610492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434606$3629ECE9-5FF3-46DC-A4FD-64631AE6782B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a537fc0a1e5caabb38b654317b6efccfe1f45219","datavalue":{"value":{"entity-type":"item","numeric-id":1123589,"id":"Q1123589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0613af985a57385bd7790417bdfaf66b4bbd1634","datavalue":{"value":{"amount":"+0.8596244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434606$69717228-BE0F-48E6-B581-385A60C1FD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9be42dc9e76d0c75b6b7b0fd634163b4b56f8aa2","datavalue":{"value":{"entity-type":"item","numeric-id":5316435,"id":"Q5316435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0cfcad5e41ba9e9c1aef27259bcf26cddeedc3f","datavalue":{"value":{"amount":"+0.85931355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434606$3784D315-9367-4FED-95B7-2FC94C627FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32059877291e06f6b80f75a58de24257c0885d2","datavalue":{"value":{"entity-type":"item","numeric-id":3434652,"id":"Q3434652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3892dcf4d89c86dbcacb6293bcdd8ed6087b19ff","datavalue":{"value":{"amount":"+0.85802233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3434606$C6C84F2D-4E0C-4EEE-A6AF-79E25A77DE5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3434606","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3434606"}}}}}