{"entities":{"Q4957611":{"pageid":6987193,"ns":120,"title":"Item:Q4957611","lastrevid":37117993,"modified":"2024-07-30T08:38:28Z","type":"item","id":"Q4957611","labels":{"en":{"language":"en","value":"Noninterference Enforcement via Supervisory Control in Bounded Petri Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7393094"}},"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":"Q4957611$BE3E1C70-C3CA-492E-B960-4AD1BB2FA77A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd53e644f5f040965134105dc09661ecd5504652","datavalue":{"value":{"text":"Noninterference Enforcement via Supervisory Control in Bounded Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4957611$6F5C7B1C-E930-4353-8AC0-16E24020A9F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e006686d83e16d880075f7025895efbc34d47c12","datavalue":{"value":"1471.93171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957611$5F793ED9-A995-42E2-8E57-4E4B05D24EF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ea1a1d61b345b52d54e654f175d1fb2ad687c34","datavalue":{"value":"10.1109/TAC.2020.3024274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957611$44FDD5E7-D930-43C3-A954-3001C0D35F9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6e95c2cca3cbd72ab981922a63c22a320958e6e","datavalue":{"value":{"entity-type":"item","numeric-id":446717,"id":"Q446717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957611$9B8BC93D-0110-4413-93F6-129ED0911FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a9cff936fa6d009adac31464d2c2d22f9f121fa","datavalue":{"value":{"entity-type":"item","numeric-id":337082,"id":"Q337082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957611$9A710999-3A8A-4B1F-8EDF-65244C73BDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9a804af34840ad90a29b99f3010da6d2f1ebfd1","datavalue":{"value":{"entity-type":"item","numeric-id":540179,"id":"Q540179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957611$D30676C8-72F6-42F3-8C1C-7AA6DDAC374E","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":"Q4957611$73872306-DE2E-46E3-A4A0-D7FF54549B9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5717cd69276ad67376a7cd3a583eaef8897207e3","datavalue":{"value":{"time":"+2021-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4957611$671DCFC8-F90D-46AC-8872-FECEEFA38515","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957611$062A5F53-C78F-4339-8538-40499A662D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957611$B03834D6-EC3F-4F7E-B604-8519322F1BF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94fcccfffd33139b72c40e121127c6497093bd98","datavalue":{"value":"7393094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957611$7ECEAD3E-F4CF-4BF0-8935-545D3F5FBCEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bbcf401a2ddfca1b42bbb6d462f66e1cad4ba11","datavalue":{"value":"integer linear programming (ILP) problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4957611$92AD9B9E-95C6-47E4-AC61-A0488C279CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09912e40e27b22502fe18edda7ffbfb84d5179e7","datavalue":{"value":"Petri nets (PNs)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4957611$D6CB2241-DF84-45BE-993F-95328DD0C074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61870c981b19bcee212c9c2ebab0264994cbe384","datavalue":{"value":"noninterference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4957611$3943CA0E-467D-4934-84A8-BE356A4AC0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q4957611$1534DA81-2795-4379-8CDD-3D631B7F6F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7994bcaa3a309fe1890048829698a8e327226b29","datavalue":{"value":"system security","type":"string"},"datatype":"string"},"type":"statement","id":"Q4957611$04B7CCA2-34FB-4723-94AF-565BAFCEAC80","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":"Q4957611$B274FCB7-C45A-4FFF-AA9C-7F3C5920B9E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8be1eff0c3760062973efd9293602712b15a599","datavalue":{"value":"https://doi.org/10.1109/tac.2020.3024274","type":"string"},"datatype":"url"},"type":"statement","id":"Q4957611$FAB134D2-D3AE-4A6E-9560-BD31E6299C51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23407ad01adb629e1aa20f25abe61df325718bf4","datavalue":{"value":"W3186623467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957611$D34D53FD-4D00-4F07-97ED-2385B0F633E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4957611","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4957611"}}}}}