{"entities":{"Q5414484":{"pageid":7444058,"ns":120,"title":"Item:Q5414484","lastrevid":51993317,"modified":"2026-01-20T17:13:51Z","type":"item","id":"Q5414484","labels":{"en":{"language":"en","value":"Distinguishing experiments for timed nondeterministic finite state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6292306"}},"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":"Q5414484$36A15D48-8C5D-44AF-B8F8-714739B101F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b5cfd7f98b1990e5ac5ef78ad870b08791a609c","datavalue":{"value":{"text":"Distinguishing Experiments for Timed Nondeterministic Finite State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5414484$BA53D08E-8087-473F-92C3-0663B7AAE209","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a11918c2750dd416254d84f08c22613556c513d","datavalue":{"value":"1299.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414484$01C365FA-46B8-4020-99F8-9027BE0C00BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05428a76f181494b234357e2da9428db6d71181f","datavalue":{"value":{"entity-type":"item","numeric-id":856739,"id":"Q856739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414484$4895DD87-ED62-4730-8D60-FF81358407E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b539d05a9a30da2922141dc0c58f18657c5d822a","datavalue":{"value":{"entity-type":"item","numeric-id":5414483,"id":"Q5414483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414484$F764149B-4DFF-4EB7-B08F-5E6EC3972793","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":"Q5414484$11CB5C38-E338-455B-9B83-91A723263266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb643b5a11eb3ccd06ec257dbf55babc2755030a","datavalue":{"value":{"entity-type":"item","numeric-id":1758680,"id":"Q1758680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414484$0971F092-2066-4943-8379-B211344893B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a48ab4f78ae1700d4809c5ff5f0191168fe3ff96","datavalue":{"value":{"entity-type":"item","numeric-id":2803044,"id":"Q2803044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5414484$ABC5DD92-D80D-41FF-AA34-D0CFF0FF3E3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"508cc29e0aa4f61be19bb0de1fbe5e07c06c0f78","datavalue":{"value":{"time":"+2014-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5414484$94C668B3-4B7E-427D-BE32-690A6167B37D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414484$5A5614B1-01BB-4C30-88C9-042E16FBFDF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17c8b6998b41a9486810a47f51dfb97465797106","datavalue":{"value":"6292306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414484$84DBAC74-481B-40DE-BB3D-CD2413537C62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2075a0a4a09f194aabc3ae3e0d0598b5c44c029c","datavalue":{"value":"nondeterministic untimed finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5414484$C25ED4A7-369A-43F7-BE4C-104FB6719ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b60a4f3f00b1d30b015d9e421345006a33df99e7","datavalue":{"value":"nondeterministic timed finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5414484$40C58F99-95B1-424C-9577-A92F59D59DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f47cb1705cbc624f7e127740a38e7a05c66e5cdb","datavalue":{"value":"preset distinguishing experiments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5414484$DD66EA97-EF7E-4A94-8E48-29BE1A828019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa93214300a9b488decf25888dee1a34984de609","datavalue":{"value":"adaptive distinguishing experiments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5414484$8AB5EE93-7817-466D-87BE-58BE23F24ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d46816da6e6f53d8b861427e62776342b3f73591","datavalue":{"value":"state identification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5414484$7141C799-1B97-4FEA-A8C0-0995E5D6C18B","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":"Q5414484$E1C21D1B-A81E-42AF-8742-269386C23958","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3866f14b8317df1a1ace2af2cd6be792eac6d03","datavalue":{"value":"https://doi.org/10.14232/actacyb.21.2.2013.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5414484$61B0A9CA-B16C-4C93-A737-A66D8E8D7E14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b24dd42c6f0a0f838530030a03d551461dd16e24","datavalue":{"value":"W2400952657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414484$657B8840-43A0-42D1-A702-A1A9F6879294","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"757b05411314c68614b22676971baeec371e9bd6","datavalue":{"value":"10.14232/ACTACYB.21.2.2013.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5414484$6796A970-8671-472A-A6A5-6124D98430CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2342979202bc3b8a4c859fac1ba26f490fe668f","datavalue":{"value":{"entity-type":"item","numeric-id":1758682,"id":"Q1758682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b07ebe167f88a1b6333364d6e2241e91ff1849","datavalue":{"value":{"amount":"+0.87739497423172","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":"Q5414484$4AE4C67A-6703-434D-978D-0933D55B7868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"394be98bb0de35046539e13494316e47d4eea3fd","datavalue":{"value":{"entity-type":"item","numeric-id":1758706,"id":"Q1758706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b00846b64075c799b5dc72f4782175b6d977401","datavalue":{"value":{"amount":"+0.8255932331085205","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":"Q5414484$65C38892-AABD-42E9-B3A7-4F3475FFB523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b43a3c8745374ebb1e7e8cfc838a836ae20ae3fb","datavalue":{"value":{"entity-type":"item","numeric-id":5146121,"id":"Q5146121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ced9e71e01e8c2e5c386bf5d18043342cc55874","datavalue":{"value":{"amount":"+0.8004459142684937","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":"Q5414484$8BE6A048-AE07-4E93-9DC7-B3C8DFBC61FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671edd8dd1bde4b57eeb046f66c62b5d39bd896f","datavalue":{"value":{"entity-type":"item","numeric-id":5060074,"id":"Q5060074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3029a8ea41f171eb438dea14064087fd238e47c0","datavalue":{"value":{"amount":"+0.7487154603004456","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":"Q5414484$12AF143B-38B7-4746-A698-B1A7DCCF5ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b1b0839f14810299f1635a3151e954d5511737","datavalue":{"value":{"entity-type":"item","numeric-id":1707350,"id":"Q1707350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b2d42917e274d3170681b9d602c3530ed53f17","datavalue":{"value":{"amount":"+0.7465423941612244","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":"Q5414484$AD846006-35D6-44DA-A7C4-7E89E9C835C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5414484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5414484"}}}}}