Template:Theorem: Difference between revisions
From MaRDI portal
No edit summary |
No edit summary |
||
| Line 14: | Line 14: | ||
-->{{#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 />}} | ||
formalized in -->{{#if:{{#invoke:Wd|property|P1648|}}|[[Property: | |||
<!-- 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:TheoremFormaliedInList|buildFormalizedInList|{{#invoke:Wd|label|raw|}}}} | |||
</div> | |||
<br/> | |||
}} | |||
Revision as of 10:12, 13 December 2024
