{"entities":{"Q1324497":{"pageid":1335247,"ns":120,"title":"Item:Q1324497","lastrevid":67176186,"modified":"2026-04-12T15:48:17Z","type":"item","id":"Q1324497","labels":{"en":{"language":"en","value":"Two results in negation-free logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 571573"}},"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":"Q1324497$799E95B6-0076-4FD8-81E1-FA4723F08094","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3063c50fbd771fce1350b7db2e3d51cfa715f425","datavalue":{"value":{"text":"Two results in negation-free logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1324497$57C3675F-A073-4C6E-8CAE-DF3C71B3C541","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29e2d816f68c1ac334f18f93d1878893ac72edbf","datavalue":{"value":"0814.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1324497$14E1FE1E-5DCC-48CD-878D-E63CE5E809E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4ac23a7e643efc2b86efde20c52f70235605098","datavalue":{"value":"10.1016/0893-9659(93)90083-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1324497$22593C7D-D3BD-4283-8451-5CC21ACC7C8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26bf0cff9e215df3aaf30e4a09d6638e838fc0de","datavalue":{"value":{"entity-type":"item","numeric-id":294885,"id":"Q294885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1324497$D5FFB3A0-3F01-42AF-A937-0DBF57DFA72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c209c5998ce30b704f0b820fc838e999b802eef3","datavalue":{"value":{"entity-type":"item","numeric-id":285563,"id":"Q285563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1324497$7F697BA4-7DB4-4D44-8AA7-2D26632AA6F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"60e92c9f06012150d8158f8bfafc8319965c5fdc","datavalue":{"value":{"entity-type":"item","numeric-id":176247,"id":"Q176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1324497$69A77A93-317E-4C2B-AC72-DFB523D0DF16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b284e35c1970c32b54ea678933b5f17581b0b244","datavalue":{"value":{"time":"+1995-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1324497$81C535D2-AD89-4D89-9182-7A89CF854601","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d4622bd0b103f42dc70ee0740b8ba6b6672ba0e","datavalue":{"value":"The problem of derivability of logical implications between sentences in classical propositional or predicate logic is reduced to the same problem for the negation-free fragment. So this problem for negation-free logic is co-NP-complete in the propositional case and is undecidable in the predicate case. The problem of determining a minimum satisfying assignment for a propositional formula in a negation-free conjunctive normal form, even with no more than two disjuncts per clause, is also NP- complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1324497$CF4F993A-9E5E-4B4F-8526-934BA0D3522D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1324497$6D4D0A52-E6F9-4F32-96D0-353A950183A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1324497$7DEE7555-295D-4A79-AE71-4CC7FF304282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1324497$33DDDFE3-6B50-4EBC-8E4F-CE75490AE7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1324497$88B7935F-EB8C-4D22-BE9E-8AD6B37BD7BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cad40219d2639139e15049cdae33aecf1ef8d1e","datavalue":{"value":"571573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1324497$53F78BBA-36F0-4BCA-94C0-58FA84E59974","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1324497$2B84C465-7744-4219-8852-903AC4E4F689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307b8c02e51a090a8cb22699e50b68d2acf5caf4","datavalue":{"value":"derivability of logical implications between sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1324497$EA7B3A0D-BC7F-4CBC-B655-F75D3E899488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6091a95e0ad76f3c597bd319318bac2e13b1165","datavalue":{"value":"negation-free fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1324497$066874E4-2B30-4440-A309-6C086FE0488F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bb839efe94641093a233cdcf9035916be7697d4d","datavalue":{"value":{"entity-type":"item","numeric-id":731483,"id":"Q731483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1324497$F998C96E-8A72-4254-891D-C31C8E90AFC9","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":"Q1324497$FEE5B275-C635-4D78-9F4C-F8F46D141DDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1324497$A503A517-0357-48CC-941F-60150C09AEC8","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":"Q1324497$95066D9C-3E33-4FCF-BBD5-478A88FCF69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b02c0213212cf1b94e5a60f245496d2285dd1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1263982,"id":"Q1263982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1324497$238C7D47-5670-4AD9-B483-0E51CE973753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1324497$68BD2D6F-E7D0-4ADF-B0F7-C7A928844E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7258962f550bf808b8ce0edfe0f9b2099a09d076","datavalue":{"value":{"entity-type":"item","numeric-id":4230322,"id":"Q4230322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1324497$2587E1DF-66F5-43CF-AA51-815C4DF9CDE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61108cbfb662f1fbbf6036e3a71348bf35f83c22","datavalue":{"value":{"entity-type":"item","numeric-id":1306795,"id":"Q1306795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b02c36e219b2c9433c52822bd132c6cb3d8f449b","datavalue":{"value":{"amount":"+0.86923426","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":"Q1324497$0719709E-10C7-4113-80FC-D407ECDDB5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36710d3800ebad5721e0327d7ef51429ed5e8cf2","datavalue":{"value":{"entity-type":"item","numeric-id":5048929,"id":"Q5048929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b02c36e219b2c9433c52822bd132c6cb3d8f449b","datavalue":{"value":{"amount":"+0.86923426","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":"Q1324497$BC734AB9-CF6E-47A5-A3D4-ECB08A9ED3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5dcce4013ee3292b5cb58d11534494856d15ba","datavalue":{"value":{"entity-type":"item","numeric-id":1942343,"id":"Q1942343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9b7e5514c6d78c60117ae6284da9d2ff6cfc90","datavalue":{"value":{"amount":"+0.8691255","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":"Q1324497$0ECE5645-1990-463F-A93F-3DC1F6B1CADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"293755e2cf5c005084766b90196a9eae528bf495","datavalue":{"value":{"entity-type":"item","numeric-id":1072539,"id":"Q1072539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a231cc0837f9d3f72c9e2a47a0f19923f0b729d","datavalue":{"value":{"amount":"+0.86740834","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":"Q1324497$5F851331-7544-4646-8D62-00D02167FED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ce3264d95602d3aab5d57cee7bed9b6a9516e6","datavalue":{"value":{"entity-type":"item","numeric-id":2501164,"id":"Q2501164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dbac7fe75d595790bad02411c72baaa626b3ace","datavalue":{"value":{"amount":"+0.8650105","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":"Q1324497$BE203DA4-8E88-4C43-9CD4-AFA400A0DD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98873301d781c89d197affc931a2710f145bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":4360830,"id":"Q4360830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a818d04b5fce7e6b635ce608945c6acda6f8c7","datavalue":{"value":{"amount":"+0.864678","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":"Q1324497$AF25F0F8-3D22-4773-BD35-B4270E64ABED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4dd784ec92254b1f4fbb65a25fdbef01abf1e42","datavalue":{"value":{"entity-type":"item","numeric-id":813082,"id":"Q813082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b61ac53443a204497f90c8b9581180878d6fb726","datavalue":{"value":{"amount":"+0.86420906","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":"Q1324497$DE357B2A-180E-4FE7-89FA-BF2AB0C6998C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af98cf505660f0b759178b47c2c7075ce0472528","datavalue":{"value":{"entity-type":"item","numeric-id":4899838,"id":"Q4899838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a87418c6a9fbf49e4e8cacebaee0c3f65e70d7","datavalue":{"value":{"amount":"+0.86386997","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":"Q1324497$874F536E-144A-4D95-B23A-ACDA087F0FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d73402c7a9f88b78d1b6a6cad4bddf630a0dd50a","datavalue":{"value":{"entity-type":"item","numeric-id":3090754,"id":"Q3090754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a87418c6a9fbf49e4e8cacebaee0c3f65e70d7","datavalue":{"value":{"amount":"+0.86386997","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":"Q1324497$565B1C53-D460-40B0-95A0-BEB676E64D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc59ee566a00980cd051d24d8e5012344c0530b","datavalue":{"value":{"entity-type":"item","numeric-id":1006496,"id":"Q1006496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f7e2bed488a2e4da5ab99e7f55ddce2a81eae5","datavalue":{"value":{"amount":"+0.8622382","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":"Q1324497$89DD3BFD-6E50-42D4-8592-260ECBE2B9B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two results in negation-free logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_results_in_negation-free_logic"}}}}}