Projects in Awesome Lists tagged with subsumption
A curated list of projects in awesome lists tagged with subsumption .
https://github.com/yakuza8/first-order-predicate-logic-theorem-prover
Autonomous Theorem Prover for First Order Predicate Logic
ai artificial-intelligence first-order-logic first-order-substitution first-order-unification most-general-unifier subsumption subsumption-elimination tautology tautology-checking theorem-prover theorem-proving
Last synced: 19 Jul 2025
https://github.com/glygen-glycan-data/gnome
GNOme - Glycan Naming and Subsumption Ontology.
glycans obofoundry subsumption
Last synced: 11 Feb 2026
https://github.com/quangis/transforge
Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
abstract concept constraint graph inference polymorphism procedural-metadata process-metadata query rdf semantic semantic-web sparql subsumption subtype tool transformation type typechecking workflow
Last synced: 14 Dec 2025
