Discussion:Forcing
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Remarques[modifier le code]
Je ne comprends pas ce qu'est la méthode de l'analyse des valeurs booléennes (la méthode des modèles à valeur booléenne ? autre chose ?).
Pour le dernier paragraphe : je ne comprend pas bien le statut, est-ce une analogie (si oui, je vois à peu près) ? Quelque chose de plus précis ? L'original anglais n'est pas clair. Proz (d) 24 janvier 2010 à 20:39 (CET)