1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
<html>
<head>
<title>Prover9 Manual</title>
<link rel="stylesheet" href="manual.css">
</head>
<body>
<ul class="navbar">
<li class="first"><i>Prover9 Manual</i>
<li><a href="intro.html" target="display">Introduction</a>
<li><a href="install.html" target="display">Installation</a>
<li><a href="running.html" target="display">Running Prover9</a>
<li><a href="input.html" target="display">Input Files</a>
<li><a href="syntax.html" target="display">Clauses & Formulas</a>
<li>Search Prep
<ul class="navbar2">
<li><a href="auto.html" target="display">Auto Modes</a>
<li><a href="term-order.html" target="display">Term Ordering</a>
<li><a href="more-prep.html" target="display">More Prep</a>
<li><a href="limits.html" target="display">Search Limits</a>
</ul>
<li>Inference
<ul class="navbar2">
<li><a href="loop.html" target="display">The Loop</a>
<li><a href="select.html" target="display">Select Given</a>
<li><a href="inf-rules.html" target="display">Inference Rules</a>
<li><a href="process-inf.html" target="display">Process Inferred</a>
</ul>
<li><a href="output.html" target="display">Output Files</a>
<li>More Features
<ul class="navbar2">
<li><a href="weight.html" target="display">Weighting</a>
<li><a href="attributes.html" target="display">Attributes</a>
<li><a href="goals.html" target="display">Goals and Denials</a>
<li><a href="production.html" target="display">Production Mode</a>
<li><a href="advanced.html" target="display">Advanced Features</a>
</ul>
<li>Mace4</a>
<ul class="navbar2">
<li><a href="mace4.html" target="display">Introduction</a>
<li><a href="m4-input.html" target="display">Input</a>
<li><a href="m4-options.html" target="display">Options</a>
<li><a href="m4-arithmetic.html" target="display">Arithmetic</a>
<li><a href="m4-interpformat.html" target="display">Interpformat</a>
<li><a href="m4-isofilter.html" target="display">Isofilter</a>
</ul>
<li>Related Programs
<ul class="navbar2">
<li><a href="prooftrans.html" target="display">Prooftrans</a>
<li><a href="fof-prover9.html" target="display">FOF-Prover9</a>
<li><a href="others.html" target="display">More Programs</a>
</ul>
<li>Ending
<ul class="navbar2">
<li><a href="options.html" target="display">All Prover9 Options</a>
<li><a href="glossary.html" target="display">Glossary</a>
<li><a href="references.html" target="display">References</a>
</ul>
</ul>
</body>
</html>
|
