स्वचालित प्रमेय प्रमाणन: Revision history

30 October 2023

• curprev 16:1416:14, 30 October 2023‎ Abhishekkshukla talk contribs‎ 48,435 bytes −39‎ No edit summary Tag: Visual edit

26 May 2023

• curprev 17:4617:46, 26 May 2023‎ Manidh talk contribs‎ 48,474 bytes +1,848‎ No edit summary
• curprev 10:1510:15, 26 May 2023‎ Indicwiki talk contribs‎ m 46,626 bytes 0‎ 20 revisions imported from alpha:स्वचालित_प्रमेय_प्रमाणन
• curprev 08:5808:58, 26 May 2023‎ alpha>Neeraja‎ m 46,626 bytes +26‎ added Category:Vigyan Ready using HotCat

19 May 2023

• curprev 19:0319:03, 19 May 2023‎ alpha>Artiverma‎ 46,600 bytes +617‎ No edit summary
• curprev 17:3617:36, 19 May 2023‎ alpha>Artiverma‎ 45,983 bytes +44‎ No edit summary
• curprev 17:3117:31, 19 May 2023‎ alpha>Artiverma‎ 45,939 bytes +229‎ No edit summary
• curprev 17:1317:13, 19 May 2023‎ alpha>Artiverma‎ 45,710 bytes +80‎ No edit summary
• curprev 17:0817:08, 19 May 2023‎ alpha>Artiverma‎ 45,630 bytes +31‎ No edit summary
• curprev 16:5816:58, 19 May 2023‎ alpha>Artiverma‎ 45,599 bytes −114‎ No edit summary
• curprev 16:5216:52, 19 May 2023‎ alpha>Artiverma‎ 45,713 bytes +51‎ No edit summary
• curprev 16:5016:50, 19 May 2023‎ alpha>Artiverma‎ 45,662 bytes +65‎ No edit summary
• curprev 16:4516:45, 19 May 2023‎ alpha>Artiverma‎ 45,597 bytes −347‎ No edit summary
• curprev 16:3416:34, 19 May 2023‎ alpha>Artiverma‎ 45,944 bytes +41‎ No edit summary
• curprev 16:1616:16, 19 May 2023‎ alpha>Artiverma‎ 45,903 bytes +35‎ No edit summary
• curprev 16:1016:10, 19 May 2023‎ alpha>Artiverma‎ 45,868 bytes +107‎ No edit summary
• curprev 16:0216:02, 19 May 2023‎ alpha>Artiverma‎ 45,761 bytes +28‎ No edit summary
• curprev 15:5815:58, 19 May 2023‎ alpha>Artiverma‎ 45,733 bytes +322‎ No edit summary
• curprev 15:4815:48, 19 May 2023‎ alpha>Artiverma‎ 45,411 bytes +119‎ No edit summary
• curprev 15:4315:43, 19 May 2023‎ alpha>Artiverma‎ 45,292 bytes +61‎ No edit summary
• curprev 15:3015:30, 19 May 2023‎ alpha>Artiverma‎ 45,231 bytes +319‎ No edit summary

18 May 2023

• curprev 18:2218:22, 18 May 2023‎ alpha>Abhishek‎ m 44,912 bytes 0‎ Abhishek moved page स्वचालित प्रमेय साबित करना to स्वचालित प्रमेय प्रमाणन without leaving a redirect

15 May 2023

• curprev 12:0212:02, 15 May 2023‎ alpha>Indicwiki‎ 44,912 bytes +44,912‎ Created page with "{{short description|Subfield of automated reasoning and mathematical logic}} स्वचालित प्रमेय साबित करना (एटीपी य..."