{"entities":{"Q272014":{"pageid":273781,"ns":120,"title":"Item:Q272014","lastrevid":60634833,"modified":"2026-04-10T18:11:22Z","type":"item","id":"Q272014","labels":{"en":{"language":"en","value":"On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6570969"}},"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":"Q272014$0B560A76-3887-432E-B662-A971C71354AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02fbeecb0c4be1936312cf776f58a04df64b7392","datavalue":{"value":{"text":"On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q272014$60378F7C-9C8F-47C3-B4EF-CDC3DEE3EDFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f64a2bd944f15b63e29c5be9be595a3369b42d78","datavalue":{"value":"1336.92031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272014$C800ACCA-4D02-4A40-AFA8-6C5CFB5E0FAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4c960390886cf5fc2e94f98f5f3d2a7a2e150b4","datavalue":{"value":{"entity-type":"item","numeric-id":272010,"id":"Q272010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$203DFF7F-BE70-4C24-8C51-F800C177A0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a460e80ff173d4e789bce2cef542355e5d89143a","datavalue":{"value":{"entity-type":"item","numeric-id":272011,"id":"Q272011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$7A30EEEB-2239-49FD-8686-92A91AB9E887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3af5bd70bdf1aab77620ece66f5e40dd3ce66d83","datavalue":{"value":{"entity-type":"item","numeric-id":272012,"id":"Q272012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$56C1A3D5-B23B-48FC-8206-751617B55B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27e1a6841a438913c0c4f697350a5aa1c22e2108","datavalue":{"value":{"entity-type":"item","numeric-id":272013,"id":"Q272013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$9E8AB50C-7517-4B5C-BB77-FF7E1AED2EC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$B00C5A35-DCC8-4845-B96F-FE3283ED798F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"005b756eceec3cfac748c1a4360caa386d165ffc","datavalue":{"value":{"time":"+2016-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q272014$50939413-CFD8-4977-8ED0-C800DBCD41DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272014$CC10C641-EB25-417A-95E0-ED3059F62EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"239a4a174af03c82b61364f762873d53ef0a37ef","datavalue":{"value":"05C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272014$B8A51D33-74EE-4EBF-9443-859CD609180A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8d3d29fd7ba9497453813aa20a9324b6a029ab4","datavalue":{"value":"6570969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272014$A6B02A8C-0291-44BC-9523-C6D1D9E50151","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q272014$FDE61AAF-5F1C-4F14-BA4A-7B24C0C31E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f29160066ba95b840b89d91706a8aef777cdcd","datavalue":{"value":"siphons","type":"string"},"datatype":"string"},"type":"statement","id":"Q272014$F9443744-7CAF-4CAE-A630-9FC9BC9BF890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71935729bce666d4923eda193cbdcd96dd69ee74","datavalue":{"value":"systems biology","type":"string"},"datatype":"string"},"type":"statement","id":"Q272014$4E9E9D80-58E2-43A7-8FB7-560FF739CED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0953e90d0589d63de0d0db5fd5b76998dea111b","datavalue":{"value":"sat","type":"string"},"datatype":"string"},"type":"statement","id":"Q272014$AC447709-C8EE-4E4E-8A74-C7283E341006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q272014$B73560F2-F9CE-4E88-8A8D-3DA63E471671","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"04bde01b1f3f39e8d9b19eed7a136182c642838b","datavalue":{"value":{"entity-type":"item","numeric-id":25193,"id":"Q25193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$2A8E7365-1BE4-4EDC-A3BE-023091744857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76d44602a09748c947ff71f1e04c3a373c69c1ac","datavalue":{"value":{"entity-type":"item","numeric-id":25524,"id":"Q25524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$2B33E822-9E93-4CCC-A032-F5701050A71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05a9d680f93ae08fed1b1c4729f9eb91347362cb","datavalue":{"value":{"entity-type":"item","numeric-id":26731,"id":"Q26731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$857C6B06-A0BC-4D05-BC2E-1196A08F5B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7334b89f8e5923d015b29eb3cbc9b556e09cedd4","datavalue":{"value":{"entity-type":"item","numeric-id":26730,"id":"Q26730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$352D0F0E-3F16-46B8-B829-C0B20F8244C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"688eba81cb056dd5bd9a14f97160caacc67f3346","datavalue":{"value":{"entity-type":"item","numeric-id":18616,"id":"Q18616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$25052DFF-EA03-4BBA-8258-9C1C897B89BB","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":"Q272014$E6CB61C2-0A78-4832-86FB-EDAD6ADB81B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b3874037e39314d0f54c0519bc97f7b2462da91","datavalue":{"value":"https://doi.org/10.1007/s10601-015-9190-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q272014$9A84531A-38AD-414A-B498-5C345A458849","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2722708aeca7536550c5bf38ed107156e31df470","datavalue":{"value":"W1964579890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272014$3C7DF548-6C95-41EC-BAF0-570AA67EBD2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f631db1e8d16ea62f0c04d75dd983215412f8e4f","datavalue":{"value":{"entity-type":"item","numeric-id":4809158,"id":"Q4809158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$0B389078-40F8-472E-8B45-59A9BE9DB845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986dff955b3323903dc04ef58ae4ff4b0eadf895","datavalue":{"value":{"entity-type":"item","numeric-id":1884862,"id":"Q1884862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$45A05007-EF5A-49F6-84CE-F8C3840A7027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d59f906032791d6d7e54b15b2a84750d8f6c19cb","datavalue":{"value":{"entity-type":"item","numeric-id":2641226,"id":"Q2641226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$D46B1737-C3A2-440E-BE65-5DF7BC470162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$78583D93-677C-450F-BCCC-C5F8118CF24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb058c20b3fd753fc795924860262d9dd1511c6a","datavalue":{"value":{"entity-type":"item","numeric-id":1948277,"id":"Q1948277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$3801A884-40EF-488F-A280-AE3BC54FED39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0dd503ab66fd0d24362c0b651c468f061d1194f","datavalue":{"value":{"entity-type":"item","numeric-id":253470,"id":"Q253470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$D1027253-5F49-4979-9128-8375D226AA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0a7a9e55e4f5b04e5faf1abc7399bb876651fd3","datavalue":{"value":{"entity-type":"item","numeric-id":4413056,"id":"Q4413056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$6369C504-C66A-4DDC-9611-D2380D69D0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc7013baed13ed0544792e9c8c7af92840507d4","datavalue":{"value":{"entity-type":"item","numeric-id":2426301,"id":"Q2426301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$3B77FC34-DEC5-4E64-95EF-F9EF63063000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019e7b0eb8d8f1b18789d1749fc83e154e944097","datavalue":{"value":{"entity-type":"item","numeric-id":5712422,"id":"Q5712422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$C8E3C38E-C7DC-4F64-9D9A-E0DF9C09EBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd560b5c3701de250d9304ce530d163a8c6d903a","datavalue":{"value":{"entity-type":"item","numeric-id":1589639,"id":"Q1589639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$E0A06F84-6B60-47C4-86F0-9658C7ACF271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8792ed65cde954e57ee992d29a1ed68bcc9f55","datavalue":{"value":{"entity-type":"item","numeric-id":408375,"id":"Q408375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$6AC7A6DB-9EA5-4960-81EF-8900F950B9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54cdb28f6f1e671bf638c1b90344dc41922f88c0","datavalue":{"value":{"entity-type":"item","numeric-id":971753,"id":"Q971753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$2F49411B-5DBC-45EF-B8F4-F8D2A0AE0583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$A82995D0-F660-4E90-BF8E-C8463FBBDFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e98ccc98f1fb87d2d37666354aed2ce5bbd0987","datavalue":{"value":{"entity-type":"item","numeric-id":1026181,"id":"Q1026181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$3C609440-C414-43DB-BF86-F0175AE06DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c796eadd682297715f9583699f0f74be7d7d40b","datavalue":{"value":{"entity-type":"item","numeric-id":3782791,"id":"Q3782791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$4FBE05ED-573F-49DA-9EBD-BA890AC10DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62294676952167a37b8b6558085adf6375aa4281","datavalue":{"value":{"entity-type":"item","numeric-id":3569871,"id":"Q3569871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$81163BE1-5EA2-4EC1-8823-01D98141E58C","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":"Q272014$5F33D341-874B-476F-878A-A1A686DFF3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6760c1a0ed84f473ebf9c19dbb4d05bbf42b9a5e","datavalue":{"value":{"entity-type":"item","numeric-id":3751592,"id":"Q3751592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272014$D6680FF0-8B66-46DC-A1BD-D33363D76D5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b11ca7eaa3c6c772a3c061c8d94b9f61ab4724a3","datavalue":{"value":"10.1007/S10601-015-9190-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272014$74B1736C-C7FE-4B89-92C8-7D1749515DF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c7be35a912df992b019388a89c77143b2af85a","datavalue":{"value":{"entity-type":"item","numeric-id":3569871,"id":"Q3569871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6285e30483834df25d3b318ccb6db694add41f14","datavalue":{"value":{"amount":"+0.7920404076576233","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":"Q272014$EA442E9C-EB66-441E-8EE3-087F7396ADDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b950b4d105b24380b99cab40afcd3d1308a140","datavalue":{"value":{"entity-type":"item","numeric-id":2112149,"id":"Q2112149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115319ca8d7e1c7ba7e74fb850fb467b976898ca","datavalue":{"value":{"amount":"+0.7895963788032532","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":"Q272014$66BF2827-E2F8-4C9F-9B90-C6EF41CFC8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd762b0bd126ca593ea3ebf22524c026f0a654b","datavalue":{"value":{"entity-type":"item","numeric-id":2293269,"id":"Q2293269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ebbd7238aa9128595d85f0e914e39ee918e6145","datavalue":{"value":{"amount":"+0.7849554419517517","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":"Q272014$31985EC6-D59E-4D3C-A4AC-1FACE9978062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f3ddd7726de5cad2aa7a62eea1d63dae78f73cc","datavalue":{"value":{"entity-type":"item","numeric-id":5472942,"id":"Q5472942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83f4e4d65806a2076c7d7dfd7785b9c97c34fff","datavalue":{"value":{"amount":"+0.7674661874771118","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":"Q272014$13D6FE90-B2AD-4D7A-AA72-F7DFA2BFB58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603cd1fe7cfb912cb0482f154a42f76230e6e61b","datavalue":{"value":{"entity-type":"item","numeric-id":5411658,"id":"Q5411658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7c25c9831738529fc51eaa325541c3c6ad0823","datavalue":{"value":{"amount":"+0.766069769859314","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":"Q272014$AF705F43-B614-4CC1-8072-B4269697B798","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_enumerating_minimal_siphons_in_Petri_nets_using_CLP_and_SAT_solvers:_theoretical_and_practical_complexity"}}}}}