Content deleted Content added
m WP:CHECKWIKI error fixes - Replaced endash with hyphen in sortkey per WP:MCSTJR using AWB (9100) |
m reworded some sentences Tag: gettingstarted edit |
||
Line 7:
The procedure roughly consists of these three parts:
* put the formula in [[prenex]] form and eliminate quantifiers
* generate
*
The last part is probably the most innovative one, and works as follows:
| |||