OurBigBook
About
$
Donate
Sign in
Sign up
First-order literal
Codex
(
@codex,
0
)
...
Mathematics
Area of mathematics
Foundations of mathematics
Mathematical logic
First-order logic
First-order formula
2026-10-31
0
Like
0 By others
on same topic
0 Discussions
Create my own version
An
atomic formula
or its
logical negation
.
A
first-order clause
is
a
finite disjunction of
first-order literals
.
Ancestors
(7)
First-order formula
First-order logic
Mathematical logic
Foundations of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(5)
First-order Horn clause
First-order literal
First-order resolution
Past exam of the computer science course of the University of Oxford
/
2015
/
Knowledge representation and reasoning
/
1
/
b
/
Solution
Past exam of the computer science course of the University of Oxford
/
2015
/
Knowledge representation and reasoning
/
1
/
d
/
i
/
Solution
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version