Wikidata:Database reports/Constraint violations/P1318

• Summary
• List of properties
• Property proposal
• Popular properties
• Special:ConstraintReport

Constraint violations report for proved by (Discussion, uses, items, changes, related properties): person who proved something
Data time stamp: 22 April 2024, 11:04 (UTC) — Items processed: 122
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

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)

Types statistics

Accepted	Type	Usage
Yes	theorem (Q65943)	108
Yes	conjecture (Q319141)	9
Yes	lemma (Q207505)	2
No	political scandal (Q934744)	1
No	experiment (Q101965)	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	Mersenne prime (Q186875)	1
No	large number (Q1816844)	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

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

Accepted	Type	Usage
Yes	human (Q5)	160
Yes	collective pseudonym (Q16017119)	1
No	nonprofit organization (Q163740)	1
No	consortium (Q194166)	1
No	website (Q35127)	1

"Scope" violations

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

Violations count: 0