information about Well-formed formula field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 54.8M papers | Artificial intelligence 11.2M papers | Programming language 7.2M papers | Theoretical computer science 615k papers |
Description logic 18.8k papers | Multimodal logic 8,854 papers | Intermediate logic 4,573 papers | Autoepistemic logic 3,422 papers |
Propositional variable 2,967 papers | Zeroth-order logic 1,949 papers | ||
| Current | |||
Well-formed formula 963 papers | |||
| Child | |||
Trends
Notes
History