Template:Theorem: Difference between revisions

From MaRDI portal
No edit summary
No edit summary
 
(10 intermediate revisions by the same user not shown)
Line 3: Line 3:
{{DISPLAYTITLE:{{#invoke:Wd|label}}}}
{{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|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|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|}}}} }}


{{#invoke:wd|description}}
{{#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
<!-- described at URL
  -->{{#if:{{#invoke:Wd|property|P104|}}|[[Property:P104|{{ucfirst:{{#invoke:Wd|label|P104}}}}]]: {{#invoke:Wd|property|P104|}}<br /><br />}}<!--  
  -->{{#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|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 />}}<!--  
 
desciption -->{{#if:{{#invoke:Wd|property|P1459|}}|[[Property:P1459|{{ucfirst:{{#invoke:Wd|label|P1459}}}}]]: {{#invoke:Wd|property|P1459|}}<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>

Latest revision as of 10:17, 13 December 2024








This page was built for theorem: