{"entities":{"Q3086918":{"pageid":3097633,"ns":120,"title":"Item:Q3086918","lastrevid":51217586,"modified":"2026-01-17T07:18:43Z","type":"item","id":"Q3086918","labels":{"en":{"language":"en","value":"Nondeterministic controllers of nondeterministic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872383"}},"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":"Q3086918$8DD3B41D-292A-483E-BBA7-510B60C18116","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70b418c0b68b6d1147ab2ccbdeca6410dfb6afd1","datavalue":{"value":"1215.93082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086918$8B3DED90-9291-4774-8A3B-7CB0463E1E94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086918$057280DF-F3A1-4442-AA8C-8EB91B29EF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f07bf463f7dd0ae34a6ca7eac63af8055d6cf8ac","datavalue":{"value":{"entity-type":"item","numeric-id":671987,"id":"Q671987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086918$FC77AF30-EFFC-403A-A974-5451552037DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086918$F42E1536-204D-44DA-AC08-8CD819C843FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086918$69770D2F-E547-4AE5-B117-2E0449AB762A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086918$F20BA5A8-A9D8-4811-AFE1-87D71633AB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086918$A730E291-16DF-4C66-9BA7-ADAD00E5D016","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e57732ccf1e22e3ae50fc04215da2518b4a0a65c","datavalue":{"value":"5872383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086918$312E846F-9091-4D2A-A18D-34366F0F69FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086918$85A8C4A4-AE8B-41E9-A5A0-CFAF711B00B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48cdf9e9dce5340311941627ef49e0cce7efc223","datavalue":{"value":"deterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086918$5DFF292F-6ACD-44BA-B72A-8E124FA7B42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086918$1E5FAE7E-C346-4730-9E76-D9F93151DB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ce56dbaf4c7a84da81241f45fb14d8ce6cc2009","datavalue":{"value":"satisfiability problem of mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086918$2093930F-74E8-4E17-8F9F-EC7058032CE5","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":"Q3086918$45A3056D-493B-402B-A296-DC1B0E9B9A53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d5471776cea5061a4a63b45dca28a05028f04e","datavalue":{"value":{"entity-type":"item","numeric-id":1401346,"id":"Q1401346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48ce27330aa50901c9d2cb62253ca70e1c21ccec","datavalue":{"value":{"amount":"+0.8038367033004761","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":"Q3086918$84CED741-D252-4B50-93AC-B0C807DDF15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f03dcf87ea8e9d1dec579a2fc85c539e6e89c7","datavalue":{"value":{"entity-type":"item","numeric-id":5190785,"id":"Q5190785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8066b1d3257de0c2b5a0d93baf2b46a9b59b5a88","datavalue":{"value":{"amount":"+0.7948523759841919","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":"Q3086918$484BD7B1-11E5-469B-9E82-07D7E477C0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c90cd01d10af47a46a8409c310c1b8d1656425d","datavalue":{"value":{"entity-type":"item","numeric-id":5136322,"id":"Q5136322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"770e30511c7bf800268266cdc3c1878f1c5f94b7","datavalue":{"value":{"amount":"+0.7904017567634583","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":"Q3086918$3BA20F42-EF93-42CA-802F-06E148AF985F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cdabc42ef28c73f1f5cd0820bc0ab40f2a15021","datavalue":{"value":{"entity-type":"item","numeric-id":4484484,"id":"Q4484484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1abf16a8b03e09e7f24c375f83a29db7f7b8753c","datavalue":{"value":{"amount":"+0.7785521745681763","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":"Q3086918$7D82B0B3-30A0-4B72-9028-0C468586F0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373f6a6eb1f549c8a9b9d76b89758cdc113f5ace","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dcfdeb06a6e4cab0afc79a645748ed8db4cf3ff","datavalue":{"value":{"amount":"+0.7750681638717651","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":"Q3086918$8271E7BB-6418-45AB-B461-F2375B82E537","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086918"}}}}}