{"entities":{"Q1100093":{"pageid":1110845,"ns":120,"title":"Item:Q1100093","lastrevid":49151335,"modified":"2026-01-06T16:32:16Z","type":"item","id":"Q1100093","labels":{"en":{"language":"en","value":"Resolution vs. cutting plane solution of inference problems: Some computational experience"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4043616"}},"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":"Q1100093$369AEC64-9F88-41FC-8D42-C70122399791","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd82ba713694df86c1603f8f40df96e3aaa271be","datavalue":{"value":{"text":"Resolution vs. cutting plane solution of inference problems: Some computational experience","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1100093$0E690D18-E1D8-4060-B094-F1E5721D5219","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"150762d3bc0da0246c86252f90e62c80aee33b11","datavalue":{"value":"0639.90070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100093$66A83E15-6C6A-4EC4-A13D-2A98745CE858","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f891bc8383ccd970c7972ebf81e3e8cd9d31be43","datavalue":{"value":"10.1016/0167-6377(88)90044-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100093$40F86026-7661-4ADF-BE86-BB860ECAEA1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f9747a37b0b56aeca2085282046e2737cd5087ca","datavalue":{"value":{"entity-type":"item","numeric-id":96289,"id":"Q96289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100093$8CC188CE-6D7B-4DDF-BFEB-E6085AC13E3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1100093$0B4C96C0-7E57-4D32-9D93-9A1C37D6583D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a20275e2d8eb99d221389366fe1a0d0afcf865ef","datavalue":{"value":"Resolvents in the propositional calculus correspond to certain cutting planes in integer programming models of inference problems. We compare the performance of a rudimentary cutting plane algorithm that uses only resolvents as cuts with that of `set-of-support' resolution on random inference problems. The cutting plane algorithm is orders of magnitude faster on problems in which the premises do not imply the given proposition (i.e., the majority of random problems), and moderately faster on other random problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100093$C5DFC425-5BD3-4C93-B2F9-E70D74FBF959","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100093$7E71C159-D35F-450B-8027-75375A54380F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b4fa5b59eb6fe6e43618f9e005f4a49f4390971","datavalue":{"value":"65K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100093$54B9E1D0-A947-4405-A42F-DAA3911054A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05bbb9412aa8914122069c2121402fb16baf45f8","datavalue":{"value":"4043616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100093$9907C54E-AC19-4EB5-B872-46CE01447F0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba460ba35c52589f9541199abbaebdbc1c9a2112","datavalue":{"value":"Resolvents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100093$D4157B01-5630-4E3F-955A-BC8C1388F08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100093$97CEDB17-20A9-4820-BA33-3404C60553D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3f5c88d3db777a4bdd3348a5d62b7e04a937f6","datavalue":{"value":"cutting planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100093$ABE1BACE-B917-4777-BFAD-4F3F4CD1B376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f14e9508eb6f40ff4dd33f7cf1cd0d3856050f4","datavalue":{"value":"inference problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100093$41235DDB-9B24-4D7C-A065-9417DD0CCC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100093$7BD93BB3-2523-418C-8F1D-57F23C789627","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfdfc80d52599880a400e6bfabf4e5fe3dd545a4","datavalue":{"value":{"entity-type":"item","numeric-id":662263,"id":"Q662263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100093$9D7B81C6-ED27-4949-9738-B34D70AD7E58","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":"Q1100093$9B7A13EB-7BBA-4043-AB2D-C66B56E2C15E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5474e42e2c25fe42734dd27c93fe9dd9dcf7c3b","datavalue":{"value":"https://doi.org/10.1016/0167-6377(88)90044-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1100093$237CEE6A-6625-46AA-A05E-39E8BB5D3056","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b9d57de9e7b4355be3ddf853545991b77efdf6f","datavalue":{"value":"W2088377032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100093$F4D11FB4-0B65-4450-8268-ED9C8C8D1A46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f53683ef323d99def8db920b583feaf053fe0f","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100093$2E302122-5E89-4055-AC2D-D7589DD3FA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9316bc21130945e76158a0803667b9b47faaef","datavalue":{"value":{"entity-type":"item","numeric-id":2557712,"id":"Q2557712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100093$4723E4D5-7C68-4F2E-A068-99E2887A4077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100093$9E91A3B6-95D4-49C0-AB5E-3F069CEC24AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100093$5E9F7675-981B-45EC-B583-90C267B739FB","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":"Q1100093$9DDE6D44-0902-40F5-A684-D1E4E3E6FF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05de296e121fb7c75e48d1e2ce77bc16cf43eee0","datavalue":{"value":{"entity-type":"item","numeric-id":4018154,"id":"Q4018154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100093$0842139A-8E9B-47A1-88FA-E6C3B6F6FDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100093$5F0749BE-A6F6-41EF-8A7A-1D346AE0F6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100093$0BB19C34-25B5-4D8E-A23B-C76DE02D237D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c8227370b23a709289df885ca01c57567c658f","datavalue":{"value":{"entity-type":"item","numeric-id":3856120,"id":"Q3856120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100093$BF5D1744-0991-47B9-8D9E-1456E1DA75C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100093$8E9EBC5F-6615-4C36-92F7-5BFEF2B0E9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100093$528CB854-79AF-4E41-8290-051B050F65B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100093$3E99C90C-EBD9-4075-AF47-96D8CA1BC781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100093$31E38D73-6B85-44C3-8ED3-0880A70D863F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcba8675c1a77d2296de9df8937c86070089b9bc","datavalue":{"value":{"entity-type":"item","numeric-id":1356213,"id":"Q1356213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9e1ac30a04d35b896e0e21ee2428cfd4fcd2d2","datavalue":{"value":{"amount":"+0.85395747423172","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":"Q1100093$F43F4E7D-B062-4D32-B25B-091B377411F6","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":"78c7bfb868c0fe030bf807681f0448761d8c9613","datavalue":{"value":{"amount":"+0.8398182988166809","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":"Q1100093$1F574532-8399-4FE5-80BF-C0CF7AC6DC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211fa2cb28593cfa74be1c7b3f05bc0d5910b04f","datavalue":{"value":{"entity-type":"item","numeric-id":1354004,"id":"Q1354004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4687404baa874225f61f8a2234391264e0c5eb","datavalue":{"value":{"amount":"+0.8273796439170837","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":"Q1100093$970CDE55-E4E6-4D1F-9971-3EAF22E3A2BA","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":"1101c8e9778d062362f16800d5ad9ad0e62ec340","datavalue":{"value":{"amount":"+0.7646795511245728","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":"Q1100093$EA5E8FEB-C4E3-476C-BF13-8C71ED0BCD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6368e04aa8004fd0d2af50046ca64c09e2f9384a","datavalue":{"value":{"entity-type":"item","numeric-id":1313760,"id":"Q1313760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f996c81b317753b06986c2f94e9d6f4f9c947c1","datavalue":{"value":{"amount":"+0.7440382838249207","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":"Q1100093$678B4B32-E5FD-48BE-A272-88DE39575410","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1100093","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1100093"}}}}}