| Revision as of 07:49, 11 January 2005 editGazpacho (talk | contribs)14,585 editsm warn about sound← Previous edit | Latest revision as of 10:47, 29 January 2023 edit undoChristian75 (talk | contribs)Extended confirmed users, New page reviewers, Pending changes reviewers, Rollbackers114,303 edits {{R with history}} | ||
| (15 intermediate revisions by 11 users not shown) | |||
| Line 1: | Line 1: | ||
| #REDIRECT ] | |||
| Delayed clause-construction (DCC) is a stalling strategy that enhances a theorem prover's performance by reducing the work to construct clauses to a minimum. (See ]) | |||
| {{R with history}} | |||
| * (has sound) | |||
| {{stub}} | |||
Latest revision as of 10:47, 29 January 2023
Redirect to:
- With history: This is a redirect from a page containing substantive page history. This page is kept as a redirect to preserve its former content and attributions. Please do not remove the tag that generates this text (unless the need to recreate content on this page has been demonstrated), nor delete this page.
- This template should not be used for redirects having some edit history but no meaningful content in their previous versions, nor for redirects created as a result of a page merge (use {{R from merge}} instead), nor for redirects from a title that forms a historic part of Misplaced Pages (use {{R with old history}} instead).