{"entities":{"Q3070874":{"pageid":3081590,"ns":120,"title":"Item:Q3070874","lastrevid":51173333,"modified":"2026-01-17T01:58:08Z","type":"item","id":"Q3070874","labels":{"en":{"language":"en","value":"Formal black box testing for partially specified deterministic finite state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5842449"}},"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":"Q3070874$438B1966-37F2-4700-B09F-885DB922AD08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b95e3b024a7de7238aecd05d1f352f5e3ca78fc4","datavalue":{"value":"1204.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070874$4BCCD3DA-8C15-4C6D-A888-B4897D719040","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4d8e2495260234e162408fe80dc54cf4eda3d8d","datavalue":{"value":{"entity-type":"item","numeric-id":204593,"id":"Q204593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070874$28CC1576-CF39-4492-B9F5-297D86CBE5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"796a4ed2b345ccc4a5578468dd3a43ece3c7f227","datavalue":{"value":{"entity-type":"item","numeric-id":204591,"id":"Q204591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070874$56DAE1E4-6466-4F99-AC83-FFCB45AEFA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780ef79608749556230cbbde02f78eda1ce0cdb","datavalue":{"value":{"entity-type":"item","numeric-id":204589,"id":"Q204589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070874$FF3BF45C-B0CD-42C1-84EE-458D3F593A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8183de78d0d340155cbc189c941a45123fb7a62c","datavalue":{"value":{"entity-type":"item","numeric-id":204584,"id":"Q204584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070874$BE81A8C3-B8B9-430C-BB6D-036F9691ED03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06195afcf914ef9e79b11bcc5c6c722311540879","datavalue":{"value":{"time":"+2011-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3070874$8250F172-9CE3-4F43-9C1B-A0428BFC2517","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070874$B59B9DDB-EF42-4D9E-A351-7A8A4500D9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070874$CBECE17F-CA87-4C16-AADB-AA92964A9445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070874$0D25BA66-06E2-401B-BAB9-318F47BA5BE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76b41fff6b9cf9ff1cba0bcee622d36c0647559b","datavalue":{"value":"5842449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070874$25BE3352-C890-45B6-A058-7B28296451CD","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":"Q3070874$D716D726-7E2F-4918-8962-697BC4AD4D35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c98a9a8bc91e9018656290b8a07cbe7c2d32c2a0","datavalue":{"value":{"entity-type":"item","numeric-id":4900302,"id":"Q4900302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dee26b4ce81e5abcedd03bd313905eb3d622c6d","datavalue":{"value":{"amount":"+0.9143148064613342","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":"Q3070874$D9A848F2-50CE-4632-BE36-2CF844FECB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1d2890b521d3e32db14a7118da02df862bd205","datavalue":{"value":{"entity-type":"item","numeric-id":3018215,"id":"Q3018215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2cf91f4ca8f211d96bce3ce2b1c304b0123e09","datavalue":{"value":{"amount":"+0.8149704933166504","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":"Q3070874$A891A529-A50E-424D-8298-3B8287F9613C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d80117fc02ca1460d1c0dd3d627d522eceea716a","datavalue":{"value":{"entity-type":"item","numeric-id":2432227,"id":"Q2432227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304e46c39838c2d0f19f5cd2d2cfe5df095dcdaa","datavalue":{"value":{"amount":"+0.7818926572799683","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":"Q3070874$EF6AC0CF-7520-4C9E-A670-B633FD40EA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eedea8948a27616e204629a4a8c0befae1bca6ed","datavalue":{"value":{"entity-type":"item","numeric-id":4900328,"id":"Q4900328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c6302433cc5ef53515ddf1969b2513227cd416","datavalue":{"value":{"amount":"+0.7812175154685974","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":"Q3070874$2FFD64A2-F1F7-4B5C-AE15-AF6B0FC9CCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02501a52b17d3b52cab6fe2a3c94661425e88cbb","datavalue":{"value":{"entity-type":"item","numeric-id":964395,"id":"Q964395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0eaa01e3a67617335a868367271faa164fe797","datavalue":{"value":{"amount":"+0.7797662615776062","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":"Q3070874$2B4986BF-7EBE-4BD2-A9EC-CA7715D1A6F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3070874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3070874"}}}}}