{"entities":{"Q2751372":{"pageid":2762111,"ns":120,"title":"Item:Q2751372","lastrevid":83097026,"modified":"2026-05-07T06:02:01Z","type":"item","id":"Q2751372","labels":{"en":{"language":"en","value":"Automated deduction for many-valued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1664659"}},"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":"Q2751372$28983D5F-096C-4CE7-9AD8-C826BD49FEDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37eeca4470f023efc2bc067d91a8fc4ce8fc7b59","datavalue":{"value":"0992.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751372$2B269C4E-8FF4-4049-9EDF-8DA7A17A1182","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751372$6D92EEF4-3464-437B-86D9-CA29D8093BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751372$FD3ED386-B8C3-46EF-88A6-5E41F918ED1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7af07974ad8783087ab1b975cd3d810e876a707f","datavalue":{"value":{"entity-type":"item","numeric-id":671654,"id":"Q671654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751372$0DBB0D22-ADFB-4270-A9FA-7D71F79DF069","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"984f89431fd3bd278c430e81f3345c06d05910ab","datavalue":{"value":{"time":"+2002-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2751372$C1DA0D38-1E98-4002-AC99-454263A401C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751372$C664F93B-5999-4B92-BCBE-B6CF0787213D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751372$557376F7-9578-4CF3-8C21-34250FB52AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751372$C9F4F179-DFE3-4992-A7E6-BCB45753E2E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7589dfa33704976260dadefa38fcbd9407e76a99","datavalue":{"value":"1664659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751372$9F9A82A0-E660-4449-AF8F-2E99A7CF1A0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751372$33FD4E96-7221-4448-8AE2-7AEF64E56D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751372$91BF6C54-CFCC-4AF3-A0FE-1E5445B0F5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66770329973b10f3016f80409ee46245b2221d3d","datavalue":{"value":"signed logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751372$5E2D18D5-1D2A-4D98-8274-CA570E298EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751372$FA0CA822-B811-4CFB-829D-75BC5318A14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68695aaafa352be8a28e180e240771617b956dfa","datavalue":{"value":"many-valued automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751372$44D2E3FA-458A-4EE6-B882-A7217CF07FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df266d51e2fcbff1b199aec89bc3be4ea4f1af04","datavalue":{"value":"signed formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751372$98CFF409-B6C7-48DF-98AF-0CA32CBBF6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751372$506EBF48-D8B6-4D5A-B497-785CAB1900A8","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":"Q2751372$36B4D739-02A4-4098-B9FF-B26BEEC21F97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc47d5d7bda03aa5f81bd804c6f977624a87a40a","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b3d09e608e92ad2374eb0d985877368dfdba42","datavalue":{"value":{"amount":"+0.9851574","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":"Q2751372$FE054578-DDCD-4582-9C13-140EE96583F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a53649f9e1f1ac44c131be79504c0ce2156903f","datavalue":{"value":{"entity-type":"item","numeric-id":1272603,"id":"Q1272603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c146bbf80431fc949f1ad2170bcc5e7c7d3d3d9d","datavalue":{"value":{"amount":"+0.9432552","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":"Q2751372$8DFBE7C9-911A-4A06-A932-C12BC755457B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be055b314b934e40a3d60a53755f0ad33613a859","datavalue":{"value":{"entity-type":"item","numeric-id":4212163,"id":"Q4212163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1df657920e43b5b248b246e0a95a2e2953872af","datavalue":{"value":{"amount":"+0.9429306","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":"Q2751372$0B039E70-6EE3-43D5-BC6B-DAF7E626365C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88123805737055ce53c54ee2f23d3afc276626d8","datavalue":{"value":{"entity-type":"item","numeric-id":5881275,"id":"Q5881275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb78915846923f2ff3918fcf639ce2a41bb34693","datavalue":{"value":{"amount":"+0.9375592","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":"Q2751372$287DCDE7-1CD6-4FE0-996C-5A81A55326C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af54a7870ca0d13931e6592961d66440dbdf3adc","datavalue":{"value":{"entity-type":"item","numeric-id":4380155,"id":"Q4380155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e2f27754c3ae91e8da31fab4bc24c12815d98f","datavalue":{"value":{"amount":"+0.9331161","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":"Q2751372$4A47A26E-50D3-436D-899A-DAD63442D035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74d4385a98677699e9bf417aca0b56ba167aaf2","datavalue":{"value":{"entity-type":"item","numeric-id":1697332,"id":"Q1697332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d66cd973858b956932ddae61f450a7e40a6863","datavalue":{"value":{"amount":"+0.92886597","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":"Q2751372$B8D8E9F9-8E6E-44AB-949B-4EB6567C2349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd139595eb486b65fbfcd609b960749504abffe","datavalue":{"value":{"entity-type":"item","numeric-id":4360106,"id":"Q4360106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8105011099eb3d16994280729d9aae80a9dbbc2a","datavalue":{"value":{"amount":"+0.9249245","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":"Q2751372$1FEAD8B1-EC72-4D39-B840-312574EC6B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a7aea208b683dab7af2b4927926050ca8a67ffc","datavalue":{"value":{"entity-type":"item","numeric-id":3342535,"id":"Q3342535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4b17599c325e0853ba3f2dcddf9f1dd4f3fcd5","datavalue":{"value":{"amount":"+0.9214007","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":"Q2751372$AA9A6F24-11C1-45B3-86A6-8108DAF0C777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524ab2973279b77374bf2818b4cbe86ddc56c2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2757832,"id":"Q2757832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110e080aa723ddd8cf83b41f59420091d764014d","datavalue":{"value":{"amount":"+0.9164886","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":"Q2751372$38454A1A-991D-495F-82EA-B3FC65605D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25273cef471ad619db82c4efb5e38f62c3939538","datavalue":{"value":{"entity-type":"item","numeric-id":3021917,"id":"Q3021917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df58aece9f93abe50d5fc84ba3f3d104c5c4d1a","datavalue":{"value":{"amount":"+0.91248035","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":"Q2751372$AA4C318F-C008-4D9F-9E90-5D495A4BA795","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"795b72a8a3e5bfddf25348ccabf9805758bb5de0","datavalue":{"value":{"text":"Automated deduction for many-valued logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2751372$ECB87F50-CAF9-48C0-9A52-801A55A042D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"34b9fa53f9882839cbffd2782d7895c7842f3e0e","datavalue":{"value":"This Handbook chapter a reader may use as a comprehensive guide to the contemporary many-valued automated reasoning techniques based on the method of signed formulas. The authors have proved themselves to be good specialists in this field. They give an exposition of the resolution method for first-order finite-valued logics. They consider proof systems with signed formulas, i.e., expressions of many-valued logics that have sets of truth values attached to their heads. Such formulas have two-valued interpretation. The authors describe two kinds of transformations that should be applied to many-valued formulas in order to use them in resolution procedures. These two transformations are language-preserving (CNF) and structure-preserving transformations. Also the resolution inference system is constructed, and refutational and implicational completeness are proved for this system. Transformation and resolution rules are tested with a cute 2-world Kripke model example. There are some hints how one can generalize results concerning the 2-world model to the case of the \\(n\\)-world model which corresponds to \\(2^n\\)-valued logic.NEWLINENEWLINEFor the entire collection see [Zbl 0964.00020].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751372$5357EE4D-20C1-424C-91EC-DFF6E09E193F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c634a7a610dc4a60ec0b802b8dd89a79b8a3056","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751372$95D2A08D-CE13-43B3-85A2-251CCEF735C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated deduction for many-valued logics","badges":[]}}}}}