{"entities":{"Q2123401":{"pageid":2134144,"ns":120,"title":"Item:Q2123401","lastrevid":54293216,"modified":"2026-01-26T14:24:11Z","type":"item","id":"Q2123401","labels":{"en":{"language":"en","value":"An optimization-based approach to assess non-interference in labeled and bounded Petri net systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7505649"}},"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":"Q2123401$239804CC-A7D7-4974-8A6F-F54F68612D73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"423915cf9dcd22e7ef305b4ef54594b8b35df9c3","datavalue":{"value":{"text":"An optimization-based approach to assess non-interference in labeled and bounded Petri net systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2123401$EA3D9A5E-9C65-4097-911A-484D23B007E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23b6c2283c5936955b3c97e75df4ea751922aa24","datavalue":{"value":"1485.93342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123401$65F99281-8BB3-43CF-B52A-603EE9DDDE94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d49d3983ad6d2c95847710adcd4ff13adc2f0da","datavalue":{"value":{"entity-type":"item","numeric-id":2089625,"id":"Q2089625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$71EFA41E-5301-4E9D-829B-D11CDF03ECF5","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":"Q2123401$AD99D608-293B-408D-AA0C-F28F2071AD0A","rank":"normal"},{"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":"Q2123401$00E27A24-CDF8-4C65-8DE9-0832863C3F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fa4f8195547a49001d2e82f301aaec947cb3483","datavalue":{"value":{"entity-type":"item","numeric-id":330510,"id":"Q330510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$572CD90F-615D-4C9F-AD4B-D84CBD3810FC","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":"Q2123401$2C11C22A-B859-4DD6-B2AB-4DAA4D8F7E55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0f2155ba9995cae9f99d2ed79b4b1c769519a1","datavalue":{"value":{"entity-type":"item","numeric-id":254169,"id":"Q254169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$9C8CF77B-C04A-4EAE-BC24-085A0275BFC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e093b5d48a0e89e0bda6d94872b70fb1b6600ea9","datavalue":{"value":{"time":"+2022-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2123401$9735993E-1D31-452A-B94D-9F8A82D32348","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123401$08645B2D-0118-46D3-B8E4-717B7539A08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123401$B0CD7C3B-8471-40F8-9C25-71DC8C257606","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"396efbe6a28540935d80a82c32dfe34fe780b46a","datavalue":{"value":"7505649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123401$022DEDC4-24A0-468C-8E5C-97AFD3F3C9CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b212cf0e2589a9e7cbc5eecdf3ed5f2a1903cf5","datavalue":{"value":"system privacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123401$C1DF3C27-0C40-43F0-9B9B-D38C6195AEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123401$77B02725-AFEF-4235-B0FF-C9FFF4DE9FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecf2798a399f9b5828407c14af519ed63947722c","datavalue":{"value":"labeled Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123401$8FE93359-282B-4C82-B69B-20230DEBF852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87e963cf49cea6abed63e7c306124cd4f37b3f21","datavalue":{"value":"MILP and ILP problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123401$371FD4F4-AAF8-45E1-97D6-D52EABEFACD0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb2681abb3bba434415e4fc739b2d99830a88472","datavalue":{"value":{"entity-type":"item","numeric-id":16731,"id":"Q16731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$DD26729D-5061-418A-A89D-98609036F04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$0DF81978-D236-4736-9C9F-A5F54FDB8813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83793d2d04b664d34057899871316417b4be46c8","datavalue":{"value":{"entity-type":"item","numeric-id":16766,"id":"Q16766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$241482A9-9DBF-44FC-93F9-4947572785B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dcb0afc2cd1cab90e2f038ddb7976804ba187e6d","datavalue":{"value":{"entity-type":"item","numeric-id":16992,"id":"Q16992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$33AE54E8-6C5E-4C0D-AE5D-9E501ECCA870","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":"Q2123401$459DD9FB-03EC-4401-B0CC-F9398A664D55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"398e0483006bda47c3103b065ef4a876994a638c","datavalue":{"value":"https://doi.org/10.1016/j.nahs.2022.101153","type":"string"},"datatype":"url"},"type":"statement","id":"Q2123401$A61CD7BE-C61C-4DC2-A243-38889710347B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd10b7e8fcefe2fa82c24e4680b356258a79140b","datavalue":{"value":"W4206810716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123401$C67C2A0B-B1D0-4D81-8D28-58DA22965915","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$3B4CBD75-E700-45AC-B01F-50EC4A2403BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64c92fedabc88b70cdf8f87988d63e7b658d5e3","datavalue":{"value":{"entity-type":"item","numeric-id":373013,"id":"Q373013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$9992855F-DD89-4C0F-BD7A-FE4E41079D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e8a53da7781e669cf8902a06caefa80eed520b1","datavalue":{"value":{"entity-type":"item","numeric-id":5352631,"id":"Q5352631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$A5FE9C38-DABB-4D09-BEB6-14152C32D917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42de8f97ad6c33426c5f79436ad2bb1bda98ae90","datavalue":{"value":{"entity-type":"item","numeric-id":4957708,"id":"Q4957708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$ECF1D2D9-AFEA-413B-A900-2E7E78CCA5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2911e3f66191c31981e2675f65bc7c2eef9489","datavalue":{"value":{"entity-type":"item","numeric-id":5712299,"id":"Q5712299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$CCB136D8-F138-49AA-8CE5-B8C0F1E25FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b476df5e2859960853587d44b120de6c86df350","datavalue":{"value":{"entity-type":"item","numeric-id":5265904,"id":"Q5265904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$7059DB4F-BE06-4561-A409-C0FC188EF3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08427b83b2f9b88be8168eb4a8a4167e428d507e","datavalue":{"value":{"entity-type":"item","numeric-id":1680560,"id":"Q1680560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$7174FF96-0378-4913-B9F0-89CA42979281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66cf3f5f65fa396150559aaee39ac2fa12cec47","datavalue":{"value":{"entity-type":"item","numeric-id":5352804,"id":"Q5352804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$CBCF4DC4-D8BF-422E-89C1-E730BF0904F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4193e9c7740fafaf9589307317bcc88dfce3c297","datavalue":{"value":{"entity-type":"item","numeric-id":4957611,"id":"Q4957611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$8B369710-EF54-4DB9-8184-150191C9FA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4d87fe68501ec4586ffbaf69ca66dbb385cd07","datavalue":{"value":{"entity-type":"item","numeric-id":5496930,"id":"Q5496930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$AF667418-6E8A-48E0-940C-C726B935641B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bb5a998b63191dc8483b56807c759ad55c1c68","datavalue":{"value":{"entity-type":"item","numeric-id":710706,"id":"Q710706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$A9A0D572-6F16-4C42-9E4F-621F885EBD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e03b281a34680f383acf64c01f41b976df25c06e","datavalue":{"value":{"entity-type":"item","numeric-id":5496929,"id":"Q5496929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$4E0AC5FE-B282-4DE7-8DE5-908D3A56AC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e896381fdd816d2a69de569aa76d0bbce22a5b42","datavalue":{"value":{"entity-type":"item","numeric-id":1937479,"id":"Q1937479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123401$A64259C0-2ADC-4CBE-A92A-283154AB292B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"239e7748e567568d480abb397091b4a1eaa810c8","datavalue":{"value":"10.1016/J.NAHS.2022.101153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123401$F63FCCDC-5870-482D-ABB1-340F4371FC3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37bbc03fa1d1c94f8ea82a1ebe0093db96cd9db","datavalue":{"value":{"entity-type":"item","numeric-id":5712299,"id":"Q5712299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb950cfa84c7e1a2c3c32ace2956f4021bf27e9d","datavalue":{"value":{"amount":"+0.7994624972343445","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":"Q2123401$AA44F7BF-6F5D-41DE-8EAB-3541BD58BCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e6ea5984eb84b9b3b20c96ab18507b080c3e54","datavalue":{"value":{"entity-type":"item","numeric-id":6160740,"id":"Q6160740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d21270bb1197d2a846fae1d622c1c023be45bf","datavalue":{"value":{"amount":"+0.7740629315376282","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":"Q2123401$89AF92AA-C924-4BE7-8F54-F8E261312682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe62281b7c7b2e69a2ecf0ea196a294d704dee13","datavalue":{"value":{"entity-type":"item","numeric-id":5166764,"id":"Q5166764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b795b5ce4c6f1ef4931066ff6d02b834e307c93","datavalue":{"value":{"amount":"+0.7670825123786926","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":"Q2123401$B0628072-CE8E-4843-A7EE-AFFD5D64F3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7979812e01c4c1b2bc1a2dedd2dab888164e0b03","datavalue":{"value":{"entity-type":"item","numeric-id":3092180,"id":"Q3092180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0404ffe0d40d112a5c7e36df69c4808a72b545f","datavalue":{"value":{"amount":"+0.7587277293205261","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":"Q2123401$B40B3F6B-2F40-4D8A-9B80-D17FBF4FCD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d5905cd5437ca82b90e0b232427a767d556069a","datavalue":{"value":{"entity-type":"item","numeric-id":3655757,"id":"Q3655757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"656ea9c7be4b7132f620a1b3f28f3e0c9e6083dc","datavalue":{"value":{"amount":"+0.757900059223175","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":"Q2123401$956428AF-17FB-4AA0-A96A-BDDEFF1E0AAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2123401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2123401"}}}}}