{"entities":{"Q1367267":{"pageid":1378007,"ns":120,"title":"Item:Q1367267","lastrevid":46476633,"modified":"2025-12-24T21:13:09Z","type":"item","id":"Q1367267","labels":{"en":{"language":"en","value":"A polynomial-time algorithm for reducing the number of variables in MAX SAT problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1063748"}},"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":"Q1367267$C5B3289B-DB93-4086-B91E-BAA67170047D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14e9039659bb144b6735e3ed64b8d7dea29261dd","datavalue":{"value":{"text":"A polynomial-time algorithm for reducing the number of variables in MAX SAT problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1367267$6637E414-CA18-437F-A9C1-3B776431E7B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e214fd139e3bcb9a341f1534960d2f3ebfff45db","datavalue":{"value":"0881.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367267$EF09AC22-57F9-407D-B16C-0949A361DFB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4370faa3536b131c5d0c2388c3e93e2e1c76069a","datavalue":{"value":"10.1007/BF02916605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367267$855F1E63-7F50-4CC1-8B25-786852A56C01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e32ea6421ae36036230677d50ef065b81524263","datavalue":{"value":{"entity-type":"item","numeric-id":208311,"id":"Q208311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367267$7A0C9B70-05CF-40E8-B1AB-B0ABA8A6350D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92b87f49510d48342db3ecd826c73f59c3ed9e94","datavalue":{"value":{"entity-type":"item","numeric-id":1367266,"id":"Q1367266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367267$EE601BAB-3829-4A77-9024-21DDD1E91EA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c21b4cba3723fb37014155e6ce2dbe8cee77c53","datavalue":{"value":{"entity-type":"item","numeric-id":163214,"id":"Q163214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367267$47E9B7DB-F9CB-4A8D-B443-0D6C76089F87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af2e1fa3b9438c5889533678699c030834fcfdb4","datavalue":{"value":{"time":"+1997-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1367267$3F1643BE-46D3-4A2F-BA6A-A4D8468E73B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367267$8B0CC644-E9D3-4B25-BD3A-8B0EBB3BCD41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb6dfe51640bad94105b4ba439616e34064c5eec","datavalue":{"value":"1063748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367267$BB98C3AA-196F-4FC1-A8F3-BB3803C8BDE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367267$42977443-E699-45C3-8DFD-6064B1B4EA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33d8bcfec83f71c0aa47c8a605039266e9cb587d","datavalue":{"value":"MAX SAT problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367267$337B0958-2CF4-4B4C-A0AE-0C4F52E777A4","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":"Q1367267$1A5B2C77-4548-48CD-ABFB-D84DD7C309EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd793e3cc41e1cfdd728dd923578990c02b6660","datavalue":{"value":{"entity-type":"item","numeric-id":1199919,"id":"Q1199919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367267$852FD39E-3E03-4330-8DBF-9A97355F8912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd5b69f794138612a3268c27b3dd3ef7e62ac8d3","datavalue":{"value":{"entity-type":"item","numeric-id":4133656,"id":"Q4133656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367267$BA35E0B1-F629-40CA-A1CF-16BB94FEA683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187e1fb158e6b4695b1eefc466a8e0535eaf95e7","datavalue":{"value":{"entity-type":"item","numeric-id":5682014,"id":"Q5682014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367267$EF344FB0-4A65-4419-A315-491B59BE9DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe184acdf40820b7959e77149e025e5c3dfbc8a","datavalue":{"value":{"entity-type":"item","numeric-id":3812268,"id":"Q3812268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367267$BE327F5A-E102-4841-A1F5-15686D5B4F05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b76939d2b27e8ba65898f640b2cf7678a7f07a49","datavalue":{"value":"https://doi.org/10.1007/bf02916605","type":"string"},"datatype":"url"},"type":"statement","id":"Q1367267$C78DB55A-26C4-4DAB-A6EB-BCBFD3FBFEDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2308d278fc6b0823e1315f03be608aa0a37d646","datavalue":{"value":"W2078775294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367267$06B3A192-B5BE-4731-8956-5841ABC570B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead7187af7e8c8a30187e9a6cd4c1f14f7bdd837","datavalue":{"value":{"entity-type":"item","numeric-id":4473057,"id":"Q4473057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b498c7e32b72d3fb5da0d00f3ecd89653fa7c9c","datavalue":{"value":{"amount":"+0.7567683458328247","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":"Q1367267$0924F7A4-2C47-4084-B941-C1C6D2580B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090683e4f4ae1179c1236405310712d3cd6e0ff0","datavalue":{"value":{"entity-type":"item","numeric-id":5280028,"id":"Q5280028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd15a2116200673a587e41096e31f652fdb4e365","datavalue":{"value":{"amount":"+0.7519131302833557","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":"Q1367267$E4F0C4D2-526F-4F58-80F5-F2FB16AE7F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e86275cb310befcc18de5991c3b223f3099a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4840102,"id":"Q4840102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f893b0fb13ba32a35d192cbeb459e55af32a8836","datavalue":{"value":{"amount":"+0.7283778786659241","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":"Q1367267$42BA6143-EB80-4E08-9D51-E92A00B72D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d8891ac6df97a878ccf7a91e4948e04efd55f0","datavalue":{"value":{"entity-type":"item","numeric-id":293164,"id":"Q293164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993b4438cb5659e228a6e22e85a021bc9f3de07e","datavalue":{"value":{"amount":"+0.7185796499252319","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":"Q1367267$058A5811-FF9C-440E-ACDA-7A0129DCEFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fe987a1c93c427ee7f72d701a2da77f0bb0f2f","datavalue":{"value":{"entity-type":"item","numeric-id":535012,"id":"Q535012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a907d660e0576f30f8a37faea4718596aacd2761","datavalue":{"value":{"amount":"+0.699338972568512","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":"Q1367267$504F0983-8C04-47DA-9365-C88D6C13C7D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1367267","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1367267"}}}}}