84:
74:
53:
22:
177:
Moreover, Herbrand's theorem states that if S is unsatisfiable then there is a
Herbrand interpretation with finite set of ground instances (from the Herbrand universe defined by S), and a finite set of predicates (from the Herbrand base of S) that are
140:
167:
Moreover, Herbrand's theorem states that if S is unsatisfiable then there is a finite unsatisfiable set of ground instances from the
Herbrand universe defined by S.
225:
130:
220:
106:
97:
58:
183:
Or am I crazy? I have only the vaguest grasp of the subject matter of this article; it could benefit from an example or two.
33:
172:
I don't understand how a set of ground instances can be "unsatisfiable". Perhaps the intended meaning is this:
197:
As to me, I do not understand this: "every function symbol is interpreted as the function that applies it" --
21:
39:
83:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
73:
52:
202:
188:
214:
206:
198:
192:
102:
184:
79:
162:
I'm having some trouble understanding the article. Its states:
15:
101:, a collaborative effort to improve the coverage of
8:
47:
19:
49:
7:
95:This article is within the scope of
38:It is of interest to the following
14:
226:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
118:Template:WikiProject Mathematics
82:
72:
51:
20:
221:Stub-Class mathematics articles
135:This article has been rated as
1:
109:and see a list of open tasks.
242:
193:16:43, 9 April 2008 (UTC)
134:
67:
46:
207:22:55, 6 June 2008 (UTC)
141:project's priority scale
98:WikiProject Mathematics
28:This article is rated
121:mathematics articles
90:Mathematics portal
34:content assessment
155:
154:
151:
150:
147:
146:
233:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
241:
240:
236:
235:
234:
232:
231:
230:
211:
210:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
239:
237:
229:
228:
223:
213:
212:
181:
180:
178:unsatisfiable?
170:
169:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
238:
227:
224:
222:
219:
218:
216:
209:
208:
204:
200:
195:
194:
190:
186:
179:
175:
174:
173:
168:
165:
164:
163:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
196:
182:
176:
171:
166:
161:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
215:Categories
30:Stub-class
199:Cokaban
158:Unclear
139:on the
36:scale.
185:linas
203:talk
189:talk
131:Low
217::
205:)
191:)
201:(
187:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.