Wikidata:Database reports/Constraint violations/P2384
Jump to navigation
Jump to search
Constraint violations report for statement describes (Discussion, uses, items, changes, related properties): formalization of the statement contains a bound variable in this class
Data time stamp: (UTC) — Items processed: 215
The report is generated based on the settings on Property:P2384#P2302.
Updates overwrite this page. Some may already be fixed since the last update: check RecentChangesLinked.
When incremental dumps and the bot work as planned, items fixed before 07:00 UTC disappear in the next update. The report is not updated if only the item count changes.
The report can include false positives. There is no need to "fix" them.
Data time stamp: (UTC) — Items processed: 215
The report is generated based on the settings on Property:P2384#P2302.
Updates overwrite this page. Some may already be fixed since the last update: check RecentChangesLinked.
When incremental dumps and the bot work as planned, items fixed before 07:00 UTC disappear in the next update. The report is not updated if only the item count changes.
The report can include false positives. There is no need to "fix" them.
"Type statement (Q2684591), conjecture (Q319141), scientific law (Q408891), theorem (Q65943)" violations[edit]
Violations count: 13
- meaning–text theory (Q652327): theory (Q17737)
- Larmor formula (Q1064493): mathematical expression (Q6498784)
- zero-product property (Q2248306): mathematical property (Q3924032)
- Waring's formula (Q3748393):
- angle excess (Q3888981):
- Johnson bound (Q4351986):
- Determinant identities (Q5265687):
- Eilenberg's inequality (Q5349486): inequality (Q28113351)
- Orr–Sommerfeld equation (Q7104117): partial differential equation (Q271977)
- quadratic formula (Q15909572): formula (Q976981)
- Kaplan–Yorke conjecture (Q25303693):
- Weyl's inequality (Q110692590):
- клан (L117115):
Types statistics[edit]
| Accepted | Type | Usage |
|---|---|---|
| Yes | theorem (Q65943) | 190 |
| Yes | lemma (Q207505) | 4 |
| Yes | conjecture (Q319141) | 4 |
| Yes | physical law (Q214070) | 3 |
| Yes | scientific law (Q408891) | 2 |
| Yes | policy (Q1156854) | 1 |
| Yes | legal doctrine (Q1192543) | 1 |
| No | theory (Q17737) | 1 |
| No | partial differential equation (Q271977) | 1 |
| No | inequality (Q28113351) | 1 |
| No | mathematical property (Q3924032) | 1 |
| No | mathematical expression (Q6498784) | 1 |
| No | formula (Q976981) | 1 |
"Target required claim subclass of (P279)" violations[edit]
Violations count: 10
- Abel–Ruffini theorem (Q657482): Algebraic Solution (Q2900186)
- parallelism implies equal corresponding angles (Q2358904): transversal (Q1347094)
- parallelism implies equal corresponding angles (Q2358904): corresponding angles (Q841990)
- Gauss's law for gravity (Q3180597): gravity (Q11412)
- Rado's theorem (Q3527146): monochromatic solution (Q1307297)
- Q4476526: Brownian motion (Q178036)
- Orr–Sommerfeld equation (Q7104117): Hagen–Poiseuille equation (Q869854)
- Schur's theorem (Q60973556): monochromatic solution (Q1307297)
- Dirac's theorem (Q125132780): subdivision of a graph (Q6134791)
- клан (L117115): Scotland (Q22)
"Scope" violations[edit]
Violations count: 21
- Verona Pooth (Q68027): spouse (P26): Dieter Bohlen (Q76906)
- Verona Pooth (Q68027): spouse (P26): Franjo Pooth (Q1442772)
- Verona Pooth (Q68027): spouse (P26): Franjo Pooth (Q1442772)
- cloud computing comparison (Q5135696): instance of (P31): cloud computing (Q483639)
- Minerva (software) (Q106574663): based on (P144): Minerva Campbell (Q106574537)
- political agitation (Q1075020): subclass of (P279): propaganda (Q7281)
- political agitation (Q1075020): subclass of (P279): crime (Q83267)
- Progressive Conservative Association of Alberta (Q1518057): dissolved, abolished or demolished date (P576): 2017-07-24
- Progressive Conservative Association of Alberta (Q1518057): dissolved, abolished or demolished date (P576): 2020-02-07
- Siege of Sevastopol (Q815216): described by source (P1343): Armenian Soviet Encyclopedia (Q2657718)
- Siege of Sevastopol (Q815216): described by source (P1343): Sytin Military Encyclopedia (Q4114391)
- Siege of Sevastopol (Q815216): described by source (P1343): Small Brockhaus and Efron Encyclopedic Dictionary (Q19180675)
- Siege of Sevastopol (Q815216): described by source (P1343): Brockhaus and Efron Encyclopedic Dictionary (Q602358)
- Tonan Maru No.3 (Q83627598): speed (P2052): +12
- Tonan Maru No.3 (Q83627598): speed (P2052): +14.12
- Minerva Campbell (Q106574537): derivative work (P4969): Minerva (software) (Q106574663)
- Apple One (Q99371336): account charge / subscription fee (P5897): +14.95
- Apple One (Q99371336): account charge / subscription fee (P5897): +19.95
- Apple One (Q99371336): account charge / subscription fee (P5897): +29.95
- Apple One (Q99371336): account charge / subscription fee (P5897): +19.95
- Apple One (Q99371336): account charge / subscription fee (P5897): +14.95
"Entity types" violations[edit]
Violations count: 1