{"entities":{"Q6826480":{"pageid":15098875,"ns":120,"title":"Item:Q6826480","lastrevid":55992328,"modified":"2026-02-24T11:07:41Z","type":"item","id":"Q6826480","labels":{"en":{"language":"en","value":"On Davis-Putnam reductions for minimally unsatisfiable clause-sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244028"}},"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":"Q6826480$E6BD95C5-D42D-41BA-B746-F9621D8710DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee3f1062f6f1a5379a74b3b9c7aadad81a02f5b4","datavalue":{"value":{"text":"On Davis-Putnam reductions for minimally unsatisfiable clause-sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6826480$986F878D-5359-4286-BCB1-732E552A0D0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c18cf7cc4ff96aa07833e49da0176206e30afec1","datavalue":{"value":"1296.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6826480$535A4B5C-D4E2-4A1B-8CC7-FFC94E84BBD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a755885ab8e0bc8660ba99c1bbcc1bbd118acde","datavalue":{"value":"10.1016/J.TCS.2013.04.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6826480$B30C7F8B-D335-4C7D-81FB-1E0F7833505F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec0087dd29e6cdd418da3bff00462ae1b309f6ef","datavalue":{"value":{"entity-type":"item","numeric-id":391123,"id":"Q391123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6826480$93E8AA6E-D136-4C64-B473-B6A87AEC8F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6826480$8488F82E-1E36-4541-92C6-9C2BC357DFA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6826480$B738BAAC-3494-4F67-A557-33B9BAA0371A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6826480$34005A9F-5B53-4FF8-AA5F-5C7F3AEB457E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6826480$E89A864D-1A49-4DA3-B31D-135E8BBAA4F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dafd744b7b5455379751ce4f156260bb2b715b87","datavalue":{"value":"6244028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6826480$B9AC18F9-6C1B-4D3D-92C0-E9281DE39CF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19bbab9e18c67b25fd8d50f5520cb41ae703dddf","datavalue":{"value":"clause-sets (CNFs)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6826480$434BA0FD-5233-43CA-A416-9EE93C0982DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46bc1107713b7cb9537df133dc1c97d1f3a18c9e","datavalue":{"value":"minimal unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6826480$9C37015C-3C88-4796-A569-84086A72F2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54cc6a09dcd56ded545abea4d4c532ed9c09e1c","datavalue":{"value":"Davis-Putnam reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6826480$C56CAA5A-07B1-4091-82AD-18E7E3D96843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50eedba58bd14a3b7ea76b9e1071f65a108a0fee","datavalue":{"value":"variable elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6826480$5D130D16-8713-4AC0-A36D-064FDF312F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6826480$B9607443-A1EF-4E8B-8119-93A2125F3EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3505d4a1a47ba6779c1bc97acbae985df00be0","datavalue":{"value":"isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6826480$5AEE762E-0744-4BBA-A6A3-6C4BBC4A70B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d04315334018d09ff4b2ccbe3e366fca830e1ba1","datavalue":{"value":"singular variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q6826480$A684978B-13C4-48B1-BEAC-507E7F65A56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e357a6d3001c4091cc225e7d745b82fe100956fa","datavalue":{"value":"singular DP-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6826480$4FB7123F-E807-4042-8160-21F876A64776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f678844b43499cbef46e11738328c75fb0b5a8","datavalue":{"value":"deficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6826480$79DE4900-A02C-42C6-BA13-A888FED36751","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":"Q6826480$B9B10E96-5CBF-48FE-9C86-B1549DF4E004","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Davis-Putnam reductions for minimally unsatisfiable clause-sets (scientific article; zbMATH DE number 6244028)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Davis-Putnam_reductions_for_minimally_unsatisfiable_clause-sets_(scientific_article;_zbMATH_DE_number_6244028)"}}}}}