Reseau inverse

Syntaxe

Formules : $A:=X(t_{1},\dots ,t_{n})\mid \neg A\mid A\vee B\mid A\wedge B\mid \forall xA\mid \exists xA$

On quotiente les formules pas les lois de De Morgan.

Clauses (à démontrer) : $\Gamma :=1\mid A.\Gamma$ (le point est une conjonction commutative et associative avec élément neutre)

Séquents : $\Delta :=0\mid \Gamma ,\Delta$ (la virgule est une dicjonction commutative et associative)

Règles logiques

${\frac {\vdash A.B.\Gamma ,\Delta }{\vdash A\wedge B.\Gamma ,\Delta }}\wedge _{i}$

${\frac {\vdash A.\Gamma ,B.\Gamma ,\Delta }{\vdash A\vee B.\Gamma ,\Delta }}\vee _{i}$

${\frac {\vdash A.\Gamma ,\Delta }{\vdash \forall xA.\Gamma ,\Delta }}\forall _{i}\;\;\;(x{\hbox{ non libre dans la conclusion}})$

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash A[x:=t] . \Gamma, \Delta}{\vdash \exists x A . \Gamma, \Delta}\exists_i }

${\frac {}{\vdash 1}}{\hbox{axiom}}$

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash \Gamma . \Gamma', \Delta}{\vdash A . \Gamma, \neg A . \Gamma', \Delta}\hbox{resolution} }

${\frac {\vdash A.\Gamma ,\neg A.\Gamma ,\Delta }{\vdash \Gamma ,\Delta }}{\hbox{reversed resolution}}\;\;\;{\hbox{(inutile, fait echouer la propriete de la sous-formule)}}$

${\frac {\vdash \Delta }{\vdash A.\neg A.\Gamma ,\Delta }}{\hbox{tautology elimination}}\;\;\;{\hbox{(inutile)}}$

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash A . \neg A, \Delta}{\Delta}\hbox{reversed tautology elimination} \;\;\;\hbox{(inutile, fait echouer la propriete de la sous-formule)} }

Règles structurelles

${\frac {\vdash A.\Gamma ,\Delta }{\vdash \Gamma ,\Delta }}\nu \;\;\;{\hbox{(inutile, affaiblissement, pas la propriete de la sous-formule)}}$

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash A . \Gamma , \Delta}{\vdash A . A . \Gamma , \Delta}\;\;\; \hbox{(contraction)} }

${\frac {\vdash A.A.\Gamma ,\Delta }{\vdash A.\Gamma ,\Delta }}\;\;\;{\hbox{(inutile)}}$

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash \Gamma , \Gamma, \Delta}{\vdash \Gamma , \Delta}\;\;\; \hbox{(reutilisation de clauses)} }

${\frac {\vdash \Gamma ,\Delta }{\vdash \Gamma .\Gamma ',\Gamma ,\Delta }}\;\;\;{\hbox{(inutile, subsumption, tres efficace en recherche de preuve)}}$

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash \Delta}{\vdash \Gamma , \Delta}\;\;\; \hbox{(affaiblissement bis)} }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash \Gamma , \Delta \;\;\; \Gamma' , \Delta}{\vdash \Gamma . \Gamma' , \Delta}\hbox{Splitting} \;\;\; \hbox{(inutile, tres efficace en recherche de preuve)} }

Tentative de Calcul

Formules : Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle A := X(t_1,\dots,t_n) \mid \neg A \mid A + B \mid A \wedge B \mid A \times B \mid A \vee B \mid \forall x A \mid \exists x A}

Clauses (à démontrer) : Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \Gamma := 1 \mid A^x . \Gamma} (le point est une conjonction commutative et associative avec élément neutre)

Séquents : Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \Delta := 0 \mid \Gamma , \Delta} (la virgule est une dicjonction commutative et associative)

Contraintes : pour tout séquent Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \Delta} et nom de canal Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle x} , il existe au plus une formule Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle A} telque Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle A^x} ou Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \neg A^x} .

Definition : Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \Delta \otimes \Delta'} : Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle (\Gamma_1, \ldots, \Gamma_n) \otimes (\Gamma'_1, \ldots, \Gamma'_p) = \Gamma_1 . \Gamma'_1, \Gamma_1 . \Gamma'_2, \ldots, \Gamma_n . \Gamma'_p}

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{}{\vdash !z\leftarrow(x,y) : (A \times B)^z, \neg A^x, \neg B^y}\times_i }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash t : \Delta} {\vdash ?z\rightarrow(x,y).t : \Delta[A^x := (A \vee B)^z, B^y := (A \vee B)^z]}\vee_i }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{}{\vdash !z\leftarrow L(x) : (A + B)^z, \neg A^x}+_i^L } Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{}{\vdash !z\leftarrow R(y) : (A + B)^z, \neg B^y}+_i^R }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash t : \Delta \;\;\;\;\; \vdash u : \Delta'} {\vdash ?z\rightarrow(x.t + y.u) : \Delta[A^x := (A \wedge B)^z] \otimes \Delta[B^y := (A \wedge B)^z]}\wedge_i }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash t : \Delta}{\vdash ?z\rightarrow(x,\alpha).t (\Delta[A^x := (\forall \alpha A)^z}\forall_i\;\;\; (\alpha \hbox{ non libre dans la conclusion}) }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash A[x:=t] . \Gamma, \Delta}{\vdash \exists x A . \Gamma, \Delta}\exists_i }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{}{\vdash 1}\hbox{axiom} }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash \Gamma . \Gamma', \Delta}{\vdash A . \Gamma, \neg A . \Gamma', \Delta}\hbox{resolution} }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash A . \Gamma, \neg A . \Gamma, \Delta}{\vdash \Gamma, \Delta}\hbox{reversed resolution} \;\;\;\hbox{(inutile, fait echouer la propriete de la sous-formule)} }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash \Delta}{\vdash A . \neg A . \Gamma, \Delta}\hbox{tautology elimination} \;\;\;\hbox{(inutile)} }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash A . \neg A, \Delta}{\Delta}\hbox{reversed tautology elimination} \;\;\;\hbox{(inutile, fait echouer la propriete de la sous-formule)} }

Règles structurelles

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash A . \Gamma , \Delta}{\vdash \Gamma , \Delta}\nu\;\;\; \hbox{(inutile, affaiblissement, pas la propriete de la sous-formule)} }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash A . \Gamma , \Delta}{\vdash A . A . \Gamma , \Delta}\;\;\; \hbox{(contraction)} }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash A . A . \Gamma , \Delta}{\vdash A . \Gamma , \Delta}\;\;\; \hbox{(inutile)} }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash \Gamma , \Gamma, \Delta}{\vdash \Gamma , \Delta}\;\;\; \hbox{(reutilisation de clauses)} }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash \Gamma , \Delta}{\vdash \Gamma.\Gamma' , \Gamma , \Delta}\;\;\; \hbox{(inutile, subsumption, tres efficace en recherche de preuve)} }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash \Delta}{\vdash \Gamma , \Delta}\;\;\; \hbox{(affaiblissement bis)} }

Échec de l’analyse (SVG (MathML peut être activé via une extension du navigateur) : réponse non valide(« Math extension cannot connect to Restbase. ») du serveur « https://wikimedia.org/api/rest_v1/ » :): {\displaystyle \frac{\vdash \Gamma , \Delta \;\;\; \Gamma' , \Delta}{\vdash \Gamma . \Gamma' , \Delta}\hbox{Splitting} \;\;\; \hbox{(inutile, tres efficace en recherche de preuve)} }

Key	Value
HOST	os-vps418.infomaniak.ch:1250
CONNECTION	keep-alive
PRAGMA	no-cache
CACHE-CONTROL	no-cache
UPGRADE-INSECURE-REQUESTS	1
USER-AGENT	Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)
ACCEPT	text/html,application/xhtml+xml,application/xml;q=0.9,image/avif,image/webp,image/apng,/;q=0.8,application/signed-exchange;v=b3;q=0.7
ACCEPT-ENCODING	gzip, deflate

Key	Value
oldid	2726
title	Reseau_inverse

Reseau inverse

Sommaire

Syntaxe

Règles logiques

Règles structurelles

Tentative de Calcul

Règles structurelles

Menu de navigation

#	SQL	Time	Call
1	localhost: SET group_concat_max_len = 262144, `sql_mode` = ''	0.0000ms	Wikimedia\Rdbms\DatabaseMysqlBase::open
2	localhost: BEGIN	0.0000ms	Wikimedia\Rdbms\Database::beginIfImplied (LCStoreDB::get)
3	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'deps' LIMIT 1	0.0000ms	LCStoreDB::get
4	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'list' LIMIT 1	0.0000ms	LCStoreDB::get
5	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'preload' LIMIT 1	0.0000ms	LCStoreDB::get
6	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'preload' LIMIT 1	0.0000ms	LCStoreDB::get
7	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'fallbackSequence' LIMIT 1	0.0000ms	LCStoreDB::get
8	localhost: SELECT rev_id,rev_page,rev_timestamp,rev_minor_edit,rev_deleted,rev_len,rev_parent_id,rev_sha1,comment_rev_comment.comment_text AS `rev_comment_text`,comment_rev_comment.comment_data AS `rev_comment_data`,comment_rev_comment.comment_id AS `rev_comment_cid`,actor_rev_user.actor_user AS `rev_user`,actor_rev_user.actor_name AS `rev_user_text`,rev_actor,page_namespace,page_title,page_id,page_latest,page_is_redirect,page_len,user_name FROM `mwrevision` JOIN `mwrevision_comment_temp` `temp_rev_comment` ON ((temp_rev_comment.revcomment_rev = rev_id)) JOIN `mwcomment` `comment_rev_comment` ON ((comment_rev_comment.comment_id = temp_rev_comment.revcomment_comment_id)) JOIN `mwactor` `actor_rev_user` ON ((actor_rev_user.actor_id = rev_actor)) JOIN `mwpage` ON ((page_id = rev_page)) LEFT JOIN `mwuser` ON ((actor_rev_user.actor_user != 0) AND (user_id = actor_rev_user.actor_user)) WHERE rev_id = 2726 LIMIT 1	0.0000ms	MediaWiki\Revision\RevisionStore::fetchRevisionRowFromConds
9	localhost: SELECT page_id,page_namespace,page_title,page_is_redirect,page_is_new,page_random,page_touched,page_links_updated,page_latest,page_len,page_content_model FROM `mwpage` WHERE page_namespace = 0 AND page_title = 'Reseau_inverse' LIMIT 1	0.0000ms	WikiPage::pageData
10	localhost: SELECT rev_id,rev_page,rev_timestamp,rev_minor_edit,rev_deleted,rev_len,rev_parent_id,rev_sha1,comment_rev_comment.comment_text AS `rev_comment_text`,comment_rev_comment.comment_data AS `rev_comment_data`,comment_rev_comment.comment_id AS `rev_comment_cid`,actor_rev_user.actor_user AS `rev_user`,actor_rev_user.actor_name AS `rev_user_text`,rev_actor,page_namespace,page_title,page_id,page_latest,page_is_redirect,page_len,user_name FROM `mwrevision` JOIN `mwrevision_comment_temp` `temp_rev_comment` ON ((temp_rev_comment.revcomment_rev = rev_id)) JOIN `mwcomment` `comment_rev_comment` ON ((comment_rev_comment.comment_id = temp_rev_comment.revcomment_comment_id)) JOIN `mwactor` `actor_rev_user` ON ((actor_rev_user.actor_id = rev_actor)) JOIN `mwpage` ON ((page_id = rev_page)) LEFT JOIN `mwuser` ON ((actor_rev_user.actor_user != 0) AND (user_id = actor_rev_user.actor_user)) WHERE rev_id = 2749 LIMIT 1	0.0000ms	MediaWiki\Revision\RevisionStore::fetchRevisionRowFromConds
11	localhost: SELECT slot_revision_id,slot_content_id,slot_origin,slot_role_id,content_size,content_sha1,content_address,content_model FROM `mwslots` JOIN `mwcontent` ON ((slot_content_id = content_id)) WHERE slot_revision_id = 2749	0.0000ms	MediaWiki\Revision\RevisionStore::loadSlotRecordsFromDb
12	localhost: SELECT role_id AS `id`,role_name AS `name` FROM `mwslot_roles` ORDER BY id	0.0000ms	MediaWiki\Storage\NameTableStore::loadTable
13	localhost: SELECT model_id AS `id`,model_name AS `name` FROM `mwcontent_models` ORDER BY id	0.0000ms	MediaWiki\Storage\NameTableStore::loadTable
14	localhost: SELECT rev_id,rev_page,rev_timestamp,rev_minor_edit,rev_deleted,rev_len,rev_parent_id,rev_sha1,comment_rev_comment.comment_text AS `rev_comment_text`,comment_rev_comment.comment_data AS `rev_comment_data`,comment_rev_comment.comment_id AS `rev_comment_cid`,actor_rev_user.actor_user AS `rev_user`,actor_rev_user.actor_name AS `rev_user_text`,rev_actor,page_namespace,page_title,page_id,page_latest,page_is_redirect,page_len,user_name FROM `mwrevision` JOIN `mwrevision_comment_temp` `temp_rev_comment` ON ((temp_rev_comment.revcomment_rev = rev_id)) JOIN `mwcomment` `comment_rev_comment` ON ((comment_rev_comment.comment_id = temp_rev_comment.revcomment_comment_id)) JOIN `mwactor` `actor_rev_user` ON ((actor_rev_user.actor_id = rev_actor)) JOIN `mwpage` ON ((page_id = rev_page)) LEFT JOIN `mwuser` ON ((actor_rev_user.actor_user != 0) AND (user_id = actor_rev_user.actor_user)) WHERE rev_id = 2726 LIMIT 1	0.0000ms	MediaWiki\Revision\RevisionStore::fetchRevisionRowFromConds
15	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'namespaceGenderAliases' LIMIT 1	0.0000ms	LCStoreDB::get
16	localhost: SET group_concat_max_len = 262144, `sql_mode` = ''	0.0000ms	Wikimedia\Rdbms\DatabaseMysqlBase::open
17	localhost: SELECT keyname,value,exptime FROM `mwobjectcache` WHERE keyname = 'wikidb-mw:messages:fr' AND (exptime >= '20250412042642')	0.0000ms	SqlBagOStuff::fetchBlobs
18	localhost: SELECT keyname,value,exptime FROM `mwobjectcache` WHERE keyname = 'wikidb-mw:messages:fr:status' AND (exptime >= '20250412042642')	0.0000ms	SqlBagOStuff::fetchBlobs
19	localhost: SELECT IF(GET_LOCK('wikidb-mw:messages:fr',0),UNIX_TIMESTAMP(SYSDATE(6)),NULL) AS acquired	0.0000ms	SqlBagOStuff::doLock
20	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'magicWords' LIMIT 1	0.0000ms	LCStoreDB::get
21	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'datePreferenceMigrationMap' LIMIT 1	3.0000ms	LCStoreDB::get
22	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'defaultDateFormat' LIMIT 1	0.0000ms	LCStoreDB::get
23	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'digitTransformTable' LIMIT 1	0.0000ms	LCStoreDB::get
24	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'messages:october' LIMIT 1	0.0000ms	LCStoreDB::get
25	localhost: SELECT user_name,up_value FROM `mwuser` LEFT JOIN `mwuser_properties` ON ((user_id = up_user) AND up_property = 'gender') WHERE user_name = 'Raffalli'	0.0000ms	GenderCache::doQuery/MediaWikiTitleCodec::getNamespaceName
26	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'namespaceAliases' LIMIT 1	0.0000ms	LCStoreDB::get
27	localhost: SELECT page_id,page_namespace,page_title,page_is_redirect,page_is_new,page_touched,page_links_updated,page_latest,page_len,page_content_model FROM `mwpage` WHERE page_namespace = 2 AND page_title = 'Raffalli' LIMIT 1	0.0000ms	MediaWiki\Page\PageStore::getPageByNameViaLinkCache
28	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'messages:talkpagelinktext' LIMIT 1	0.0000ms	LCStoreDB::get
29	localhost: SELECT page_id,page_namespace,page_title,page_is_redirect,page_is_new,page_touched,page_links_updated,page_latest,page_len,page_content_model FROM `mwpage` WHERE page_namespace = 3 AND page_title = 'Raffalli' LIMIT 1	1.0000ms	MediaWiki\Page\PageStore::getPageByNameViaLinkCache
30	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'messages:red-link-title' LIMIT 1	0.0000ms	LCStoreDB::get
31	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'specialPageAliases' LIMIT 1	0.0000ms	LCStoreDB::get
32	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'messages:contribslink' LIMIT 1	1.0000ms	LCStoreDB::get
33	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'messages:pipe-separator' LIMIT 1	0.0000ms	LCStoreDB::get
34	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'messages:parentheses' LIMIT 1	1.0000ms	LCStoreDB::get
35	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'rtl' LIMIT 1	0.0000ms	LCStoreDB::get
36	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'messages:revision-info' LIMIT 1	0.0000ms	LCStoreDB::get
37	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'linkPrefixExtension' LIMIT 1	1.0000ms	LCStoreDB::get
38	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'messages:currentrevisionlink' LIMIT 1	1.0000ms	LCStoreDB::get
39	localhost: SELECT lc_value FROM `mwl10n_cache` WHERE lc_lang = 'fr' AND lc_key = 'messages:diff' LIMIT 1	1.0000ms	LCStoreDB::get
40	localhost: SELECT rev_id FROM `mwrevision` IGNORE INDEX (rev_timestamp) WHERE rev_page = 1485 AND (rev_timestamp < '20081021095900' OR (rev_timestamp = '20081021095900' AND rev_id < 2726 )) ORDER BY rev_timestamp DESC,rev_id DESC LIMIT 1	1.0000ms	MediaWiki\Revision\RevisionStore::getRelativeRevision

/usr/share/mediawiki/index.php	2 kio
/usr/share/mediawiki/includes/PHPVersionCheck.php	11 kio
/usr/share/mediawiki/includes/WebStart.php	4 kio
/usr/share/mediawiki/includes/BootstrapHelperFunctions.php	3 kio
/usr/share/mediawiki/includes/Setup.php	21 kio
/usr/share/mediawiki/includes/AutoLoader.php	11 kio
/usr/share/mediawiki/autoload.php	152 kio
/usr/share/mediawiki/vendor/autoload.php	756 octet
/usr/share/mediawiki/vendor/composer/autoload_real.php	2 kio
/usr/share/mediawiki/vendor/composer/platform_check.php	925 octet
/usr/share/mediawiki/vendor/composer/ClassLoader.php	16 kio
/usr/share/mediawiki/vendor/composer/include_paths.php	428 octet
/usr/share/mediawiki/vendor/composer/autoload_static.php	204 kio
/usr/share/mediawiki/vendor/wikimedia/at-ease/src/Wikimedia/Functions.php	2 kio
/usr/share/mediawiki/vendor/ralouphie/getallheaders/src/getallheaders.php	2 kio
/usr/share/mediawiki/vendor/symfony/deprecation-contracts/function.php	1 008 octet
/usr/share/mediawiki/vendor/guzzlehttp/promises/src/functions_include.php	167 octet
/usr/share/mediawiki/vendor/guzzlehttp/promises/src/functions.php	10 kio
/usr/share/mediawiki/vendor/wikimedia/base-convert/src/Functions.php	4 kio
/usr/share/mediawiki/vendor/guzzlehttp/guzzle/src/functions_include.php	162 octet
/usr/share/mediawiki/vendor/guzzlehttp/guzzle/src/functions.php	6 kio
/usr/share/mediawiki/vendor/symfony/polyfill-php80/bootstrap.php	1 kio
/usr/share/mediawiki/vendor/wikimedia/timestamp/src/defines.php	2 kio
/usr/share/mediawiki/vendor/symfony/polyfill-php81/bootstrap.php	738 octet
/usr/share/mediawiki/vendor/wikimedia/relpath/src/Wikimedia/RelPath.php	5 kio
/usr/share/mediawiki/includes/Defines.php	11 kio
/usr/share/mediawiki/includes/libs/mime/defines.php	2 kio
/usr/share/mediawiki/includes/libs/rdbms/defines.php	956 octet
/usr/share/mediawiki/includes/libs/rdbms/database/IDatabase.php	71 kio
/usr/share/mediawiki/includes/libs/rdbms/platform/ISQLPlatform.php	22 kio
/usr/share/mediawiki/includes/libs/rdbms/database/DbQuoter.php	290 octet
/usr/share/mediawiki/includes/libs/rdbms/loadbalancer/ILoadBalancer.php	27 kio
/usr/share/mediawiki/vendor/psr/log/Psr/Log/LoggerInterface.php	3 kio
/usr/share/mediawiki/includes/SiteConfiguration.php	22 kio
/usr/share/mediawiki/includes/Settings/SettingsBuilder.php	18 kio
/usr/share/mediawiki/includes/registration/ExtensionRegistry.php	16 kio
/usr/share/mediawiki/includes/Settings/Config/GlobalConfigBuilder.php	2 kio
/usr/share/mediawiki/includes/Settings/Config/ConfigBuilderBase.php	2 kio
/usr/share/mediawiki/includes/Settings/Config/ConfigBuilder.php	2 kio
/usr/share/mediawiki/includes/Settings/Config/PhpIniSink.php	794 octet

Reseau inverse

Syntaxe

Règles logiques

Règles structurelles

Tentative de Calcul

Règles structurelles

Menu de navigation

Rechercher

Headers

Parameters