{"entities":{"Q3194124":{"pageid":3204832,"ns":120,"title":"Item:Q3194124","lastrevid":86080175,"modified":"2026-06-03T14:12:16Z","type":"item","id":"Q3194124","labels":{"en":{"language":"en","value":"Realization of bisimilarity control of nondeterministic discrete event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6500910"}},"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":"Q3194124$765F0AFA-D7EE-4BC0-8046-A64CD1CB6EB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6da04ad10fe460e682d10d28d56d7ccded9d90a","datavalue":{"value":"1340.93126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194124$4719239A-60E5-4F65-9EA3-D821DD8E6BE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d778d054310a7e1becf50e68857c1c24cef7508f","datavalue":{"value":{"entity-type":"item","numeric-id":440953,"id":"Q440953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194124$E843F171-68EC-4CAC-A4A6-C5CF0EE2D5C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d39e0f031dafeaa905907e1e92731e668fffa6","datavalue":{"value":{"time":"+2015-10-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":"Q3194124$FFDB865E-8F14-4B25-9A0F-F468562A1235","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194124$ED8199C4-4F3D-4904-ACA5-20BFD6C90292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194124$469C5498-5371-4537-B205-E3AF285FE6B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7ee063946f5106c918ad8a494e4a8b2f745a1bd","datavalue":{"value":"6500910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194124$2DFABDE7-9C34-4DC8-BE0B-F8F3A371701F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194124$BA3385B9-646F-4193-BE12-6E47B7B20592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6abde220793268065a5dcbf29c614de31957d669","datavalue":{"value":"nondeterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194124$0FBAC531-7864-47C7-BDFA-A068002AEFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"009cc858828f7400fff6b3722951f1bc4b8934f2","datavalue":{"value":"bisimilarity control","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194124$77691A5E-A478-4758-AEC9-CAB5C6B4898B","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":"Q3194124$BEE43BDE-46C6-4747-8D2B-8568363DD986","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652c93e150bb487b7322b28c9d703daea06593b4","datavalue":{"value":{"entity-type":"item","numeric-id":534301,"id":"Q534301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42aeb52919b069afca19269b4a1e2948e6ed273c","datavalue":{"value":{"amount":"+0.8842072486877441","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":"Q3194124$91445B34-2544-41A3-8567-CF1FBDD4BF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ba25a611b2ef163902678760662226649ebcd5","datavalue":{"value":{"entity-type":"item","numeric-id":463845,"id":"Q463845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98e1f1616a63c32356cc0d3ada4ecb2a369ce02","datavalue":{"value":{"amount":"+0.8598629832267761","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":"Q3194124$08540B2F-340A-4726-84A1-C4CD5DBDF740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1328a896cc4d001aedf9910fa5f24b95c6240313","datavalue":{"value":{"entity-type":"item","numeric-id":2828481,"id":"Q2828481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71a85e4d29fbc9c6dfc06ca095bc750ad4ac0c78","datavalue":{"value":{"amount":"+0.8524507880210876","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":"Q3194124$2CFEDE25-2CD9-4368-AD36-9F8FEB56AD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c783faa9b02ce48636ca31f4613265fb4001e7d2","datavalue":{"value":{"entity-type":"item","numeric-id":463849,"id":"Q463849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26bb99fa55ba7fba45838ec092f79aa8b4eade8e","datavalue":{"value":{"amount":"+0.8358595371246338","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":"Q3194124$4876CEB5-7F09-4343-BE77-BE28149D8F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d333130ba54349f24f434e842015cc5f8a23aac","datavalue":{"value":{"entity-type":"item","numeric-id":6103006,"id":"Q6103006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe53b89e6b875850fd04930e5f5d4d7e62e50a43","datavalue":{"value":{"amount":"+0.8294645547866821","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":"Q3194124$76995467-D9FF-4BBC-9D4F-7DA989AFECDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realization of bisimilarity control of nondeterministic discrete event systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realization_of_bisimilarity_control_of_nondeterministic_discrete_event_systems"}}}}}