Talk:Resolution proof compression by splitting: Difference between revisions

Content deleted Content added
WP Math|class=start|importance=low
Implementing WP:PIQA (Task 26)
 
Line 1:
{{WikiProject Computerbanner Scienceshell|class=startStart|importance=low}}
{{WPWikiProject Math|class=startComputer science|importance=low}}
{{WikiProject Mathematics|importance=low}}
}}