Constant AUTOMATICALLY_PROVED

pub const AUTOMATICALLY_PROVED: NamedNodeRef<'_>;

Available on crate feature rdf only.

http://mathhub.info/ulo#automatically-proved