preuve formelle

Attributs de base
Langue:	fr
Valeur:	preuve formelle
Classe:	Nom

Traductions
de	formeller beweis

Relations binaires
PAF	PREUVE
PAL	formel
USE	PREUVE AU SENS STRICT

Sources

Date Créateur Source Tue Mar 21 14:36:51 CET 2017 tds2-importer tds2