Template:Theorem: Difference between revisions

← Older edit

VisualWikitext

Latest revision as of 10:17, 13 December 2024

This page was built for theorem:

@@ Line 3: / Line 3: @@
 {{DISPLAYTITLE:{{#invoke:Wd|label}}}}
-{{#if:{{#invoke:Wd|property|P1645|}} | {{Template:Badge|mathlib4|https://github.com/leanprover-community/mathlib4/blob/master/Mathlib/{{#invoke:Wd|property|P1645|}}|{{#invoke:Wd|property|P1645|}}}} }}<!-- Line break for readability
+{{#if:{{#invoke:Wd|property|P1202|}} | {{Template:Badge|Encyclopedia of Mathematics|https://encyclopediaofmath.org/wiki/{{#invoke:Wd|property|P1202|}}|{{#invoke:Wd|property|P1202|}}}} }}<!-- Line break for readability
--->{{#if:{{#invoke:Wd|property|P1195|}} | {{Template:Badge|nLib|https://ncatlab.org/nlab/show/{{#invoke:Wd|property|P1195|}}|{{#invoke:Wd|property|P1195|}}}} }}<!-- 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|}}}} }}
 {{#invoke:wd|description}}
+<!-- desciption -->{{#if:{{#invoke:Wd|property|P1459|}}|[[Property:P1459|{{ucfirst:{{#invoke:Wd|label|P1459}}}}]]: {{#invoke:Wd|property|P1459|}}<br /><br />}}
 <!-- described at URL
   -->{{#if:{{#invoke:Wd|property|P104|}}|[[Property:P104|{{ucfirst:{{#invoke:Wd|label|P104}}}}]]: {{#invoke:Wd|property|P104|}}<br /><br />}}<!--
 named after -->{{#if:{{#invoke:Wd|property|P558|}}|[[Property:P558|{{ucfirst:{{#invoke:Wd|label|P558}}}}]]: {{#invoke:Wd|property|P558|}}<br /><br />}}<!--
-named after -->{{#if:{{#invoke:Wd|property|P1576|}}|[[Property:P1576|{{ucfirst:{{#invoke:Wd|label|P1576}}}}]]: {{#invoke:Wd|property|P1576|}}<br /><br />}}<!--
+named after -->{{#if:{{#invoke:Wd|property|P1576|}}|[[Property:P1576|{{ucfirst:{{#invoke:Wd|label|P1576}}}}]]: {{#invoke:Wd|property|P1576|}}<br /><br />}}
-defining formula -->{{#if:{{#invoke:Wd|property|P989|}}|[[Property:P989|{{ucfirst:{{#invoke:Wd|label|P989}}}}]]: {{#invoke:Wd|property|P989|}}<br /><br />}}
+<!-- Show list of P1648: formalized in -->
+{{#if:{{#invoke:Wd|property|P1648|}} |
+<div class="keywords-header">
+<span class="keywords-title">[[Property:P226|{{#invoke:Wd|label|P1648}}]]</span>
+<div class="keywords-line"></div>
+</div>
+<div class="keywords-list-badge-blue">
+{{#invoke:TheoremFormalizedInList|buildFormalizedInList|{{#invoke:Wd|label|raw|}}}}
+</div>
+<br/>
+}}
+<small>This page was built for theorem: {{#invoke:Wd|label}}</small>