Meta topics
Automated theorem proving
—monthly views
0copies owned
—player watchlists
Meta topics
Automated theorem proving
Subfield of automated reasoning and mathematical logic
epic · Q431667
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
Concepts
Computability theory
—monthly views
0copies owned
—player watchlists
Concepts
Linear temporal logic
—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 verification
See all 6
Concepts
ATS (programming language)
—monthly views
0copies owned
—player watchlists
Works
Frama-C
—monthly views
0copies owned
—player watchlists
Concepts
Verus (proof system)
—monthly views
0copies owned
—player watchlists
Works
KeY
—monthly views
0copies owned
—player watchlists
Works
Fluctuat
—monthly views
0copies owned
—player watchlists