{"entities":{"Q2228353":{"pageid":2239096,"ns":120,"title":"Item:Q2228353","lastrevid":53936924,"modified":"2026-01-25T23:17:21Z","type":"item","id":"Q2228353","labels":{"en":{"language":"en","value":"Constrained pseudo-propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7311777"}},"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":"Q2228353$533031DD-1C91-48EE-A1F5-F93D400B7F58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"451d03462b9951e789e1ae0e2334d524b9f66b53","datavalue":{"value":{"text":"Constrained pseudo-propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2228353$6E80E894-4211-496B-BA76-B3C7CBD78518","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4dd7b63b3f0f453c755816f97c52aceb8582a012","datavalue":{"value":"1475.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228353$15A5062C-78D3-4C18-8FF3-80CA6A05AF89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"965fd1022e0d9387ddf76e9608433cb0d836a3db","datavalue":{"value":{"entity-type":"item","numeric-id":281826,"id":"Q281826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228353$CF8DF825-7F27-405D-9C5B-AEC60C5D5DEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228353$7D7693A6-851A-4B30-84BD-AEE363CFEF50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"103ae1223110bc14f3808579ff7835e1b3e9dfe2","datavalue":{"value":{"time":"+2021-02-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":"Q2228353$5E4486E0-9B33-476F-AA56-7C360593232B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2163b18331d5186f8b658b10a78a05eff98b224a","datavalue":{"value":"The authors consider the constrained pseudo-propositional logic (CPPL), based on pseudo-propositional logic, formulating counting constraints naturally, but keeping its Boolean nature preserved. CPPL is capable of encoding counting constraints, as well as SAT instances, much more succinctly than having them being encoded using conjunctive normal form. Solving SAT problem in CPPL allows for assigning truth values to a variety of propositional variables simultaneously. The resulting calculus in CPPL is similar to the cutting planes proof systems, but in distinction to it, CPPL does not require the set of linear inequalities to be finite. Although this restriction is made dispensable, CPPL is maintained to be sound and complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228353$77D21F8C-B66E-43B8-B7E0-2C2F9AC6F58D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228353$B078FBD0-E139-4465-A96F-987704065FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228353$A2BC641A-1FA7-4B6A-BEA6-4AD6790B7B27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70b8e6cb07718d3211479b10191daf062dad9f28","datavalue":{"value":"7311777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228353$4BCCD1CB-EDDD-4F73-A029-8363A94353DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228353$42AADD52-13B3-4198-91C0-D690961FEF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228353$A0825C3E-10D4-416A-8D5E-FCC66B2E7D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fcec8e546d133ed330fa44a395a65aabde15d","datavalue":{"value":"pseudo-Boolean constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228353$CA5694AF-04D6-40CB-A84D-41E22F75CA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2228353$B311F23E-4180-4A6C-956A-52CD9468E3C1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228353$AC946864-43E7-4274-9DBD-758DBF3D152D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228353$B0824822-5B5E-4EB2-95CB-896AA15EEA74","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":"Q2228353$0732F50C-A800-479D-A791-49DC0CFCAC5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09f8f6581bcc3c195650adf32eaae0a919b1e470","datavalue":{"value":"https://doi.org/10.1007/s11787-020-00266-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2228353$822D6B84-FD0F-4E5E-94CE-A678CE397B46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2f08293dbe08242824a88140d718c6f56fde2f3","datavalue":{"value":"W3094993302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228353$700D52BD-32CD-4E0C-8603-BC646F1D79B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed237118c4d9ee9debbdfc08007731301d82af29","datavalue":{"value":{"entity-type":"item","numeric-id":3637167,"id":"Q3637167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228353$DE9AE699-DD81-4630-AEC7-22037C8A8998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228353$159FBEE4-1F0D-493F-BDDF-2B69475558A7","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":"Q2228353$407A7939-3E87-4CDF-8E4C-9F7E9BFB29DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d863bfeae1d1fe7325a6ec3334ed18fea05dd8a","datavalue":{"value":{"entity-type":"item","numeric-id":4695311,"id":"Q4695311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228353$6F478985-D959-4392-8D65-5D6ABAD77C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91bb97c2998b2f3aaa74365048a9cdcc1fac9f37","datavalue":{"value":{"entity-type":"item","numeric-id":1426130,"id":"Q1426130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228353$E9369E14-8A72-4CC6-84BA-3F1F1EF88513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6906d51c95d4c585da47240086d99f0ab80502a0","datavalue":{"value":{"entity-type":"item","numeric-id":1656587,"id":"Q1656587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2228353$5EE6EAF9-47BB-434A-95A0-44E7DF573F72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0af649f818971d33bae7a50e7b8dddd4cecca90f","datavalue":{"value":"10.1007/S11787-020-00266-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2228353$CC82BB4A-0876-4CAC-8C5C-64FA7FDC0BFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f2c625600cbb4fab9cb2c5a40a0cdaac90043eb","datavalue":{"value":{"entity-type":"item","numeric-id":5096196,"id":"Q5096196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa08145e55279d3853af1dd9e05c8ac439119dd","datavalue":{"value":{"amount":"+0.7453199625015259","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":"Q2228353$D66CE78C-7C38-4BEB-804A-1B3160C19600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5acb1edd21c23a4caa49967f778b3c1ff2122d0","datavalue":{"value":{"entity-type":"item","numeric-id":3429162,"id":"Q3429162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d829fb02010485c3e9a59cb6b7212d789170f894","datavalue":{"value":{"amount":"+0.7407682538032532","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":"Q2228353$F6A6D608-8DB0-402A-855A-46338C8BDA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87629de4359287996da652e0418c9ee9d901e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4797424,"id":"Q4797424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271de493df77dd8c7bd5468110700f65f4f4d91d","datavalue":{"value":{"amount":"+0.7332146167755127","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":"Q2228353$CD983051-B86F-4329-B064-4602E66D88E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8478003450a18e2774cd48b1003fd2b783a02169","datavalue":{"value":{"entity-type":"item","numeric-id":3637167,"id":"Q3637167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad240ea3e538729f47d2ee50db50b8722651f53d","datavalue":{"value":{"amount":"+0.727733850479126","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":"Q2228353$DC3448A8-5913-4EA2-ADA9-40F4817EC316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c4466195aeb3e5a71dfde54a3d77737c40506b","datavalue":{"value":{"entity-type":"item","numeric-id":5897228,"id":"Q5897228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cda19a6869860effca22c8ba9f88450abf40174","datavalue":{"value":{"amount":"+0.7253950834274292","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":"Q2228353$4945D984-C841-4E93-92C3-8FBDCDAE0C85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2228353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2228353"}}}}}