Property talk:P2577

Documentation

admissible rule in
this logic inference rule is admissible in that logical system
[create Create a translatable help page (preferably in English) for this property to be included here]
Scope is as main value (Q54828448): the property must be used by specified way only (Help)
List of violations of this constraint: Database reports/Constraint violations/P2577#Scope, hourly updated report, SPARQL
Return to "P2577" page.