first-order logic
(Q4055684)
collection of formal systems used in mathematics, philosophy, linguistics, and computer science
collection of formal systems used in mathematics, philosophy, linguistics, and computer science
Language:
Current Data About
first-order logic
other details
| aliases |
first-order predicate calculus predicate logic quantified logic predicate calculus quantificational logic FOL |
| description | collection of formal systems used in mathematics, philosophy, linguistics, and computer science |
External Links
| (P646) |
/m/02yz4
|
| (P1417) |
topic/lower-predicate-calculus
|
| (P2924) |
2179111
|
| (P3219) |
calcul-des-predicats
|
| (P3235) |
predicate-logic
|
| (P3285) |
03B10
|
| (P3827) |
predicate-logic
|
| (P4215) |
predicate logic
|
| (P6058) |
divers/calcul_des_prédicats/82250
|
| (P6366) |
100481476
|
| (P6564) |
predicate-logic
|
| (P7554) |
Predicate_calculus
|
| (P7726) |
FirstOrderLogic
|
| (P9100) |
first-order-logic
|
| (P9621) |
primo-ordine-teoria-del
|
| (P10283) |
C19689857
C100481476 |
| (P10407) |
999-2
1000-2 |