Modèle:Schémas Déduction - Historique des versions

WikiAdmin : 1 version importée

2021-09-04T07:48:57Z

1 version importée

← Version précédente	Version du 4 septembre 2021 à 07:48
(Aucune différence)

toross>WikiAdmin le 27 août 2021 à 15:27

2021-08-27T15:27:45Z

← Version précédente		Version du 27 août 2021 à 15:27
Ligne 1 :		Ligne 1 :
	<includeonly>		<includeonly>
	<table style='display: inline-block;border: 2px solid #E8FFE8;margin-top:0.1em; margin-bottom:0.1em;background-color:#FFFFFF;vertical-align:middle;'>		<table style='display: inline-block;border: 2px solid #E8FFE8;margin-top:0.1em; margin-bottom:0.1em;background-color:#FFFFFF;vertical-align:middle;'>
	{{~~#atIf:~~{{{3\|}}}\|<tr><td colspan=2 style='text-align:center;padding-left:0.5em;padding-right:0.5em;'>{{{3}}}</td></tr>\|}}		{{AtIfNotNul\|1={{{3\|}}}\|2=<tr><td colspan=2 style='text-align:center;padding-left:0.5em;padding-right:0.5em;'>{{{3}}}</td></tr>\|3=}}
	<tr>		<tr>
	<td style='background-color:FFFFFF;margin-left:0.1em;padding-left:0.1em;margin-right:0.1em;padding-right:0.1em;font-size:90%'>		<td style='background-color:FFFFFF;margin-left:0.1em;padding-left:0.1em;margin-right:0.1em;padding-right:0.1em;font-size:90%'>
	{{~~#atcount:~~deduction_count\|S\|.\|{{{2\|}}} }}		{{AtCount\|name=deduction_count\|prefix=S\|suffix=.\|id={{{2\|}}} }}
	</td>		</td>
	<td style=''>		<td style=''>
Ligne 17 :		Ligne 17 :
	\|syntaxe=<nowiki>{{Schémas_Déduction\|texte\|id\|[titre]}}</nowiki>		\|syntaxe=<nowiki>{{Schémas_Déduction\|texte\|id\|[titre]}}</nowiki>
	\|specification=		\|specification=
	:texte		:texte
	;id		;id
	: l'id est un identifiant unique dans la page.		: l'id est un identifiant unique dans la page.
	;[titre]		;[titre]
	:Le titre de la déduction.		:Le titre de la déduction.
	}}		}}
	Exemple :		Exemple :

	<nowiki>{{Schémas_Déduction\|{{Déduction\|prémisses= \|conclusion=Γ;A ⊢ B}} {{Déduction\|prémisses=Γ ⊢ B\|conclusion=Γ;A ⊢ B}}\|ref1\|Titre}}</nowiki>		<nowiki>
			{{Schémas_Déduction\|{{Déduction\|prémisses= \|conclusion=Γ;A ⊢ B}} {{Déduction\|prémisses=Γ ⊢ B\|conclusion=Γ;A ⊢ B}}\|ref1\|Titre}}
			</nowiki>
	<nowiki>{{clink\|ref1}}</nowiki>		<nowiki>{{clink\|ref1}}</nowiki>

	donnera :		donnera :
			{{Schémas_Déduction\|{{Déduction\|prémisses= \|conclusion=Γ;A ⊢ B}} {{Déduction\|prémisses=Γ ⊢ B\|conclusion=Γ;A ⊢ B}}\|ref3}}

			{{Schémas_Déduction\|{{Déduction\|prémisses= \|conclusion=Γ;A ⊢ B}} {{Déduction\|prémisses=Γ ⊢ B\|conclusion=Γ;A ⊢ B}}\|ref4}}

	{{Schémas_Déduction\|{{Déduction\|prémisses= \|conclusion=Γ;A ⊢ B}} {{Déduction\|prémisses=Γ ⊢ B\|conclusion=Γ;A ⊢ B}}\|ref1\|Titre}}		{{Schémas_Déduction\|{{Déduction\|prémisses= \|conclusion=Γ;A ⊢ B}} {{Déduction\|prémisses=Γ ⊢ B\|conclusion=Γ;A ⊢ B}}\|ref1\|Titre}}

			{{Schémas_Déduction\|{{Déduction\|prémisses= \|conclusion=Γ;A ⊢ B}} {{Déduction\|prémisses=Γ ⊢ B\|conclusion=Γ;A ⊢ B}}\|ref2}}

			{{lipsum}}

	{{clink\|ref1}}		{{clink\|ref1}}

	{{#atallref:}}		{{clink\|ref2}}

			{{atallref}}

	</noinclude>		</noinclude>

WikiAdmin : 1 révision importée

2019-01-15T05:55:00Z

1 révision importée

← Version précédente	Version du 15 janvier 2019 à 05:55
(Aucune différence)

88.191.71.115 le 14 janvier 2019 à 19:41

2019-01-14T19:41:20Z

← Version précédente		Version du 14 janvier 2019 à 19:41
Ligne 14 :		Ligne 14 :
	\|class=log		\|class=log
	\|texte=Ce modèle sert a définir des paragraphes de type déduction.		\|texte=Ce modèle sert a définir des paragraphes de type déduction.
	\|auteurs=~~Arthur Torossian~~		\|auteurs=
	\|syntaxe=<nowiki>{{Schémas_Déduction\|texte\|id\|[titre]}}</nowiki>		\|syntaxe=<nowiki>{{Schémas_Déduction\|texte\|id\|[titre]}}</nowiki>
	\|specification=		\|specification=

WikiAdmin : 1 révision importée

2019-01-14T19:24:34Z

1 révision importée

← Version précédente	Version du 14 janvier 2019 à 19:24
(Aucune différence)

WikiAdmin : 1 révision importée

2018-10-02T22:55:57Z

1 révision importée

← Version précédente		Version du 2 octobre 2018 à 22:55
Ligne 1 :		Ligne 1 :
	<includeonly>		<includeonly>
	<table style='display: inline-block;border: 2px solid #E8FFE8;margin-top:0.1em; margin-bottom:0.1em;background-color:#FFFFFF;vertical-align:middle;'>		<table style='display: inline-block;border: 2px solid #E8FFE8;margin-top:0.1em; margin-bottom:0.1em;background-color:#FFFFFF;vertical-align:middle;'>
	{{#~~tag~~:~~atIf\|1=~~{{{3\|}}}\|a=<tr><td colspan=2 style='text-align:center;padding-left:0.5em;padding-right:0.5em;'>{{{3}}}</td></tr>\|b=}}		{{#atIf:{{{3\|}}}\|<tr><td colspan=2 style='text-align:center;padding-left:0.5em;padding-right:0.5em;'>{{{3}}}</td></tr>\|}}
	<tr>		<tr>
	<td style='background-color:FFFFFF;margin-left:0.1em;padding-left:0.1em;margin-right:0.1em;padding-right:0.1em;font-size:90%'>		<td style='background-color:FFFFFF;margin-left:0.1em;padding-left:0.1em;margin-right:0.1em;padding-right:0.1em;font-size:90%'>

WikiAdmin : 1 révision importée

2015-08-17T21:02:22Z

1 révision importée

← Version précédente	Version du 17 août 2015 à 21:02
(Aucune différence)

82.225.234.144 le 1 août 2014 à 22:10

2014-08-01T22:10:12Z

Nouvelle page

<includeonly>
<table style='display: inline-block;border: 2px solid #E8FFE8;margin-top:0.1em; margin-bottom:0.1em;background-color:#FFFFFF;vertical-align:middle;'>
{{#tag:atIf|1={{{3|}}}|a=<tr><td colspan=2 style='text-align:center;padding-left:0.5em;padding-right:0.5em;'>{{{3}}}</td></tr>|b=}}
<tr>
<td style='background-color:FFFFFF;margin-left:0.1em;padding-left:0.1em;margin-right:0.1em;padding-right:0.1em;font-size:90%'>
{{#atcount:deduction_count|S|.|{{{2|}}} }}
</td>
<td style=''>
{{{1}}}
</td>
</tr>
</table></includeonly><noinclude>
{{Model
|class=log
|texte=Ce modèle sert a définir des paragraphes de type déduction.
|auteurs=Arthur Torossian
|syntaxe=<nowiki>{{Schémas_Déduction|texte|id|[titre]}}</nowiki>
|specification=
:texte
;id
: l'id est un identifiant unique dans la page.
;[titre]
:Le titre de la déduction.
}}
Exemple :

<nowiki>{{Schémas_Déduction|{{Déduction|prémisses= |conclusion=Γ;A ⊢ B}} {{Déduction|prémisses=Γ ⊢ B|conclusion=Γ;A ⊢ B}}|ref1|Titre}}</nowiki>
<nowiki>{{clink|ref1}}</nowiki>

donnera :

{{Schémas_Déduction|{{Déduction|prémisses= |conclusion=Γ;A ⊢ B}} {{Déduction|prémisses=Γ ⊢ B|conclusion=Γ;A ⊢ B}}|ref1|Titre}}
{{clink|ref1}}

{{#atallref:}}
</noinclude>