{"version":"1.0","type":"link","title":"Propositional proof system - Newikis","description":"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.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}