Wikidata:Database reports/Constraint violations/P1318
Constraint violations report for proved by (Discussion, uses, items, changes, related properties): person who proved something
Data time stamp: (UTC) — Items processed: 123
The report is generated based on the settings on Property:P1318#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: 123
The report is generated based on the settings on Property:P1318#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 proposition (Q108163)" violations edit
Violations count: 10
- d'Alembert's paradox (Q284938): paradox (Q483372)
- Galerkin method (Q1491980):
- Q2373313:
- M127 (Q2808991): Mersenne prime (Q186875), double Mersenne number (Q1318413), Cantor number (Q12786684), Mersenne number (Q10338607), large number (Q1816844)
- proof of the Euler product formula for the Riemann zeta function (Q4117082): mathematical proof (Q11538)
- Generic flatness (Q5532671):
- Q18424510: experiment (Q101965)
- Proof of monism (Q103903730):
- Azerigate (Q114945465): political scandal (Q934744)
- CVE-2024-3094 (Q125219823): backdoor (Q254569), malware (Q14001), cyberattack (Q4071928), named vulnerability (Q125498109), Trojan horse (Q14639)
Types statistics edit
Accepted | Type | Usage |
---|---|---|
Yes | theorem (Q65943) | 109 |
Yes | conjecture (Q319141) | 9 |
Yes | lemma (Q207505) | 2 |
No | Mersenne prime (Q186875) | 1 |
No | political scandal (Q934744) | 1 |
Yes | identity (Q609647) | 1 |
Yes | concentration inequality (Q5158328) | 1 |
No | paradox (Q483372) | 1 |
No | cyberattack (Q4071928) | 1 |
Yes | no-go theorem (Q2914432) | 1 |
No | backdoor (Q254569) | 1 |
Yes | Azuma's inequality (Q2410467) | 1 |
No | experiment (Q101965) | 1 |
No | large number (Q1816844) | 1 |
No | Trojan horse (Q14639) | 1 |
Yes | fixed-point theorem (Q1422068) | 1 |
No | malware (Q14001) | 1 |
Yes | corollary (Q1343870) | 1 |
No | double Mersenne number (Q1318413) | 1 |
No | Cantor number (Q12786684) | 1 |
No | named vulnerability (Q125498109) | 1 |
No | mathematical proof (Q11538) | 1 |
No | Mersenne number (Q10338607) | 1 |
"Value type human (Q5), collective pseudonym (Q16017119)" violations edit
Violations count: 2
- Proof of monism (Q103903730): theorem (Q65943):
- Azerigate (Q114945465): Organized Crime and Corruption Reporting Project (Q7102061): nonprofit organization (Q163740), consortium (Q194166), website (Q35127)
Types statistics edit
Accepted | Type | Usage |
---|---|---|
Yes | human (Q5) | 161 |
Yes | collective pseudonym (Q16017119) | 1 |
No | nonprofit organization (Q163740) | 1 |
No | consortium (Q194166) | 1 |
No | website (Q35127) | 1 |
"Scope" violations edit
Violations count: 17
- Gelfond–Schneider constant (Q307889): instance of (P31): transcendental number (Q173091)
- Gelfond–Schneider constant (Q307889): instance of (P31): irrational number (Q607728)
- Gelfond–Schneider constant (Q307889): instance of (P31): mathematical concept (Q24034552)
- Özhan Atalı (Q86923011): occupation (P106): entrepreneur (Q131524)
- Özhan Atalı (Q86923011): occupation (P106): financier (Q1979607)
- Özhan Atalı (Q86923011): occupation (P106): accountant (Q326653)
- Özhan Atalı (Q86923011): occupation (P106): Financial reporting (Q77549416)
- Özhan Atalı (Q86923011): occupation (P106): financial analyst (Q1416279)
- Özhan Atalı (Q86923011): occupation (P106): researcher (Q1650915)
- Özhan Atalı (Q86923011): occupation (P106): writer (Q36180)
- Özhan Atalı (Q86923011): occupation (P106): co-founder (Q45916492)
- Özhan Atalı (Q86923011): occupation (P106): fiduciary (Q537098)
- Özhan Atalı (Q86923011): occupation (P106): company auditor (Q3458238)
- GI-complete (Q115425721): part of (P361): NP (Q628036)
- GI-complete (Q115425721): part of (P361): QP (Q115425865)
- Detlef Georgia Schulze (Q64861278): languages spoken, written or signed (P1412): German (Q188)
- Detlef Georgia Schulze (Q64861278): languages spoken, written or signed (P1412): English (Q1860)
"Entity types" violations edit
Violations count: 0