{"entities":{"Q2095546":{"pageid":2106289,"ns":120,"title":"Item:Q2095546","lastrevid":54445163,"modified":"2026-01-26T20:11:23Z","type":"item","id":"Q2095546","labels":{"en":{"language":"en","value":"On the lengths of tree-like and dag-like cutting plane refutations of Horn constraint systems. Horn constraint systems and cutting plane refutations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7618983"}},"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":"Q2095546$D7107B03-B0F0-4E1B-A1A8-7967414CC853","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e40435b3f0cfb4991ce3effe1b1b91c903eebec1","datavalue":{"value":{"text":"On the lengths of tree-like and dag-like cutting plane refutations of Horn constraint systems. Horn constraint systems and cutting plane refutations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2095546$13843177-3FE2-4089-81DC-3672747BF559","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$98C65E76-B407-49F1-989F-E8B8149F5029","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$812F3CC8-A255-443F-AAF1-2B71386BCA00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbd7a4f9b483e0e9b01f79a913d4946a9bd0bf2b","datavalue":{"value":{"time":"+2022-11-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":"Q2095546$2AE082E7-9DA1-440D-B171-CC101A2248CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2095546$09D5BAEE-D6AE-472D-A438-DF82ACA675DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e81ef8c71b4fab6c5801394844e4ff9462262a42","datavalue":{"value":"7618983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2095546$395D8AFC-D651-4104-9B7D-FE7DC8602C6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89d7d53ac632aef29f24116c947d7cba561d288c","datavalue":{"value":"Horn constraint systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2095546$1668D886-2D50-4DBA-9B56-11EEC72169B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20647bc9d7f500cdaf52d0f499e202c2bb76518c","datavalue":{"value":"cutting plane proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2095546$B642F209-CFCA-4C94-B7FB-BA9EF02B2EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d5e4886aa4290eca104cd0d1da319d8b4d34c4","datavalue":{"value":"NP-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2095546$35F1E798-593F-462C-B156-414B171635B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3745f54a3339923feca2ac5349d25baebf1d45d","datavalue":{"value":"soundness and completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2095546$60605D25-017C-46F6-8826-99A6992D2D53","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$EC011305-2BC8-4E95-A0FC-0087DF5B690D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$986CAE89-D714-4398-9D79-DD2FEDD98097","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":"Q2095546$B8756ECD-A3F1-4CCE-A896-1E6201175EB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e205f16ff3625f1cbc95f83f25c7ada3ab1dd21","datavalue":{"value":"https://doi.org/10.1007/s10472-022-09800-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2095546$14D949C9-7E10-4E45-A269-CB61224FC419","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a930676940538ecaabdd05c031bbce047925c25b","datavalue":{"value":"W4281788412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2095546$5F1DE49A-4433-476D-BFF8-4984218C48E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa7da4ae579c802d85da4068fe39eb2902c118c","datavalue":{"value":{"entity-type":"item","numeric-id":4218098,"id":"Q4218098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$0CBBB268-17A9-4321-A7BA-D71902381B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcedb0c75d650245f6fc316db91953060ab210f","datavalue":{"value":{"entity-type":"item","numeric-id":5233235,"id":"Q5233235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$16E3CD77-E0B4-47B7-878C-2A7DADC4E601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$E46E2594-BC36-4002-9FD0-91189C3B4FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860324093565e49f158e642dce5b074981e46dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4372903,"id":"Q4372903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$00669B06-B824-4B0E-8587-6F49EA3980AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39247c00a7ce4823ead5de23d97d8ba01016b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":2445839,"id":"Q2445839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$494A7D89-4519-4B22-AFDF-5EAE6F018B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f162e20dc2fb76efac3e52f404a7c7a69ba6016b","datavalue":{"value":{"entity-type":"item","numeric-id":2996914,"id":"Q2996914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$4D5EA6C4-8A11-4C88-BBB1-A3C6502B14AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$CCD6A5BA-6C4E-434F-8906-3C229E465AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41051290dad36879ad016b201152054fc1f7f49","datavalue":{"value":{"entity-type":"item","numeric-id":5307060,"id":"Q5307060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$0B898D26-90A2-479C-86F6-06CD301B26C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c2d69501bd0be5b69aa3282216cf965d650f35","datavalue":{"value":{"entity-type":"item","numeric-id":3224554,"id":"Q3224554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$4BE6435C-9967-4C4B-B468-CDA45936A391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d6321a3b15489d3ed6e73cf55ba5d79230f775","datavalue":{"value":{"entity-type":"item","numeric-id":4809071,"id":"Q4809071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$92BAC5A9-6749-4CFB-8B81-DB68F4347F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4960d97c11c0cd0f282650fb582b7cd310577033","datavalue":{"value":{"entity-type":"item","numeric-id":3256638,"id":"Q3256638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$D8E249F7-52C2-4E5D-B39C-26A4CDF5982A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$53A4BE84-677D-4896-BCEC-583CF70694FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c184a968cc4e5306fda681741508fd66f4b9c69","datavalue":{"value":{"entity-type":"item","numeric-id":4391452,"id":"Q4391452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$49FD4337-510E-4575-9D19-28C14E819DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b9ff411afc78f81d85784eccb2c5bdb17dc21","datavalue":{"value":{"entity-type":"item","numeric-id":967378,"id":"Q967378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$2ABF6EBB-2DA8-4036-8DF3-92E7ED0D8636","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":"Q2095546$060F741A-D784-4219-8DCA-D5035A710F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54df13eb01be31e77d317d82a5c7216e0c97116c","datavalue":{"value":{"entity-type":"item","numeric-id":2180223,"id":"Q2180223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$627ABC64-B219-484F-9134-3E2BAA2396E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9fc22a32f500a3420cc5b4ffc482e11c1338e3","datavalue":{"value":{"entity-type":"item","numeric-id":1749535,"id":"Q1749535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$36C01BB7-8E7A-4BBB-960D-ED84631A985E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c890c0675d416e071d28712c9ff13d1411dbaf1f","datavalue":{"value":{"entity-type":"item","numeric-id":5875680,"id":"Q5875680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$65DAC81B-C189-4AA4-9B75-4BE6337576DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe997dfa157adf3e06cd4355f8ca9304b091f7b","datavalue":{"value":{"entity-type":"item","numeric-id":4471290,"id":"Q4471290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$346D2419-1407-4795-866B-DCC0C85AEA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a34b765b79e157bc1e998dafe564292407d813","datavalue":{"value":{"entity-type":"item","numeric-id":5712536,"id":"Q5712536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$B3B29DC5-7C3B-43AF-934C-EC99A53C134D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa917cd1e9b5468ee39ca98d36ef385b02222f9c","datavalue":{"value":{"entity-type":"item","numeric-id":465678,"id":"Q465678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$3A5C1EF0-85B6-46F7-AEBD-8B0A4CB94C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcd935a5b8d2b98c3e577acbefcd660095c66bc","datavalue":{"value":{"entity-type":"item","numeric-id":4943600,"id":"Q4943600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$4B034428-BAFC-4B36-B2ED-E2EB1C89BC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$63D17F88-8165-4131-8DB3-E74CC664F8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ed8ce59c0eb8d7f29eaf2566826020c5c15da3","datavalue":{"value":{"entity-type":"item","numeric-id":846163,"id":"Q846163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$04803EFF-EE60-4523-B293-B955961B8DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc0deca078f11a055615ef53b3ff36babd45ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2415363,"id":"Q2415363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$FE28A1A2-F515-4180-9C0A-1F569E410D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975857b4102edd8f5c3a368d6243f0d960c3b94d","datavalue":{"value":{"entity-type":"item","numeric-id":4539605,"id":"Q4539605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$7D8F92B8-31DF-4713-BFCD-220A2997C687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee5eb727a9bec4614ff306365d4f05e434ca9f","datavalue":{"value":{"entity-type":"item","numeric-id":5545992,"id":"Q5545992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2095546$48A2C2EC-652C-4C28-B854-A15A23AC463F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e4813b51dda5b8264abd762300db8d049876bf2","datavalue":{"value":"10.1007/S10472-022-09800-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2095546$CD57D1E8-E1D2-493D-ABF4-082999D28841","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00df626e919448b07821c3c6577c0bab7ba2fe8b","datavalue":{"value":{"entity-type":"item","numeric-id":2180223,"id":"Q2180223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe90f611faee35da20d397984db8c759e23901b","datavalue":{"value":{"amount":"+0.9461092948913574","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":"Q2095546$40B30D8F-A229-4271-A9A1-3C8CD6387B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614e0625461ba0ce6dd12019630b9e50b7a8631d","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a704b3dd6072bd4afb19a66097afe6a4ce862c29","datavalue":{"value":{"amount":"+0.7867212891578674","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":"Q2095546$30D6A730-2EC5-4D88-AE3B-90327026C4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9728822ae8a2d7f9ec395e78a49718041c0bd969","datavalue":{"value":{"entity-type":"item","numeric-id":4018154,"id":"Q4018154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f02026e882ee7649673222e51e73f877383d455","datavalue":{"value":{"amount":"+0.7790215015411377","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":"Q2095546$FFAAE8A9-5174-4DBC-91B7-6DF6378C65AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1faf1989557315c081940c1b4a5b551fcbc29b7c","datavalue":{"value":{"entity-type":"item","numeric-id":1908818,"id":"Q1908818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f798ff1ec3539e26da0dfcb7c2b71e8977e358e","datavalue":{"value":{"amount":"+0.7776392102241516","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":"Q2095546$16BF6564-D6CA-4D1D-95B6-75190C0E7EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9061ea0b4392b47f6650a73bce7b928b02570af6","datavalue":{"value":{"entity-type":"item","numeric-id":693047,"id":"Q693047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40075fc3bb722066169ecf42f16faa76c30db8f8","datavalue":{"value":{"amount":"+0.7774266600608826","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":"Q2095546$4EC06E2B-C866-4772-9235-41210637901E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2095546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2095546"}}}}}