{"entities":{"Q5853966":{"pageid":7883517,"ns":120,"title":"Item:Q5853966","lastrevid":93242849,"modified":"2026-06-05T04:02:43Z","type":"item","id":"Q5853966","labels":{"en":{"language":"en","value":"Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7320116"}},"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":"Q5853966$45E6D5EA-B90D-4A26-B778-E9557BDE8D7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"963ea8eb993ff37b59e52414f178b5fd90e8a494","datavalue":{"value":{"text":"Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5853966$F252DD05-A8DD-4BBF-BE6A-AF5C8F9038F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f1bddaa37ab553aa00b51beec6e38f7aca61c11","datavalue":{"value":"10.1109/TAC.2020.2970148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5853966$20A60C65-F6D8-41C8-82C3-081027A18FEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac36b5de41f9e29ac59c4d111a097e74c6f81723","datavalue":{"value":{"entity-type":"item","numeric-id":5853965,"id":"Q5853965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5853966$10D6B314-6E45-41D9-8500-5D30B868272F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5853966$D2D806F7-5618-4018-BE46-4E8F3E5E82E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f59565c5fce317316159d63a6a6c80aee757796f","datavalue":{"value":{"time":"+2021-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5853966$89C031BD-AE2C-483C-B58E-7DC5B9CB91B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5853966$F36418D0-D1DA-4166-BB47-032A60D16C40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4605968b2e38b571f6b6b81186d9685e5f3e29c6","datavalue":{"value":"7320116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5853966$CBD69506-5D0C-471C-9884-FDE666908B19","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":"Q5853966$8C8B109E-9A56-417B-969D-4B823478AA8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89af3aa60492e2accbb358fbbf98b7f76900ec19","datavalue":{"value":"https://doi.org/10.1109/tac.2020.2970148","type":"string"},"datatype":"url"},"type":"statement","id":"Q5853966$44EEF3D9-2242-4BD8-BF0B-2A859DDF97AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1291c5cce9a480426f568951fab9a730eb1f859f","datavalue":{"value":"W3003683895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5853966$9C46EB65-19E9-41FF-B35B-6D3525C25399","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information","badges":[]}}}}}