L’extrait ci-dessous de Wikipédia n’est pas soutenu par une source fiable. Pouvez-vous en trouver une ?
Cliquez sur J’ai compris ! pour aller sur Wikipédia et corriger le fragment de code ou Suivant ! pour en voir un autre. Bonne chance !
Sur la page Vérification de modèles :
"Une évolution récente[réf. nécessaire] est l'ajout, en sus de variables booléennes, de variables entières ou réelles. Les formules atomiques ne sont alors plus seulement les variables booléennes, mais des prédicats atomiques sur ces variables entières ou réelles, ou plus généralement des prédicats pris dans une théorie (par exemple , etc.). On parle alors de satisfiabilité modulo une théorie (par exemple, on pourra considérer comme prédicats atomiques les égalités et inégalités linéaires).
Vous pouvez personnaliser Chasse à la citation en fournissant une liste d’articles. Cela vous fournira un lien que vous pourrez partager avec d’autres pour qu’ils puissent naviguer dans Chasse à la citation en étant limités aux articles que vous avez fournis.
Comment aimeriez-vous créer un Chasse à la citation personnalisé ?
Utiliser la boîte de recherche ci-dessous pour trouver et ajouter des articles à votre Chasse à la citation personnalisé. Vous pouvez supprimer un article en cliquant dessus dans l’aperçu ci-dessous.
Veuillez entrer les titres d’article de Wikipédia à importer, un par ligne, dans la zone ci-dessous :
PetScan est un outil pour interroger Wikipedia et définir des listes d’articles. PetScan assigne des IDs aux requêtes afin que leurs résultats puissent être importés dans d’autres outils.
Veuillez créer votre requête dans PetScan et coller son identifiant ci-dessous :
Pagepile est un outil permettant de définir des listes d'articles Wikipédia. Pagepile attribue des identifiants aux listes afin que leurs résultats puissent être importés dans d'autres outils.
Veuillez créer votre liste dans Pagepile et coller son identifiant ci-dessous :
Veuillez patienter, votre Chasse à la citation personnalisé est en train d’être calculé. Cela peut prendre quelques minutes...
Vous pouvez appuyer sur Retour ou fermer cette boîte de dialogue pour annuler.
Votre Chasse à la citation personnalisé a été créé !
Vous pouvez copier et partager le lien ci-dessus pour permettre à d’autres personnes de l’utiliser ou pour le consulter maintenant !
Désolé, votre personnalisation de Chasse à la citation a échoué lors de sa création ou s’est avérée vide !
Veuillez réessayer et garder à l’esprit les recommandations suivantes :
