{"entities":{"Q4567109":{"pageid":6596698,"ns":120,"title":"Item:Q4567109","lastrevid":58276098,"modified":"2026-04-04T13:01:37Z","type":"item","id":"Q4567109","labels":{"en":{"language":"en","value":"Complexity of Verifying Nonblockingness in Modular Supervisory Control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6896013"}},"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":"Q4567109$1D39FABC-B4DE-4B05-A50F-EE21B9AE62C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9b89740d60ec2fa3a6d7f117661b518ec42c8ef","datavalue":{"value":{"text":"Complexity of Verifying Nonblockingness in Modular Supervisory Control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4567109$8E1EC129-238D-4EF5-B85D-EC11F7ECF099","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f92e50c996429d0ccfe0a36ebc391263527b8c1d","datavalue":{"value":"1390.93529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4567109$B5A923D6-83AC-4EE4-8DA8-9F09ACDB5BB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c00e1bec3dceee6892a53825d9936ed4fa8943b2","datavalue":{"value":"10.1109/TAC.2017.2726582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4567109$352025E7-C835-402F-B107-B3EE2ABDAF25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4168584ba9f841bdae0fff555c40c6b9e10448b5","datavalue":{"value":{"entity-type":"item","numeric-id":414884,"id":"Q414884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4567109$C71D60E5-A350-4D69-BAEE-24B5E0F8FF31","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":"Q4567109$20C3B707-A372-4609-AB24-ACC00D8E1C63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8a780e74b0fc20f5c27aee56d09c8997e1b03d9","datavalue":{"value":{"time":"+2018-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4567109$039CF399-BFD0-4BD7-8E59-4845734DFE3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cf872fd6b0037b8de5500cc98149b443f507ef5","datavalue":{"value":"https://arxiv.org/abs/1703.05011","type":"string"},"datatype":"url"},"type":"statement","id":"Q4567109$D080CEC5-ED53-4FBD-8CB3-07CCA85C9B3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4567109$5CCDCDCA-32FD-49A9-B511-FD848B9B8551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4567109$12929F75-B323-4C25-87B8-41DC9737905D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b87e114d8b581170045bd501a41ed29925c183c","datavalue":{"value":"6896013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4567109$2594214E-0977-494F-88EE-E5855120AB5A","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":"Q4567109$6A14575C-F357-4A93-BFBC-560566D41777","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef9edd3fb86cc9148cdae75e2ea489f451f8e71c","datavalue":{"value":"W2598639991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4567109$BA206C2C-C516-4C06-8EA0-23A60C23B997","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4567109","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4567109"}}}}}