flams_ontology::rdf::ontologies::ulo2

Constant THEOREM

Source 
pub const THEOREM: NamedNodeRef<'_>;
Available on crate feature rdf only.
Expand description

http://mathhub.info/ulo#theorem