information about Propositional formula field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 57M papers | Artificial intelligence 11.8M papers | Programming language 7.4M papers | Theoretical computer science 646k papers |
Description logic 19k papers | Multimodal logic 8,987 papers | Intermediate logic 4,622 papers | Propositional variable 3,004 papers |
Zeroth-order logic 1,970 papers | |||
| Current | |||
Propositional formula 1,483 papers | |||
| Child | |||
Trends
Notes
History