{"entities":{"Q5416931":{"pageid":7446505,"ns":120,"title":"Item:Q5416931","lastrevid":51999350,"modified":"2026-01-20T17:33:22Z","type":"item","id":"Q5416931","labels":{"en":{"language":"en","value":"Structure reduction of liveness-enforcing Petri nets using mixed integer programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6295739"}},"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":"Q5416931$D795B8C1-887C-40F8-8B84-8D44E198E207","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb25edabc18c36fddc5361b409224e312d5b8ddd","datavalue":{"value":{"text":"Structure reduction of liveness\u2010enforcing Petri nets using mixed integer programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5416931$21E7CDC8-3401-4CD1-811E-7CA5AEC90B1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21b16dda9ceab66e22d8a0ad2c09e3144957aee1","datavalue":{"value":"1286.93117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416931$1BF4CA23-DA1D-4763-A81B-3803777DDF73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfca360cb2b197671592b212acb67501c8ba454a","datavalue":{"value":{"entity-type":"item","numeric-id":345566,"id":"Q345566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416931$F93C2A77-3A1B-4C86-AD64-274C79FA1D11","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":"Q5416931$4AAF8411-9C5C-4165-B525-7D7C39C22429","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a339d38578f9ea3c4a810c6814ca082b0d20b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2789888,"id":"Q2789888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416931$D54FA364-CC1E-437F-B22D-A93F15DFF852","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1066a90acb7c2d7944b73756b8537539215a421","datavalue":{"value":{"time":"+2014-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5416931$9409C6CF-4BB4-4187-9A22-565EEB4D2086","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416931$25AAB35B-8D84-4CC0-A6C7-1EABD945FC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bebb2f5015fb82845b748c674a6a24fd89efb27","datavalue":{"value":"93B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416931$AD29C7DA-CFBA-4C48-B42A-9EACBFC9E5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416931$0D388473-4726-44F7-9756-ADF1DC4A640B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27233841153adbc6fc0e6fd244ce4e7e0623d495","datavalue":{"value":"6295739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416931$3547AE0E-A325-4D1B-90EB-C48C126837E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416931$DFACA001-FA28-45C4-B8FD-DFD8DBF76DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bbc9f72e0da6aa8de39db946cf240aaa4c6cf75","datavalue":{"value":"deadlock prevention","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416931$BB956CE0-A062-4735-B00A-8E8046ECC81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fa9089d9f7f5a1b8ff7aefaf14a78f5ae28c62f","datavalue":{"value":"mixed integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416931$6E2FC7F2-6DA9-48FC-A4E5-73253A0AAC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d496f86cb2dd79097898da73f10ecdee508671fb","datavalue":{"value":"control places","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416931$FA417FA3-5E7F-4F2E-A4F6-8BB1C90499E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7ccc452cc86868d36fa86ee7991d8e2633c11e4","datavalue":{"value":"permissive behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416931$EEF6EFC2-1FF9-4CB6-88C9-8CA29D8313EC","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":"Q5416931$E73CBD70-F9DB-461E-BE0C-D6081F373200","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a86e8e97f330c8031255d70cb7c1c298861351aa","datavalue":{"value":"https://doi.org/10.1002/asjc.342","type":"string"},"datatype":"url"},"type":"statement","id":"Q5416931$DE30F8DE-211D-4D13-89DE-96CD09DF33D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5456f243ac603cd1442b71df717b19c8edbf5808","datavalue":{"value":"W1813183338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416931$F38669F3-075B-40C3-86DC-62E714CC2A92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f58539d575c8d1875a2d20f5e305eb0c3f50180","datavalue":{"value":{"entity-type":"item","numeric-id":5633643,"id":"Q5633643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416931$D0F2C203-8A31-49D6-942E-3168D0EE2803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a60320fdcfc60ebc533de00ef14ae04f00b96b5","datavalue":{"value":{"entity-type":"item","numeric-id":2713455,"id":"Q2713455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416931$3D333827-05A3-4513-9B24-EAEF10146B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63006d257d7a2e048f09442f14abaae3d89f8e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4540213,"id":"Q4540213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416931$7D0CF826-BD74-4C9A-970C-5E2D4AFF4A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dfe447467092cccfaa2d8a597e16a4018653a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4876603,"id":"Q4876603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416931$8FB9720A-639C-4A9E-A876-C7DD110D6FC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"793f87c1d5c0a864031a292c1dcddeb2ac8dfe37","datavalue":{"value":"10.1002/ASJC.342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416931$7A70FC11-35AA-4757-9826-0F493E27EE22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3596214708475b7a5a9ad936b09eba3ea64cee59","datavalue":{"value":{"entity-type":"item","numeric-id":4967009,"id":"Q4967009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a36fbe5572e16fbc2adfe2223ad28aa7e091ae","datavalue":{"value":{"amount":"+0.844083845615387","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":"Q5416931$7A0411AE-A3B5-4D27-B614-3E4B22827A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3520d704dc795942040cfd5068ffb698dfdd57","datavalue":{"value":{"entity-type":"item","numeric-id":3063811,"id":"Q3063811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac3e7365baaa8113f47156bee2ef3901450c67b5","datavalue":{"value":{"amount":"+0.8393270969390869","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":"Q5416931$BD2EC3FE-A12F-4152-A6B1-FB55F4186B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d298199178afd53226b65e6390377256a9c08a1","datavalue":{"value":{"entity-type":"item","numeric-id":3058342,"id":"Q3058342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8d859c615906ba0b126ea0d893e2c51e4e2781","datavalue":{"value":{"amount":"+0.8221128582954407","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":"Q5416931$68DD68F2-A75A-4DFE-BE33-E5A36BD53083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded430cf16662873a815a8c1e1307b79388ed592","datavalue":{"value":{"entity-type":"item","numeric-id":1723403,"id":"Q1723403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dffc081ccddda6341a6449b3aa2c4aa3f3cdd291","datavalue":{"value":{"amount":"+0.8120183348655701","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":"Q5416931$A0BD6D97-4E4D-4833-B910-F2A3049AA61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d67e3a94730f5b2d40daad8c7c321410fc277cf","datavalue":{"value":{"entity-type":"item","numeric-id":2789909,"id":"Q2789909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca68970de18bff53d6cf2383b884ebd99087dc2","datavalue":{"value":{"amount":"+0.7996490001678467","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":"Q5416931$4E76270D-560E-4DA9-AC2C-4B172A9737C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5416931","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5416931"}}}}}