Page history

Jump to navigation Jump to search

Backward Chaining Algorithm

27 March 2024

Gmelli
Text replacement - "> ↵" to "> "
m
02:40
−2

26 February 2021

Gmelli
Text replacement - "** ..." to "** …"
m
23:47

22 February 2021

Gmelli
Text replacement - ". * ... * <B>Counter" to ". ** ... * <B>Counter"
m
02:51
+1
Gmelli
Text replacement - "]]. * <B>Counter-Example" to "]]. * ... * <B>Counter-Example"
m
02:45
+6
Gmelli
Text replacement - "]]. * <B>Example" to "]]. ** ... * <B>Example"
m
01:54
+7

26 December 2020

Gmelli
Text replacement - ". ----" to ". ----"
m
23:39
+1

23 December 2019

15 January 2019

Gmelli
Text replacement - " “" to " “"
m
18:55
−4

21 December 2018

10 October 2018

Gmelli
Text replacement - " ⇒ " to " ⇒ "
m
00:08
−3

1 August 2018

Gmelli
Text replacement - "==References " to "== References "
m
18:01
+1

12 March 2018

4 December 2017

3 December 2017

Gmelli
Text replacement - "1===" to "1 ==="
m
01:35
+1

2 November 2017

Gmelli
Text replacement - "===200" to "=== 200"
m
00:00
+2

27 June 2017

Gmelli
Text replacement - "). "[" to "). “["
m
18:21
+6

29 December 2015

Gmelli
Text replacement - "g''' " to "g</B> "
m
19:20
+1

26 December 2015

18 October 2015

Gmelli
Text replacement - "===201" to "=== 201"
m
05:39
+1

9 September 2015

Gmelli
Text replacement - "** <B>QUOTE:</B> " to "** QUOTE:"
m
19:54
−8

12 June 2015

Gmelli
Text replacement - " methods of [[" to " [[methods of "
m
02:15

21 September 2014

Gmelli
Text replacement - "<B>AKA</B>:" to "<B>AKA:</B>"
m
04:41

16 September 2014

Gmelli
Text replacement - " <B><U>Context</U>:</B>" to " <B>Context</U>:</B>"
m
01:48
−3

14 September 2014

Gmelli
Text replacement - "<U>See</U>" to "See"
m
08:02
−7

10 September 2014

17 August 2014

MarkAHershberger
Text replacement - "<B><U>AKA</U>:</B>" to "<U>AKA</U>:"
m
20:36
−7

29 April 2012

Gmelli
no edit summary
03:00
+3,718

Retrieved from "http://www.gabormelli.com/RKB/Special:History/Backward_Chaining_Algorithm"