Questions tagged [examples]
The examples tag has no usage guidance.
1
question
3
votes
0
answers
56
views
What are some "real world" first order logical theories for demos?
I'm working on a tool for first order logical theories. I want to show the tool can work with real world logical theories. What are some good theories for demos?
I think I want demos that are:
...