There is no spicy ice cream
(From "Modified Pizza Ontology" - Using ELK Size Minimal Proof)
There is no spicy ice cream
(From "Modified Pizza Ontology" - Using ELK Weighted Size Minimal Proof - condensed)
Every sebaceous gland is a holocrine gland
(From "Skin Physiology Ontology" - Using LETHE Proof)
Every sebaceous gland is a holocrine gland
(From "Skin Physiology Ontology" - Using LETHE Detailed Proof)
Sebaceous glands are entities
(From "Skin Physiology Ontology" - Using FAME Size Minimal Proof)
Sebaceous glands are entities
(From "Skin Physiology Ontology" - Using FAME Size Minimal Proof - condensed)
Every pathological process of urinary tract is a non-canonical processual entity
(From "Dispedia Core Ontology" - Using ELK Size Minimal Proof)
Every pathological process of urinary tract is a non-canonical processual entity
(From "Dispedia Core Ontology" - Using ELK Depth Minimal Proof - condensed)
Every Transcription corepressor is a continuant
(From "Gene Regulation Ontology" - Using LETHE Proof)
Every Transcription corepressor is a continuant
(From "Gene Regulation Ontology" - Using LETHE Detailed Proof)
Every Transcription corepressor is a continuant
(From "Gene Regulation Ontology" - Using FAME Proof)
Every Transcription corepressor is a continuant
(From "Gene Regulation Ontology" - Using FAME Proof - condensed)
Difference Equations - Infinite Solutions (1)
Difference Equations - Unsatisfiable (1)
Difference Equations - Infinite Solutions (2)
Difference Equations - Unsatisfiable (2)
Linear Equations - Infinite Solutions (1)
Linear Equations - No solution (1)
Linear Equations - Infinite Solutions (2)
Linear Equations - No solution (2)