This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

information about First-order logic field

First-order logic

https://www.wikidata.org/wiki/Q4055684
Field Hierarchy
Parent
Computer science
56.5M papers
Mathematics
21.7M papers
Philosophy
21M papers
Programming language
7.4M papers
Linguistics
7M papers
Discrete mathematics
713k papers
Current
First-order logic
1,872 papers
Child
Trends