bn:01456368n
Noun Concept
AR
No term available
EN
Inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula Wikidata
Relations
Sources