{"entities":{"Q1764430":{"pageid":1775172,"ns":120,"title":"Item:Q1764430","lastrevid":43314740,"modified":"2025-07-24T15:38:02Z","type":"item","id":"Q1764430","labels":{"en":{"language":"en","value":"Complete deterministic stream X-machine testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2138508"}},"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":"Q1764430$6E128F59-89DA-4160-AF9C-ED915018E3A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5464891da30ee8dfc866e1346a29de7208c36a7","datavalue":{"value":{"text":"Complete deterministic stream X-machine testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1764430$D9475823-5C92-4EB0-9DC7-C0A9CB2A1293","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1901363087c21f6e4c1fe03cd7a5d33a72b7652a","datavalue":{"value":"1061.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764430$DD32F767-F5DB-48FD-8B73-7D5E4E968863","rank":"normal"}],"P16":[{"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":"Q1764430$57E1DD4F-FE7C-4BA2-8A48-9C26F55C6B14","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":"Q1764430$58295216-070E-4BAC-8F8C-F23AB112B755","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acb9018679bc717a3868823379e1b5aa1d36ccf9","datavalue":{"value":{"time":"+2005-02-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":"Q1764430$71FDE793-576A-4485-B0B5-0B59698153F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764430$13F8D7D9-2040-433D-B3C5-A92C21CF1E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764430$A3B63B89-0B52-4906-9B4F-0053E463DC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764430$9D7F5917-A133-4BB4-85C6-449BF380A3DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebdbc1afaf56466f99e0325154f2e3191dbbf72f","datavalue":{"value":"2138508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764430$0AE7AD40-298C-430E-B3F6-6DF048718211","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1cfd3516f50b4c0c78b0b606bdd11ce9fb503e","datavalue":{"value":"Testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764430$BCD62418-7912-4592-8134-095D4CAB2EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3d5f3189b95b8809f14a0cc0c089931fd73fa93","datavalue":{"value":"Test set generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764430$692773EA-A660-4C28-AC82-AFE2E6ED5511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efc039af2773d4ab30cd2fe931d16b7ba5c9d242","datavalue":{"value":"Formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764430$281ED815-BB4B-496C-9CD7-470DE59B1E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54277f3fdafcf6bcc40eaaad9172a7155d73d1f1","datavalue":{"value":"Stream X-machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764430$E9D803E4-DAA2-4960-86C1-365B0F8EDA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a2cc3d0d564877e056329e6fa58a7a0ea37d95b","datavalue":{"value":"Finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764430$47089477-C110-43A1-800F-65E5D49DDED9","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":"Q1764430$020435E8-E61C-4BF2-A75D-6C9D483E7841","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4874fff7764c8c198ed2ee6f3bfff6c69c7fde54","datavalue":{"value":"https://doi.org/10.1007/s00165-004-0045-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1764430$948B769E-F1C4-45CE-8EE3-CC080DDE6276","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2ec9a85b7a7da9bd951b75d84a710b877576875","datavalue":{"value":"W2020382180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764430$67EF47BA-21A4-4D0A-A390-D5936CDE475E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8af5b6e168f733aee039af0bfd760400f54f404","datavalue":{"value":"10.1007/S00165-004-0045-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764430$14B5B0A6-A243-498E-BE30-605D8CE8305A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee488134ff004d080909980efe50042a0a01aa6c","datavalue":{"value":{"entity-type":"item","numeric-id":3022297,"id":"Q3022297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a7522909a91b81175bd391b8e08dffc151666a","datavalue":{"value":{"amount":"+0.94762063","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":"Q1764430$8E6E8814-5DE7-4701-8CC9-F2CCF7F7E3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b67387454b6bfe372fd9f594c0996e427ea9354d","datavalue":{"value":{"entity-type":"item","numeric-id":1882901,"id":"Q1882901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187be09cac8f24415a3b15e6b6436105d4754c28","datavalue":{"value":{"amount":"+0.9194168","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":"Q1764430$C73425DB-692D-48CB-AB6B-9AE753F26CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a40f63d63551745f3a5babe4881c151e261721","datavalue":{"value":{"entity-type":"item","numeric-id":5944212,"id":"Q5944212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c90cb30e37d0c3271ce1ebc0cb6072c4f9fe26","datavalue":{"value":{"amount":"+0.91912675","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":"Q1764430$6EBD611B-DCAD-43D0-A1E1-F9D5FA457ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd81cde448863c8dccdca9c541ac5caeb731127e","datavalue":{"value":{"entity-type":"item","numeric-id":1019006,"id":"Q1019006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a598e587511a0fcdd929fb20db3c5f1914781d2b","datavalue":{"value":{"amount":"+0.91433334","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":"Q1764430$C30A265E-FAF1-43F4-8D35-565EBF899CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fcc8d9683eee101fa24ebea4bfc2c1b4d0b589","datavalue":{"value":{"entity-type":"item","numeric-id":1413646,"id":"Q1413646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330500a7d70378ef8ee5afeff16985c437fbe0be","datavalue":{"value":{"amount":"+0.9126455","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":"Q1764430$6C827017-7A16-4DFF-82B2-6D6DA94F84A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d36c8ed93bc74a02ec4e47bfd3bba05b287c147a","datavalue":{"value":{"entity-type":"item","numeric-id":5179428,"id":"Q5179428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0c7d9b4c9c1e7fe4dbd27d5ad1ee63014d2fa5","datavalue":{"value":{"amount":"+0.90249103","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":"Q1764430$91009419-B30A-4789-8085-712E7D3CDCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d636d1eed804eb431555d5fd8ccf4ea81c070e28","datavalue":{"value":{"entity-type":"item","numeric-id":3005247,"id":"Q3005247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0c7d9b4c9c1e7fe4dbd27d5ad1ee63014d2fa5","datavalue":{"value":{"amount":"+0.90249103","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":"Q1764430$E2484377-97C1-4C1F-97C3-50D839D26925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ef421f2622b44d00c4fedfe5267a1f312c29ea","datavalue":{"value":{"entity-type":"item","numeric-id":5944213,"id":"Q5944213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bcbc508423286fb8f9d91c553d27b85835eddec","datavalue":{"value":{"amount":"+0.900862","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":"Q1764430$64BF7624-3DCA-4E79-89EC-B80780909001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37a7137c9499f03b353d71b6f4e0a301113b4e2","datavalue":{"value":{"entity-type":"item","numeric-id":282085,"id":"Q282085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e76cae8b65d410b19504755429c184b0bc79b7","datavalue":{"value":{"amount":"+0.8953084","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":"Q1764430$73FD8BDA-FEF6-41F4-8F53-157277ACA617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe33e834bf3155c02a5d4c319541641a8a766f49","datavalue":{"value":{"entity-type":"item","numeric-id":1606072,"id":"Q1606072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6975561ed613644f1134df1c066fe938471819","datavalue":{"value":{"amount":"+0.8951767","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":"Q1764430$19273459-807A-4036-894E-8629D49AE050","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1764430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1764430"}}}}}