information about Propositional formula field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 62.9M papers | Artificial intelligence 11.8M papers | Programming language 7.7M papers | Theoretical computer science 626k papers |
Description logic 20.5k papers | Multimodal logic 10k papers | Intermediate logic 4,999 papers | Propositional variable 3,369 papers |
Zeroth-order logic 2,167 papers | |||
Current | |||
Propositional formula 1,632 papers | |||
Child |
Trends
Notes
History