User contributions for Siddharthist
A user with 1,847 edits. Account created on 18 April 2016.
19 December 2023
- 20:5320:53, 19 December 2023 diff hist −684 User:Siddharthist →One hour current Tag: 2017 wikitext editor
- 20:2920:29, 19 December 2023 diff hist +120 User:Siddharthist →One hour Tag: 2017 wikitext editor
11 December 2023
- 21:4421:44, 11 December 2023 diff hist +2,866 Separation logic Section on decidability and complexity Tag: 2017 wikitext editor
7 December 2023
- 22:0122:01, 7 December 2023 diff hist +49 User:Siddharthist →Sections Tag: 2017 wikitext editor
- 21:5921:59, 7 December 2023 diff hist +498 Proof assistant →Notable formalized proofs: Add four-color theorem Tag: 2017 wikitext editor
- 21:5721:57, 7 December 2023 diff hist +456 Computer-assisted proof →Theorems proved with the help of computer programs: Add citation for four-color theorem Tag: 2017 wikitext editor
- 21:5521:55, 7 December 2023 diff hist −1 m Lean (proof assistant) →Usage: Formatting Tag: 2017 wikitext editor
- 21:5521:55, 7 December 2023 diff hist +316 Lean (proof assistant) →Usage: Add citation for PFR proof Tag: 2017 wikitext editor
- 21:5321:53, 7 December 2023 diff hist +57 Lean (proof assistant) →Usage: See also Tag: 2017 wikitext editor
- 21:5121:51, 7 December 2023 diff hist +57 Coq (software) →Other applications: See also Tag: 2017 wikitext editor
- 21:5021:50, 7 December 2023 diff hist +344 Proof assistant →Notable formalized proofs: Fundamental group of the circle in HoTT Tag: 2017 wikitext editor
- 21:4621:46, 7 December 2023 diff hist +89 Proof assistant →Notable formalized proofs: See also Tag: 2017 wikitext editor
- 21:4521:45, 7 December 2023 diff hist +917 Proof assistant List of theorems proved Tag: 2017 wikitext editor
- 04:4604:46, 7 December 2023 diff hist +69 User:Siddharthist →One hour Tag: 2017 wikitext editor
- 04:4504:45, 7 December 2023 diff hist +603 Formal methods →Solvers and competitions: SV-COMP Tag: 2017 wikitext editor
- 04:4304:43, 7 December 2023 diff hist +1,166 Formal methods →Solvers and competitions: Add CASC Tag: 2017 wikitext editor
- 04:3804:38, 7 December 2023 diff hist +137 User:Siddharthist No edit summary Tag: 2017 wikitext editor
- 04:3704:37, 7 December 2023 diff hist +47 User:Siddharthist →Sections Tag: 2017 wikitext editor
- 04:3604:36, 7 December 2023 diff hist +451 Formal methods →Solvers and competitions: Add SyGuS-COMP Tag: 2017 wikitext editor
- 04:3404:34, 7 December 2023 diff hist +55 N SyGuS-COMP ←Redirected page to Program synthesis#Syntax-guided synthesis current Tags: New redirect 2017 wikitext editor
- 04:3304:33, 7 December 2023 diff hist +3,291 Formal methods Section on solvers and competitions Tag: 2017 wikitext editor
- 04:3004:30, 7 December 2023 diff hist 0 QBFEVAL ←Changed redirect target from True quantified boolean formula to True quantified Boolean formula current Tags: Redirect target changed 2017 wikitext editor
- 04:2804:28, 7 December 2023 diff hist +45 N QBFEVAL ←Redirected page to True quantified boolean formula Tags: New redirect 2017 wikitext editor
- 04:2504:25, 7 December 2023 diff hist +38 N CHC-COMP ←Redirected page to Constrained Horn clauses current Tags: New redirect 2017 wikitext editor
- 04:2004:20, 7 December 2023 diff hist +121 N SMT-COMP ←Redirected page to Satisfiability modulo theories#Standardization and the SMT-COMP solver competition current Tags: New redirect 2017 wikitext editor
- 01:5501:55, 7 December 2023 diff hist +32 User:Siddharthist →Pages Tag: 2017 wikitext editor
- 01:4401:44, 7 December 2023 diff hist −145 Constrained Horn clauses Remove AfC template Tag: 2017 wikitext editor
- 01:4401:44, 7 December 2023 diff hist +85 N Draft:Constrained Horn clauses Siddharthist moved page Draft:Constrained Horn clauses to Constrained Horn clauses current Tag: New redirect
- 01:4401:44, 7 December 2023 diff hist 0 m Constrained Horn clauses Siddharthist moved page Draft:Constrained Horn clauses to Constrained Horn clauses
- 01:4301:43, 7 December 2023 diff hist +541 Constrained Horn clauses Decidabilty Tag: 2017 wikitext editor
- 01:2601:26, 7 December 2023 diff hist +5,320 N Constrained Horn clauses ←Created page with '{{subst:AfC submission/draftnew}}<!-- Important, do not remove this line before article has been created. --> '''Constrained Horn clauses''' (CHCs) are a fragment of first-order logic with applications to program verification and synthesis. Constrained Horn clauses can be seen as a form of constraint logic programming.<ref>{{Cite journal |last=Angelis |first=Emanuele De |last2=Fioravanti |first2=Fabio |...' Tag: 2017 wikitext editor
6 December 2023
- 23:1123:11, 6 December 2023 diff hist +19 Automated theorem proving →First-order theorem proving: Citation needed Tag: 2017 wikitext editor
- 23:0123:01, 6 December 2023 diff hist +1,802 Automated theorem proving →First-order theorem proving: Relationship with SMT Tag: 2017 wikitext editor
- 22:5922:59, 6 December 2023 diff hist 0 m Satisfiability modulo theories →Relationship to automated theorem proving: Remove newline Tag: 2017 wikitext editor
- 22:5922:59, 6 December 2023 diff hist +1,785 Satisfiability modulo theories Comparison with ATP Tag: 2017 wikitext editor
- 22:4622:46, 6 December 2023 diff hist +1,204 Satisfiability modulo theories →Applications: Integrations with Coq/Isabelle Tag: 2017 wikitext editor
- 22:4222:42, 6 December 2023 diff hist +4 Automated theorem proving →Benchmarks, competitions, and sources: Link to page on TPTP Tag: 2017 wikitext editor
- 22:4122:41, 6 December 2023 diff hist +514 Automated theorem proving Note applications to proof assistants Tag: 2017 wikitext editor
- 22:3522:35, 6 December 2023 diff hist +30 Automated theorem proving →Popular techniques: Prose Tag: 2017 wikitext editor
- 22:3322:33, 6 December 2023 diff hist +18 m Bernays–Schönfinkel class →Applications: Deciding *satisfiability* Tag: 2017 wikitext editor
- 22:2322:23, 6 December 2023 diff hist +724 Bernays–Schönfinkel class Note the application to SMT Tag: 2017 wikitext editor
- 22:2022:20, 6 December 2023 diff hist +563 E-graph →Applications: Mention e-matching for quantifier instantiation Tag: 2017 wikitext editor
- 22:1422:14, 6 December 2023 diff hist +847 Satisfiability modulo theories →Decidable theories: Mention fragments of FOL such as EPR Tag: 2017 wikitext editor
- 22:1222:12, 6 December 2023 diff hist +42 N Effectively propositional logic ←Redirected page to Bernays–Schönfinkel class current Tags: New redirect 2017 wikitext editor
5 December 2023
- 21:5621:56, 5 December 2023 diff hist +19 DPLL algorithm →Related algorithms: Citation needed for BDDs Tag: 2017 wikitext editor
- 21:5121:51, 5 December 2023 diff hist +77 Backtracking →Examples: DPLL is an example of a backtracking algorithm Tag: 2017 wikitext editor
- 21:5021:50, 5 December 2023 diff hist +45 Unit propagation →Using a partial model: Unreferenced section Tag: 2017 wikitext editor
- 21:4921:49, 5 December 2023 diff hist +45 Unit propagation →Complexity: Unreferenced section Tag: 2017 wikitext editor
- 21:4621:46, 5 December 2023 diff hist +3 m Conflict-driven clause learning Link to backjumping in the introduction Tag: 2017 wikitext editor
- 21:4221:42, 5 December 2023 diff hist −2 E-graph →Applications: Fix link to CDCL Tag: 2017 wikitext editor
