{"entities":{"Q1797108":{"pageid":1807850,"ns":120,"title":"Item:Q1797108","lastrevid":53238908,"modified":"2026-01-24T12:57:55Z","type":"item","id":"Q1797108","labels":{"en":{"language":"en","value":"On-line verification of current-state opacity by Petri nets and integer linear programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6957831"}},"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":"Q1797108$9238F45B-E6DC-418E-A039-BC9C31B14EFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b33b5a53be6eda370babe5c9259522838b4adc0","datavalue":{"value":{"text":"On-line verification of current-state opacity by Petri nets and integer linear programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1797108$60707787-76DD-47F1-A2B1-2462305158B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea2cebf1f9c03be3b767e3663af764c1b770b560","datavalue":{"value":"1401.93043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797108$FA6C677E-7E90-4435-9156-D8BF02555D73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0155b1ab69c69a112fea024191e9e935f74a1f34","datavalue":{"value":{"entity-type":"item","numeric-id":1797107,"id":"Q1797107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797108$C631C839-D37C-4F2C-B482-DC036661F689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25800b915483ed22b9b98f542a83cf9e9025e3ed","datavalue":{"value":{"entity-type":"item","numeric-id":492964,"id":"Q492964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797108$F39163A8-DEE3-40B0-B7F4-0672C0F1679D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dc621ff0f910fba5e039fa961c1c226afb21426","datavalue":{"value":{"entity-type":"item","numeric-id":492965,"id":"Q492965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797108$CEE6CAD7-D68C-4355-A3FD-D2CC83DA31B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3bc8c388d7a0fac63269c05e0b00f7133fe344","datavalue":{"value":{"entity-type":"item","numeric-id":340679,"id":"Q340679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797108$4F5C6DC6-4136-4C22-A41A-340700C6BB5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797108$F4EF84FF-908D-4330-8745-884E54FB1A9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75cec9fc4e4e354c07eabdf88b7115a614a2eed2","datavalue":{"value":{"time":"+2018-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1797108$6C7BE8E0-863A-4E34-8F6C-E380010C78F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797108$9013AA74-1C5A-48BC-A0B0-8E0F3C4664EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797108$F5078122-31F9-4E0C-88BD-14F25CA8055F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797108$4CA8407D-E8E5-4976-BC02-90AF03C7E7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38822e0c30cb4d87278a7a9a067f8d6b4b31dddb","datavalue":{"value":"93A14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797108$A0E0FF75-9FCE-4D8C-9115-4A4067A7CCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797108$22E49ADB-9E42-4D27-9476-424875996657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b5fea7dd33e1cd94ce07f94285f7fc92e32cd89","datavalue":{"value":"93-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797108$879B4322-CAA5-4AEF-8F79-986BFBD62013","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"949a6510fd7454a221bb86e71150fb840ef44645","datavalue":{"value":"6957831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797108$B66F3299-66E1-42BF-AB9B-37D68BFF9F0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934f759de0c511929363e14ae9f32dc5cdf97daa","datavalue":{"value":"opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797108$E829D9D2-595D-45CA-A996-EB88B502EFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797108$033AA35D-9CDC-4E62-A7D5-A5A69D706FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e87618aee6343e13e99830120698ef319daa4c9","datavalue":{"value":"integer linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797108$C2807F42-CDF1-4820-9F35-DAF45633FC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f35d1577a0c650bdfb211d5be4200f0f98e1394e","datavalue":{"value":"decentralized architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797108$DB3115A4-5F10-49CE-BB2F-81D7243C1AD6","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":"Q1797108$AC176429-FC13-44AC-A191-310876D217B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7c67205919215075c40453202daac5ec9a4f3ca","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2018.04.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q1797108$EB9A9835-0F53-44B1-AA05-8ECE38D6CF99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1ee1a9878d95447422d34c485b88f6f54f2b2b4","datavalue":{"value":"W2800404248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797108$0CB5C570-B2ED-45F4-8F90-1FBFE0BB41ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b7727a577909eb10a5fe8c5b0eba9248116daf","datavalue":{"value":{"entity-type":"item","numeric-id":2465424,"id":"Q2465424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797108$D1C73DE1-74EF-4D1C-9639-D0DF75A4F791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21c0d8fd62ee073217bcfb399945928d5698678","datavalue":{"value":{"entity-type":"item","numeric-id":4974517,"id":"Q4974517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797108$13B34737-0CF0-4240-8187-43C54551C1B4","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":"Q1797108$52CAEB8D-7F94-41BC-9FBB-CAB997768B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3144c21aee027b0152949b00d613ce7fe7c8c7","datavalue":{"value":{"entity-type":"item","numeric-id":2849576,"id":"Q2849576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797108$B088B626-97FA-4E9F-947B-91143C8E9FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ce1e8b5acadd7ebeed4cb1a6702c8e01269e4b5","datavalue":{"value":{"entity-type":"item","numeric-id":5282235,"id":"Q5282235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797108$3DF6BD71-49A8-4176-A9BD-32A1379429C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0e6ce8dfae8cad1d63a8ab93239796c77fb6a9","datavalue":{"value":{"entity-type":"item","numeric-id":1049168,"id":"Q1049168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797108$A984AF9C-CD36-4802-9E5B-1D23599F0B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb4775bfbb17da1c0c3e0f18cc58836a37ed0fc","datavalue":{"value":{"entity-type":"item","numeric-id":2982662,"id":"Q2982662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797108$A0F16F6D-22AA-430E-B31F-02B8E5A7C641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797108$A79CAF77-B982-42B5-BAD6-7DAA77198E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d420159da4dbaf99e607ee683af81fcb8509d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":497279,"id":"Q497279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797108$2499784F-05C4-47E7-88B7-806105B7F632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63ab38ed219167c6d9852b557e966841bbd861b","datavalue":{"value":{"entity-type":"item","numeric-id":2983295,"id":"Q2983295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797108$703FE4E6-5831-4B5D-A84A-3D7E94627883","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":"Q1797108$2004DD3D-19D8-4DEB-A8C8-188CA6579773","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":"Q1797108$8277EFF3-9968-4249-A013-D99B7EFF7B6F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"44eb56e3740b534e3750da37250acf3198219d5b","datavalue":{"value":"Q129882258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797108$6DDC2DB7-8397-4ADA-848C-7F811335CDEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf926e84b1010fb11415d04b729d4a58676c4c0f","datavalue":{"value":"10.1016/J.AUTOMATICA.2018.04.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797108$DA88EB6D-7822-414C-BB12-CF60638EDED2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5affe1d60e5865b8157a69ba8da115434aebf2fd","datavalue":{"value":{"entity-type":"item","numeric-id":1987252,"id":"Q1987252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f3a17f00a8e5bbb8090d24777d5f8a9bf96881","datavalue":{"value":{"amount":"+0.9246940612792968","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":"Q1797108$FE1EC043-27C5-49CD-98C6-26AB9EA9B678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc2182a0889c8f861de74ee592aa8f7a309c90f","datavalue":{"value":{"entity-type":"item","numeric-id":2125506,"id":"Q2125506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fe98d4d3ebaff2144ebbe7171c5ce3f5c1578c","datavalue":{"value":{"amount":"+0.8850935697555542","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":"Q1797108$3CDB115A-29D0-4349-964B-EF6FD9BACCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e289603fdcdb672de71ccb9910ef379a27d422","datavalue":{"value":{"entity-type":"item","numeric-id":2081818,"id":"Q2081818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb533f3b12e2d592e876018b5c14803a470386f7","datavalue":{"value":{"amount":"+0.8749871850013733","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":"Q1797108$ABF4D8E3-4C89-4560-B610-58C6C3F0835B","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":"55000f5a6488cb137552fd1ea21d0a5222eae35d","datavalue":{"value":{"amount":"+0.8510772585868835","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":"Q1797108$0A70836D-0CD8-452A-AD9C-E66F82EAEF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e34e3be7b9baa6ed72a1d45fec8c8cc8215dc67f","datavalue":{"value":{"entity-type":"item","numeric-id":6099923,"id":"Q6099923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de12e7b45b384f5accafe9c043ed7d02e2742e8f","datavalue":{"value":{"amount":"+0.8494729995727539","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":"Q1797108$BBAA1446-A207-4E0B-A8B7-219E3E73BA33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1797108","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1797108"}}}}}