Concepts
Linear temporal logic
—monthly views
0copies owned
—player watchlists
Concepts
Linear temporal logic
Modal temporal logic with modalities referring to time
epic · Q1536492
Related cards · scientific study
See all 88 Meta topics
Minnesota Starvation Experiment
—monthly views
0copies owned
—player watchlists
Meta topics
Paraconsistent logic
—monthly views
0copies owned
—player watchlists
Meta topics
Automated theorem proving
—monthly views
0copies owned
—player watchlists
Concepts
Computability theory
—monthly views
0copies owned
—player watchlists
.jpg/330px-Framingham_Heart_Study_physicians_(26548315418).jpg)
Organizations
Framingham Heart Study
—monthly views
0copies owned
—player watchlists
Meta topics
Gustav III of Sweden's coffee experiment
—monthly views
0copies owned
—player watchlists
Related cards · formal system
See all 92 Concepts
First-order logic
—monthly views
0copies owned
—player watchlists
Concepts
Peano axioms
—monthly views
0copies owned
—player watchlists
Concepts
Propositional logic
—monthly views
0copies owned
—player watchlists
Concepts
Fuzzy logic
—monthly views
0copies owned
—player watchlists
Concepts
NAND logic
—monthly views
0copies owned
—player watchlists
Concepts
Homotopy type theory
—monthly views
0copies owned
—player watchlists