admissible rule in (P2577)
Revision as of 10:37, 13 November 2024 by Admin (talk | contribs) (→wbeditentity-create-wikibase-property:0|)
this logic inference rule is admissible in that logical system
| Language | Label | Description | Also known as |
|---|---|---|---|
| English |
admissible rule in
|
this logic inference rule is admissible in that logical system
|
Data type
Item