admissible rule in (P2577)

From Mepdata
Revision as of 18:02, 3 February 2023 by imported>TomT0m (‎Created claim: Wikidata property example (P1855): Q655742)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
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

    Statements

    Q22988631 (Deleted Item)
    0 references
    Q1560157 (Deleted Item)
    0 references
    Q655742 (Deleted Item)
    Q236975 (Deleted Item)
    0 references
    Q737471 (Deleted Item)
    Q236975 (Deleted Item)
    0 references
    Q655742 (Deleted Item)
    Q176786 (Deleted Item)
    0 references
    Q53869507 (Deleted Item)
    Q21502408 (Deleted Item)
    Q54828448 (Deleted Item)
    0 references