{"entities":{"Q1882901":{"pageid":1893643,"ns":120,"title":"Item:Q1882901","lastrevid":73927983,"modified":"2026-04-14T17:45:31Z","type":"item","id":"Q1882901","labels":{"en":{"language":"en","value":"Testing conformance of a deterministic implementation against a non-deterministic stream X-machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2105258"}},"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":"Q1882901$EDD54737-37D5-4AF2-B864-F6ED780DCDEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00b22c5bde550921718025e3854ce6030e79652b","datavalue":{"value":{"text":"Testing conformance of a deterministic implementation against a non-deterministic stream X-machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1882901$8F824494-9A9C-4051-9E5E-BDB4E10EEF84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dd6ce672c864289fa4fe346675763b20af8aa49","datavalue":{"value":"1078.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882901$60619989-543A-4A41-9ADE-F0C62AD0183C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47b43c51d36527a08ad015888ec278a59385f436","datavalue":{"value":{"entity-type":"item","numeric-id":650918,"id":"Q650918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882901$A033AF58-E499-44E5-B6C1-9B05700A5516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a00842c97861ca85101f8ddc599167c70223ce4","datavalue":{"value":{"entity-type":"item","numeric-id":347399,"id":"Q347399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882901$396E90F6-9872-4FA5-AA36-5EE33B7BE28B","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":"Q1882901$C3576517-AD05-48D8-A844-6EC3FCDEC758","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"221b8cdf103f88fa9a30fbc31f4b00396bad2596","datavalue":{"value":{"time":"+2004-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1882901$4D11ECC1-DF0D-4A4B-BC77-E7C34B447A0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882901$34A434CC-B5E6-414C-BF72-11806E9E0A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882901$42F7F241-E713-4837-965A-E89CB3B97CBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"000cf257df00982d6b7d1228c1184d700fe3dd6b","datavalue":{"value":"2105258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882901$284E35A8-E595-4223-8D19-7513C5793F7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54277f3fdafcf6bcc40eaaad9172a7155d73d1f1","datavalue":{"value":"Stream X-machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882901$DA9AE2DE-6D65-4FCD-B2A3-2673A8048970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1cfd3516f50b4c0c78b0b606bdd11ce9fb503e","datavalue":{"value":"Testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882901$FEA264DB-6C32-46C0-8E27-F62D5A38F1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d028787fe6ee3ba572a1b57e795d51d6c386e73","datavalue":{"value":"Non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882901$158092F5-CEF1-4CBC-987A-E7E3ABC7FE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c141686aba0980838c38b21c6464cacc879a97","datavalue":{"value":"Conformance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882901$6E64AF51-0868-43B6-A5B4-09D73EE64BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a88528e15b1f37432db3c098471b7aa4826987c","datavalue":{"value":"Deterministic implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882901$78F50C62-4509-4F7A-B31C-ABF60E963BB6","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":"Q1882901$5C4E1DB5-D2FE-4D91-A86D-A92E0719A1B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"056d20ae378d6cb3384306c42663780cf78f4579","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1882901$E03350D8-FC74-4D4E-B015-34847279262C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"522eced7dc8621edd862abe67c1bb42aec6b0fef","datavalue":{"value":"W2126308222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882901$41A063BE-9673-46BD-B708-50CA464817C1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cca0d1ddb570c1a1044b67abf932deceaba77c7b","datavalue":{"value":"Q59610580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882901$6D973800-841D-4986-94B3-A1B0BE89BDD7","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":"Q1882901$E7F727CB-2B0C-4188-A892-94EE6FAF4CE0","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":"Q1882901$FC040BA6-C9D3-4A8E-987E-544FB8BA3379","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":"Q1882901$2343BA1A-642F-4270-A630-4483E2BBC08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdd4039390b89be98f162a7f08c84d89b026937","datavalue":{"value":{"entity-type":"item","numeric-id":5684216,"id":"Q5684216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882901$33BB2702-41AB-4431-A63D-F264107818CC","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":"Q1882901$A9B5AEF1-0346-4E0B-B42F-76706D6E55AF","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":"Q1882901$618E963F-D480-4680-9591-437780466A4F","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":"Q1882901$FE58EBD1-F735-45B8-A293-FF1F226AE1CF","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":"Q1882901$83FC7491-5F39-4CC1-9C0C-FEAE4EFD5505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48374c947683789ada9e696c8e3f162ddd6edda7","datavalue":{"value":{"entity-type":"item","numeric-id":3417030,"id":"Q3417030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882901$5384E6D5-7EB5-4409-90BC-10688920C606","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":"Q1882901$0537354B-823D-4D35-B829-E8E43C5AEE9E","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":"Q1882901$E3911C11-D7B0-4538-9087-DDBAC18518DB","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":"Q1882901$C9F7C283-76D7-4FD5-8E9D-C766D6C121FA","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":"Q1882901$10217BEC-CA57-4443-A6FB-A10D93D4B62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027a170d6c137febe9630c9215be9b24dde92ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3239817,"id":"Q3239817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882901$E3F88C82-E340-49A6-B8EC-4ED6CB2563DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882901$30EEB64E-3846-4BD4-B5F6-117000E93F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b694292406e61836b5b724e75b6145e5711bf8d","datavalue":{"value":{"entity-type":"item","numeric-id":3417008,"id":"Q3417008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882901$BD75958E-FD23-47CE-BA5F-48216D03396E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfac75e8271641188f839cf8b157c621c42da5f8","datavalue":{"value":"10.1016/J.TCS.2004.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882901$19B0081E-6E9C-409C-9C3F-3EEC5129D31F","rank":"normal"}],"P1643":[{"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":"26b1931868f4b0f1de419787efb09ee1d672e84c","datavalue":{"value":{"amount":"+0.9177873730659484","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":"Q1882901$56A87324-A913-4B5B-9806-02BB966122D9","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":"26b1931868f4b0f1de419787efb09ee1d672e84c","datavalue":{"value":{"amount":"+0.9177873730659484","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":"Q1882901$962E74EB-79B3-4737-A3E8-ED938E470B2B","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":"f652896eade91fab5974224ef9bfdda613932a34","datavalue":{"value":{"amount":"+0.8997802734375","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":"Q1882901$B8FBD67D-967C-47B8-8697-B3027EB4F8AB","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":"5f6b88dfb2c82edf0cad6108ab7cc697e6bbdc12","datavalue":{"value":{"amount":"+0.8883025050163269","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":"Q1882901$80AB8D16-24DB-4260-A1B7-E8C2C166FF1C","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":"6d5876cc79935fd60bba151cae408cbb384b2cf5","datavalue":{"value":{"amount":"+0.869961678981781","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":"Q1882901$BEA74949-AEEB-44BB-94FF-EF53806D7652","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing conformance of a deterministic implementation against a non-deterministic stream X-machine","badges":[]}}}}}