Property talk:P2577

Documentation

• Start a query
• Current uses
• Statistics by class
• List of values
• List of qualifiers
• Count

admissible rule in
this logic inference rule is admissible in that logical system

Represents	admissible rule (Q1560157)
Data type	Item
Domain	rule of inference (Q1068763)    (note: this should be moved to the property statements)
Allowed values	instances of logic (Q8078) (note: this should be moved to the property statements)
Example	modus ponens (Q655742) → classical logic (Q236975) double negative elimination (Q737471) → classical logic (Q236975) modus ponens (Q655742) → intuitionistic logic (Q176786)
Lists	Items with the most statements of this property Count of items by number of statements (chart) Items with the most statements Items with the fewest statements Count of items by number of sitelinks (chart) Items with the most sitelinks Items with the most sitelinks, but no link to one Wikipedia (sample: Welsh Wikipedia, cywiki) Items with the fewest sitelinks Most linked wikis Items with the most identifier properties By value of property Most statements Fewest statements Most sitelinks Most linked wikis Total of sitelinks on items Most identifiers Fewest identifiers Items with no other statements Most recently created items Items with novalue claims Items with unknown value claims Usage history (total) Usage history (main statement) Database reports/Constraint violations/P2577 Map Random list
Proposal discussion	Proposal discussion
Current uses	Total 19 Main statement 15 78.9% of uses Qualifier 4 21.1% of uses
Search for values

[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