Issues: ontologyportal/sigmakee
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
test statement throws a Java error instead of reporting syntax error
#121
opened Jan 4, 2024 by
apease
EProver seems to not working in the apease/sigmakee2018:latest docker, and new docker fails to build
#76
opened Oct 31, 2022 by
astroseger
Vampire proves both (subclass A B) and (not (subclass A B)) , same for instance on Merge.kif
#69
opened Aug 28, 2020 by
kharus
TPTP transformation: can't prove that component is a Predicate
#43
opened Jun 21, 2019 by
arademaker
Diagnostics tool gives false positives for Error: Terms without a root at Entity
#20
opened Jan 27, 2017 by
msvarny
Previous Next
ProTip!
Follow long discussions with comments:>50.