{"entities":{"Q2368996":{"pageid":2379739,"ns":120,"title":"Item:Q2368996","lastrevid":49821709,"modified":"2026-01-11T01:42:00Z","type":"item","id":"Q2368996","labels":{"en":{"language":"en","value":"Testing against a non-controllable stream X-machine using state counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020395"}},"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":"Q2368996$BE61C47A-B750-401A-835A-50C60CEA8D4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d055dfba843b86bf3659bd6341693cdd274ac27d","datavalue":{"value":{"text":"Testing against a non-controllable stream X-machine using state counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2368996$19B9E6F1-9053-4FD8-A071-250184FB2EC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ba3574bdc86be2d58db492ba92e1d281c941394","datavalue":{"value":"1088.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368996$75B93587-28DA-42D5-8802-0CE967635260","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":"Q2368996$BB8B4308-FBED-4078-8280-6224174BAEEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$B039B7B1-2CC0-4A4D-9E12-FA3367C88285","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-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":"Q2368996$A6E8E27D-5A27-4A7A-BDCF-CF9438CA2F1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368996$48BA17F4-7DA3-4A57-AA18-58D6D7E258DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8725e4ff08263ee3c0d41f16fa1019eb301fc3fa","datavalue":{"value":"5020395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368996$0671D778-5F33-49CD-889B-EC1F790F0D51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bbf91c5a0776f9af26974a1d85da82bc22f2bea","datavalue":{"value":"Specification based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368996$9F75FCB3-957B-467E-B109-EB28C1235D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a966d0d256a51016eb1af7fe29994ff8c727c54","datavalue":{"value":"Test generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368996$B92AFBAB-EC80-4E78-A086-29BFF95669A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e538a64d45ff336e8ec31320304b461735757f2","datavalue":{"value":"Formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368996$F15A0E82-CE78-49DB-A47C-9AEEC7C1C76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54277f3fdafcf6bcc40eaaad9172a7155d73d1f1","datavalue":{"value":"Stream X-machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368996$BF5AD4F9-2A4A-49CF-936E-292C427DB128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a2cc3d0d564877e056329e6fa58a7a0ea37d95b","datavalue":{"value":"Finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368996$9DB0440D-04C4-4E46-BA23-E2EAA76AE937","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":"Q2368996$86821F97-41E5-48C8-BD8F-44DD70E332D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de3fa79c29ae0d86cd95e2ede99cf4579d576957","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.12.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2368996$715EC0FF-1AD4-4E24-B977-BB6F7FCD95FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ed9664bba1de75f4f5f5e2f6cc111a9f05789fd","datavalue":{"value":"W2063422308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368996$028B00C7-56BE-49D3-9E95-3F43D2C8E31B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12a3d07e5f809d810c02f2b9a7ff409b20ad3ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4329016,"id":"Q4329016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$2817D162-86E0-4155-9875-FF9A3B1A4895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ed6107a3a0fa861003addee447b43876d7705db","datavalue":{"value":{"entity-type":"item","numeric-id":5944215,"id":"Q5944215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$29D72B18-E52B-4E2D-A474-D4FB2A2E1A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8385aaf34ee23f190e30015f50c409e42ef3a37","datavalue":{"value":{"entity-type":"item","numeric-id":4520784,"id":"Q4520784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$08BD76D8-E9F8-4618-8346-9B154B1EED46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6757eb1b7e5b929d9634d2bf65aa72ddde37caad","datavalue":{"value":{"entity-type":"item","numeric-id":4782092,"id":"Q4782092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$D130530A-B897-427A-B7C7-55E78C090EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab08097d89d06415c5d60baa788e6f63a681de4","datavalue":{"value":{"entity-type":"item","numeric-id":4803449,"id":"Q4803449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$FD109BCC-81A3-478A-9AAC-028CE0DA29BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acf46a0eef91034a185b9af4eae8590aaf19ab1d","datavalue":{"value":{"entity-type":"item","numeric-id":4413816,"id":"Q4413816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$A666FD98-4286-44A0-BA2C-DCC6A1F00A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f238d2edf1d2775cbe8d930655f91b689226357f","datavalue":{"value":{"entity-type":"item","numeric-id":3070874,"id":"Q3070874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$CDA7EBCD-AF5D-47F4-A5C3-B12599C47C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a81122f0e62b40e2b6758796a80c667bdf2cbd68","datavalue":{"value":{"entity-type":"item","numeric-id":4900302,"id":"Q4900302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$325AD8A7-6135-47F1-AF52-68145652DEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ad92a503a62166d2bbbbd20bd63c0684d9beb6","datavalue":{"value":{"entity-type":"item","numeric-id":1410757,"id":"Q1410757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$D5A6DB47-C694-429B-9DC7-36BEDD749B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e6ae5484c3be96b239f5ee527d4f4183c1edc60","datavalue":{"value":{"entity-type":"item","numeric-id":2432227,"id":"Q2432227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$C5A35595-C0ED-4987-863C-5EB1B54E7E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439e51e6cfdf50a73df8b2deefcda14660157a31","datavalue":{"value":{"entity-type":"item","numeric-id":4158482,"id":"Q4158482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$06A56A95-6ACF-4A47-9BEE-1D0555F6B12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7035153e30e6038392174035e4822f70cf620861","datavalue":{"value":{"entity-type":"item","numeric-id":5944216,"id":"Q5944216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$66325A94-E176-400D-8659-D8079669359F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$177E5765-12CF-49DD-8716-CC04BD53E047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077ff53ae2b2205b555092a4a22f48106572ae4e","datavalue":{"value":{"entity-type":"item","numeric-id":5096726,"id":"Q5096726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$203AB93E-D3DC-4545-911D-FFE7FD963B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9adb2dfd95b3b7437a6954fd33e5afdc5dd6a54f","datavalue":{"value":{"entity-type":"item","numeric-id":4520835,"id":"Q4520835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$E9C240EA-B4E3-490F-A1D7-5BE2C2A7EB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d4f45c17f96842483af4110026631ac60af963","datavalue":{"value":{"entity-type":"item","numeric-id":5944214,"id":"Q5944214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$DFE558F7-5A3E-4AED-8A88-4B6C14DA819B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4000456f42cf960fd13f3c966e5b0107acea3312","datavalue":{"value":{"entity-type":"item","numeric-id":5944212,"id":"Q5944212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$5F39159C-3E99-4BA5-851E-BE6AD12FD3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9589fb2090440a30b7561d890ec8d22478dcae6b","datavalue":{"value":{"entity-type":"item","numeric-id":1882901,"id":"Q1882901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$7802662E-3B89-4C64-84C0-2EC7F32DC1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e298173e611f2505b57682562190be614c1ea517","datavalue":{"value":{"entity-type":"item","numeric-id":4210112,"id":"Q4210112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$6BA7EE05-4A2B-458D-95CB-350EF958171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf41ebeef09fa3deca533dab1f456ceb76e35bee","datavalue":{"value":{"entity-type":"item","numeric-id":4415903,"id":"Q4415903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$5A0A369D-E38C-4220-A1B6-93A41C0DF44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d64afdf7a1f495ac792205a94dd7351efff6fbc","datavalue":{"value":{"entity-type":"item","numeric-id":1764430,"id":"Q1764430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$6746738D-3F33-42AA-B204-24FD973DAA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21729dd575c4f3e119bf7edf78c5210edc7da4b","datavalue":{"value":{"entity-type":"item","numeric-id":3126729,"id":"Q3126729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$ECFB3E46-C641-4801-814F-BFF1B523096E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc421669360219b3e5ce70d68b406fba5c0074a8","datavalue":{"value":{"entity-type":"item","numeric-id":4340156,"id":"Q4340156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$B8D6C17F-A032-4D63-ADF6-D9106C31456B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4956cbc4fb0470c0573d91193af265a43e0eb9fc","datavalue":{"value":{"entity-type":"item","numeric-id":3838255,"id":"Q3838255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$D1E25494-613F-4901-9105-4EAB11AAD580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb3509475cf1ecb7e99ab8f4841b4a17ba6b7ad","datavalue":{"value":{"entity-type":"item","numeric-id":5944213,"id":"Q5944213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$741D7B64-F1FA-4697-AEA8-6334BD2EA4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"981cfa2ebe5a97ed9cb7e879c1a62408e543dc56","datavalue":{"value":{"entity-type":"item","numeric-id":1606072,"id":"Q1606072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$0B92B55D-54D6-4593-BAA9-137FF5668537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f828b3ce0994f1bcefce3c33f25c27f5f90dca8","datavalue":{"value":{"entity-type":"item","numeric-id":1849557,"id":"Q1849557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368996$2CF5F1A9-A6FE-4AF3-9044-FBFA4E96DC2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e6c8cdc140456937aed7dede401a3eaf2c354bf","datavalue":{"value":"10.1016/J.TCS.2005.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368996$E44B72EE-C0BA-40CE-B4DA-94CD3C2CC757","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615f5fe9475c712d7f6a9b82a2b2298672ca96d7","datavalue":{"value":{"entity-type":"item","numeric-id":944368,"id":"Q944368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6eba61074b9bfd8a47d51783d62880281414f8","datavalue":{"value":{"amount":"+0.8696612119674683","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":"Q2368996$1BD4C630-D703-4F7F-ACF3-0D227D169808","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":"849f6dd0b6161e43cb06521f0f15583e940ffae7","datavalue":{"value":{"amount":"+0.8640536069869995","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":"Q2368996$E4B00693-A848-4932-985F-C7A34E52C0BD","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":"f12f5b5b6be8350987502af674fd94e5446df010","datavalue":{"value":{"amount":"+0.8619499206542969","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":"Q2368996$6B9134FF-CEE6-49A7-AD3E-E91B3488193E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca8c13c47b41106a0bea5cf408b52f617eef89fc","datavalue":{"value":{"entity-type":"item","numeric-id":4453204,"id":"Q4453204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9672e93f909390c8b0badbbaac36b1070a802e24","datavalue":{"value":{"amount":"+0.859625518321991","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":"Q2368996$F9A230F3-80B2-467A-80A5-08FFF88EEAA5","rank":"normal"},{"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":"2ddbe87b3d8dafac57f13da2d24a74dbd6e45d75","datavalue":{"value":{"amount":"+0.8566707372665405","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":"Q2368996$C7FDAC84-EBF8-49C0-97C9-7CADC3F34EC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2368996","badges":[]}}}}}