Wikidata:Database reports/Constraint violations/P1318
Jump to navigation
Jump to search
Constraint violations report for proved by (Discussion, uses, items, changes, related properties): person who proved something
Data time stamp: (UTC) — Items processed: 147
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: 147
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: 11
- d'Alembert's paradox (Q284938): logical paradox (Q483372), mathematical concept (Q24034552)
- Galerkin method (Q1491980):
- Q2373313:
- M127 (Q2808991): Mersenne prime (Q186875), double Mersenne number (Q1318413), Cantor number (Q12786684), Mersenne number (Q10338607), large number (Q1816844)
- Akpeteshie (Q2829131): liquor (Q56139)
- 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) | 130 |
| Yes | conjecture (Q319141) | 12 |
| Yes | lemma (Q207505) | 3 |
| Yes | fixed-point theorem (Q1422068) | 2 |
| Yes | inequation (Q165309) | 2 |
| No | Mersenne prime (Q186875) | 1 |
| No | political scandal (Q934744) | 1 |
| Yes | identity (Q609647) | 1 |
| No | liquor (Q56139) | 1 |
| Yes | concentration inequality (Q5158328) | 1 |
| No | logical paradox (Q483372) | 1 |
| No | cyberattack (Q4071928) | 1 |
| Yes | no-go theorem (Q2914432) | 1 |
| No | backdoor (Q254569) | 1 |
| Yes | Azuma's inequality (Q2410467) | 1 |
| No | mathematical concept (Q24034552) | 1 |
| No | experiment (Q101965) | 1 |
| No | large number (Q1816844) | 1 |
| No | Trojan horse (Q14639) | 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 |
| Yes | proposition (Q108163) | 1 |
| No | Mersenne number (Q10338607) | 1 |
"Value type human (Q5), collective pseudonym (Q16017119)" violations
[edit]Violations count: 3
- Akpeteshie (Q2829131): United States (Q30): sovereign state (Q3624078), constitutional republic (Q1520223), democratic republic (Q5255892), federal republic (Q512187), superpower (Q1489259), country (Q6256), historical unrecognized state (Q99541706)
- 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) | 191 |
| No | superpower (Q1489259) | 1 |
| No | constitutional republic (Q1520223) | 1 |
| Yes | collective pseudonym (Q16017119) | 1 |
| No | nonprofit organization (Q163740) | 1 |
| No | consortium (Q194166) | 1 |
| No | website (Q35127) | 1 |
| No | sovereign state (Q3624078) | 1 |
| No | federal republic (Q512187) | 1 |
| No | democratic republic (Q5255892) | 1 |
| No | country (Q6256) | 1 |
| No | historical unrecognized state (Q99541706) | 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