Resolution proof reduction via local context rewriting
id:
resolution-proof-reduction-via-local-context-rewriting-250-2677665
title:
Resolution proof reduction via local context rewriting
text:
In proof theory, an area of mathematical logic, resolution proof reduction via local context rewriting is a technique for resolution proof reduction via local context rewriting. This proof compression method was presented as an algorithm named ReduceAndReconstruct, that operates as a post-processing of resolution proofs. ReduceAndReconstruct is based on a set of local proof rewriting rules that transform a subproof into an equivalent or stronger one. Each rule is defined to match a specific cont
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Resolution_proof_reduction_via_local_context_rewriting
date created:
date modified:
2024-01-16T14:48:27Z
main entity:
{"identifier":"Q7315700","url":"https://www.wikidata.org/entity/Q7315700"}
image:
fields total:
13
integrity:
13