Resolution proof reduction via local context rewriting

New to topics? Read the documentation here!

Top articles Latest articles New article in topic

Show body

Resolution proof reduction via local context rewriting by

Wikipedia Bot 0 1970-01-01

Read the full article