Template:Theorem: Difference between revisions
From MaRDI portal
No edit summary |
No edit summary |
||
| Line 6: | Line 6: | ||
-->{{#if:{{#invoke:Wd|property|P12|}} | {{Template:Badge|WikiData|https://www.wikidata.org/wiki/{{#invoke:Wd|property|P12|}}|{{#invoke:Wd|property|P12|}}}} }}<!-- Line break for readability | -->{{#if:{{#invoke:Wd|property|P12|}} | {{Template:Badge|WikiData|https://www.wikidata.org/wiki/{{#invoke:Wd|property|P12|}}|{{#invoke:Wd|property|P12|}}}} }}<!-- Line break for readability | ||
-->{{#if: {{#invoke:Wd|label|raw|}} | {{Template:Badge|[[Help:MaRDI QID|MaRDI QID]]|https://portal.mardi4nfdi.de/wiki/Item:{{#invoke:Wd|label|raw|}}|{{#invoke:Wd|label|raw|}}}} }} | -->{{#if: {{#invoke:Wd|label|raw|}} | {{Template:Badge|[[Help:MaRDI QID|MaRDI QID]]|https://portal.mardi4nfdi.de/wiki/Item:{{#invoke:Wd|label|raw|}}|{{#invoke:Wd|label|raw|}}}} }} | ||
{{#if: {{#invoke:Wd|property|P1603|}} | {{Template:Badge|Formalized in Lean|https://leanprover-community.github.io/1000.html#{{#invoke:Wd|property|P1603|}}|{{#invoke:Wd|property|P1603|}}}} }} | |||
{{#invoke:wd|description}} | {{#invoke:wd|description}} | ||
Revision as of 15:31, 13 October 2025
This page was built for theorem:
