Skip to main content

STANDARD_WEB_AXIOM_COUNT

termivar_scanner::web_reasoning

Constant STANDARD_WEB_AXIOM_COUNT 

Source 
pub const STANDARD_WEB_AXIOM_COUNT: usize = 16;
Expand description

Number of semantic axioms defined by StandardWebReasoning.