Projekt:Semantische Organisation der Mathematik/Bots/Fakt mit Beweisklappe

Ein Textpaar bestehend aus Aussage (Fakt) und einem Beweis dafür wird mittels der Vorlage Vorlage:inputfaktbeweisklappe in einer schönen Form dargestellt, die sich gut zum drauf verweisen eignet (wenn irgendwo die Aussage verwendet wird; vor allem will man auf die Aussage verweisen, zugleich sollte aber auch deren Beweis zugänglich sein). Das Ergebnis sieht so aus:

Polynomring (Körper)/Nullstellen/Linearer Faktor/Fakt mit Beweisklappe

Für diese Vorlage muss die Aussagenseite mit Seitenname/Fakt und die Beweisseite als Seitenname/Fakt Beweis bezeichnet worden sein. Es wäre sinnvoll, für jedes Fakt/Beweis Paar eine solche Beweisklappenvariante anzulegen.

Ein Bot könnte hier, natürlich unter der Bedingung, dass die Seiten mit der richtigen Bezeichnung vorliegen, und dass die Aussagenseite kategorisiert ist durch <noinclude>[[Kategorie: Theoriename/Fakten|Stichwort]]</noinclude>, folgendes tun

Lege eine Seite unter dem Namen

Seitenname/Fakt mit Beweisklappe

an. Der Inhalt sollte sein

{{inputfaktbeweisklappe|Satz|:Seitenname/Fakt}} <noinclude>[[Kategorie: Theoriename/Fakten mit Beweis|Stichwort]]</noinclude>

Wenn man statt Satz eine andere Bezeichnung wie Lemma oder Satz von Lagrange gerne hätte, müsste man das von Hand noch ändern.