Skip to content

Issues: Mttbnchtt/ontology-and-proofs

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.

Sign up for GitHub

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

18 Open 66 Closed
18 Open 66 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Check that the queries do not import extraneous items in the conceptual space enhancement New feature or request
#94 opened May 21, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
1
Check to find related objects reversing the spo direction enhancement New feature or request
#93 opened May 20, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
Add functions to retrieve conceptually related items enhancement New feature or request
#91 opened May 20, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
Analysis of heuristics enhancement New feature or request
#87 opened May 7, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
notebook: query to find goals of proofs and items related to them enhancement New feature or request
#86 opened May 7, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
2
describe goal of proofs enhancement New feature or request
#85 opened May 7, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
is analogous to enhancement New feature or request
#82 opened May 5, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
heuristic reasoner enhancement New feature or request
#58 opened Jan 5, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
1
Fix formal ontology article enhancement New feature or request
#57 opened Jan 5, 2024 by Mttbnchtt
@Mttbnchtt
Check datalog rules /3 enhancement New feature or request
#56 opened Jan 5, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
check datalog rules /2 enhancement New feature or request
#55 opened Jan 5, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
check datalog rules /1 enhancement New feature or request
#54 opened Jan 4, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
1
Add parameters to heuristic reasoner enhancement New feature or request
#51 opened Jan 1, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
Reasoner for unrestricted first-order formulas enhancement New feature or request
#47 opened Dec 31, 2023 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
entailment of object-types enhancement New feature or request
#27 opened Dec 16, 2021 by Mttbnchtt Euclid I.17
@Mttbnchtt
2
revise dependency graph enhancement New feature or request
#25 opened Dec 15, 2021 by Mttbnchtt Euclid I.17
@Mttbnchtt
proofs by reductio enhancement New feature or request
#15 opened Nov 4, 2021 by Mttbnchtt domain ontology
@Mttbnchtt
1
describe or infer proof features enhancement New feature or request
#14 opened Nov 4, 2021 by Mttbnchtt domain ontology
@Mttbnchtt
ProTip! Add no:assignee to see everything that’s not assigned.