{"entities":{"Q4018154":{"pageid":6047935,"ns":120,"title":"Item:Q4018154","lastrevid":55191517,"modified":"2026-02-04T15:24:50Z","type":"item","id":"Q4018154","labels":{"en":{"language":"en","value":"Input Proofs and Rank One Cutting Planes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92824"}},"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":"Q4018154$1F4F96B0-CCAB-4505-BEC1-839CE39213AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1946acf0e6b698197d197b823d07a3b06734250","datavalue":{"value":{"text":"Input Proofs and Rank One Cutting Planes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4018154$FEEA02E8-52AD-4EB4-A964-6691FD5CA200","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"259116d9a0025f22d426d7d4bc023fcaaf6a2eb7","datavalue":{"value":"0752.90051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018154$CA1DCB66-A90A-40EB-8C79-A35C10589722","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c9091a62d0c5c5ee71c1c7c1d6be90c878d111e","datavalue":{"value":{"entity-type":"item","numeric-id":3993661,"id":"Q3993661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4018154$CB441EF9-FE15-459F-91A4-6E9CF937D84B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4018154$9AACF84D-DDD4-475B-8412-4437B51F26D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018154$05B53893-ECA1-452B-925E-86BA0DCF0D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018154$E8F5A964-D6FC-4FCB-9F3C-9B4964CD746C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018154$6FED1F78-B30F-49D8-9CDE-E0B9A90BF30D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbca2b4c661dcc46dbbc3f7f0fb675b829f0c3c2","datavalue":{"value":"92824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018154$1F924627-8EC3-46FF-B3E6-EBC2890E8F0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018154$5AFD83A9-2D6D-40B1-BCD0-E5C2F20E6F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cdfe512ab584bf0b024ddb1de3836436165ea1f","datavalue":{"value":"complete inference methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018154$2A6C167C-F961-4339-A0A6-5E1E844347C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a769687a352a52996c7e63cb35b354197eb7139e","datavalue":{"value":"Horn clauses in propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018154$69CD430A-A7CD-4FA6-B7A3-E75B5E53438F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5bbd8c55216bc58296fa2ade785c5de51a5a6c4","datavalue":{"value":"cutting plane algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018154$73F95333-27AF-4156-A455-1ED3CF7644C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53f96cc16ca327ba5380b1dfec6eb07dace1ef7c","datavalue":{"value":"non-Horn inference problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018154$8EF02EBD-81DC-4642-800B-ECDDCED2F2BF","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":"Q4018154$1F4682FA-2167-4EF5-B5CE-319F213B5C8F","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":"Q4018154$4ABB0FD8-767C-487D-9085-4363C6AB1025","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"402edd9f2cb756e151626437fa170f86d981576d","datavalue":{"value":"https://doi.org/10.1287/ijoc.1.3.137","type":"string"},"datatype":"url"},"type":"statement","id":"Q4018154$43F2D00F-83C9-4B3A-8728-AD9ED17DAB2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a08b0d0419d0e9b0dff927c8db308514e92086b4","datavalue":{"value":"W2017351350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018154$29D0C2F0-4B09-410D-94BE-6140E7C72283","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a417d35b70ade4edeec1d450b418d948f0dad44a","datavalue":{"value":"10.1287/IJOC.1.3.137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018154$D3C2F255-9A40-44F3-A335-D68A12976C74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc885c023182d4d76c9909ba3e107db4a2c793f3","datavalue":{"value":{"entity-type":"item","numeric-id":3569838,"id":"Q3569838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22a2188a13ab1772e9c7a30bb9b5944d0ab07e59","datavalue":{"value":{"amount":"+0.90819883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4018154$21A167A0-59EB-46CE-ABBC-726127298D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aaabe75ac40230053c43c100bda99f2a88fd5ea","datavalue":{"value":{"entity-type":"item","numeric-id":1813835,"id":"Q1813835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133553c91eddaf897dccafa17e767d3d03ba6243","datavalue":{"value":{"amount":"+0.8953951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4018154$66B34DE6-26BE-4170-B0FD-E4651395F0F4","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":"0c1632d9c320d6ea9ce340525f17269f5b8f3f63","datavalue":{"value":{"amount":"+0.88613915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4018154$0EEF63E6-2011-48AF-AE4C-4C8C3F2F7846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15cd3693e29f053f502ad78a5fa90fcec59c444","datavalue":{"value":{"entity-type":"item","numeric-id":969513,"id":"Q969513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b09138a07bd8cab0e9694c28512b1c2bba20244f","datavalue":{"value":{"amount":"+0.8654283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4018154$CDF8DC09-C210-4527-A869-243CF3ACD652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cf88362f6428d5d0299f9f394699d6f8456b3bb","datavalue":{"value":{"entity-type":"item","numeric-id":2368983,"id":"Q2368983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8fe584cdae02986e7c91cf49c04cdb5436318b7","datavalue":{"value":{"amount":"+0.86044735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4018154$C6F837CD-9643-48B0-B773-3E9ED89A4D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c08f2be436fb2f3d10857cb7f00cf9a5760d9c","datavalue":{"value":{"entity-type":"item","numeric-id":4234107,"id":"Q4234107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0333b8ea1986e403abbc2c95b6e282ffe6c0b9ba","datavalue":{"value":{"amount":"+0.85807747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4018154$0C00F566-C6D7-433C-8512-E8D05A041210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6015e0a342a0ec3ce3b36c729c5d44678453c4","datavalue":{"value":{"entity-type":"item","numeric-id":4372903,"id":"Q4372903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0333b8ea1986e403abbc2c95b6e282ffe6c0b9ba","datavalue":{"value":{"amount":"+0.85807747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4018154$12E5BFD6-659E-4E9E-A69C-416CF1F05621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf670fa68de4694250b0337c3ae20c464ce2712c","datavalue":{"value":{"entity-type":"item","numeric-id":3002766,"id":"Q3002766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95267e8aa72c687b8e0e896797c78720a3f4eed6","datavalue":{"value":{"amount":"+0.8506316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4018154$4866AACE-897D-4523-A39A-987DFB9BA186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0f334034e73d1df3571f104eb7ff7a1593c177","datavalue":{"value":{"entity-type":"item","numeric-id":2706120,"id":"Q2706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cbd5b81ef64534f9565af9a3fbc381e9637feae","datavalue":{"value":{"amount":"+0.85040593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4018154$B44B5A04-2598-447D-AE66-9FB80F561791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fbecbabdd68f481aee5847d1d9e0118e410ae7","datavalue":{"value":{"entity-type":"item","numeric-id":4283227,"id":"Q4283227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee8bb8218d9ce7f8186a2bc5436840ddd59aabb","datavalue":{"value":{"amount":"+0.8497187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4018154$DDAF946D-37DA-4CA6-9464-AF540CD3700E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4018154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4018154"}}}}}