8

Questions
votes newest views recent
1
5
votes
2
answers
973
views

Horn clauses and satisfiability

aug 9 10 at 15:29 François G. Dorais♦ 23.1k●2●52●116

 
0
votes
1
answer
760
views

How to tackle this puzzle? [closed]

aug 24 10 at 14:44 David Corwin 6,730●23●57

3
2
votes
2
answers
605
views

Graph properties and FOL

aug 29 10 at 9:22 Stefan Geschke 10.6k●1●15●37

 
1
vote
1
answer
296
views

Exponent function as uninterpreted function in first order logic

aug 11 10 at 9:22 Robin Chapman 14.5k●2●30●50

 
-1
votes
1
answer
278
views

Porbability of selecting balls from boxes [closed]

aug 21 10 at 6:46 sleepless in beantown 2,081●5●13

1
2
votes
1
answer
233
views

Graph properties and infinite FOL sentences

aug 29 10 at 21:50 Joel David Hamkins 76.7k●8●192●355

 
0
votes
1
answer
182
views

Natural number properties as uniterpreted functions in first order logic

aug 12 10 at 20:48 Robin Chapman 14.5k●2●30●50

1
0
votes
1
answer
158
views

Models for the given FOL statement

aug 29 10 at 22:12 Bjørn Kjos-Hanssen 2,508●1●9●18