https://www.arabsciencepedia.org/w/index.php?action=history&feed=atom&title=%D9%85%D8%B3%D8%AA%D8%AE%D8%AF%D9%85%3A%D8%A8%D8%B4%D8%A7%D8%B1_%D8%A7%D9%84%D8%AC%D9%85%D8%A7%D9%84%2F%D9%86%D9%85%D9%88%D8%B0%D8%AC_%D8%B5%D9%81%D8%AD%D8%A9 مستخدم:بشار الجمال/نموذج صفحة - تاريخ المراجعة 2026-04-24T18:39:47Z تاريخ التعديل لهذه الصفحة في الويكي MediaWiki 1.43.6 https://www.arabsciencepedia.org/w/index.php?title=%D9%85%D8%B3%D8%AA%D8%AE%D8%AF%D9%85:%D8%A8%D8%B4%D8%A7%D8%B1_%D8%A7%D9%84%D8%AC%D9%85%D8%A7%D9%84/%D9%86%D9%85%D9%88%D8%B0%D8%AC_%D8%B5%D9%81%D8%AD%D8%A9&diff=4539&oldid=prev بشار الجمال: أنشأ الصفحة ب'__NOTOC__ __NOEDITSECTION__ <div class="mainpage"> {| class="titlebox" |- | class="welcomeheader" | Welcome to '''Wikiproofs''' | rowspan="2" | * Tutorial...' 2011-02-22T12:24:16Z <p>أنشأ الصفحة ب&#039;__NOTOC__ __NOEDITSECTION__ &lt;div class=&quot;mainpage&quot;&gt; {| class=&quot;titlebox&quot; |- | class=&quot;welcomeheader&quot; | Welcome to &#039;&#039;&#039;Wikiproofs&#039;&#039;&#039; | rowspan=&quot;2&quot; | * <a href="/w/index.php?title=%D9%85%D8%B3%D8%A7%D8%B9%D8%AF%D8%A9:Tutorial&amp;action=edit&amp;redlink=1" class="new" title="مساعدة:Tutorial (الصفحة غير موجودة)">Tutorial</a>...&#039;</p> <p><b>صفحة جديدة</b></p><div>__NOTOC__ __NOEDITSECTION__<br /> &lt;div class=&quot;mainpage&quot;&gt;<br /> {| class=&quot;titlebox&quot;<br /> |-<br /> | class=&quot;welcomeheader&quot; | Welcome to &#039;&#039;&#039;Wikiproofs&#039;&#039;&#039;<br /> | rowspan=&quot;2&quot; |<br /> * [[Help:Tutorial|Tutorial]]<br /> * [[Wikiproofs:Subject index|Subject index]]<br /> * [[Wikiproofs:JHilbert development|Verifier development]]<br /> |-<br /> | class=&quot;welcomefooter&quot; | the &#039;&#039;&#039;free&#039;&#039;&#039; repository of &#039;&#039;&#039;instantly verified proofs&#039;&#039;&#039;&lt;br /&gt;to which &#039;&#039;&#039;anyone can contribute&#039;&#039;&#039;.<br /> |-<br /> | colspan=&quot;2&quot; |<br /> ----<br /> &#039;&#039;&#039;[[Wikiproofs:About|Wikiproofs]]&#039;&#039;&#039; is an online repository of [[Wikiproofs:Copyrights|free]] [[w:formal system|formalisations]]. It is possible to [[w:deductive reasoning|reason]] within such a formalisation, that is, to put forth statements and write formal proofs for some of them. These proofs are immediately verified upon submission by an automated proof verifier. The largest domain of formal reasoning is [[w:mathematics|mathematics]], but Wikiproof&#039;s underlying proof verifier is sufficiently generic to allow for other formal systems as well.<br /> |}<br /> &lt;center&gt;[[:Category:Categories|Main category]] &#039;&#039;&#039;·&#039;&#039;&#039; [[Wikiproofs:Tearoom|Tearoom]] &#039;&#039;&#039;·&#039;&#039;&#039; [[:Category:Mathematics Subject Classification|Mathematics]] &#039;&#039;&#039;·&#039;&#039;&#039; [[Help:Contents|Help]]&lt;/center&gt;<br /> {{featured}}<br /> &lt;center&gt;[[Wikiproofs:Community Portal|Community Portal]]&lt;/center&gt;<br /> {{collaboration}}<br /> &lt;/div&gt;<br /> <br /> == Links of interest ==<br /> <br /> * [[mw:Extension:JHilbert|JHilbert extension]]. JHilbert is the proof verifier behind Wikiproofs.<br /> * [http://wiki.planetmath.org/AsteroidMeta/JHilbert JHilbert page on AsteroidMeta]<br /> * [http://www.mathi.uni-heidelberg.de/~alex/jhilbert JHilbert download page]<br /> * [http://us.metamath.org Metamath], a (non-wiki) site similar in spirit to Wikiproofs.<br /> * [http://www.mathweb.org/ MathWeb]<br /> * [http://www.cs.ru.nl/~freek/100/ Formalizing 100 Theorems]</div> بشار الجمال