bn:01456368n
Noun Concept
JA
二重否定の除去
EN
Inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula Wikidata
Relations
Sources
PART OF
HAS KIND
Wikidata