Propositional proof system
id:
propositional-proof-system-179-18967625
title:
Propositional proof system
text:
In propositional calculus and proof complexity a propositional proof system (pps), also called a Cook–Reckhow propositional proof system, is a system for proving classical propositional tautologies.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Propositional_proof_system
date created:
2010-11-22T06:16:00Z
date modified:
2024-09-05T06:43:49Z
main entity:
{"identifier":"Q7250416","url":"https://www.wikidata.org/entity/Q7250416"}
image:
fields total:
13
integrity:
14