Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

159 bytes added , 18:36, 10 August 2009

Line 3,245: Line 3,245:

==Document history==

−

~~<math>\ldots\!</math>~~

+

===Standard Upper Ontology (Mar–Apr 2001)===

−

~~{{aficionados}}<sharethis~~ />

+

* http://suo.ieee.org/email/thrd186.html#04187

+

===Inquiry List (Mar 2003)===

+

* http://stderr.org/pipermail/inquiry/2003-March/thread.html#126

Line 3,253: Line 3,257:

[[Paper Name:=Propositional Equation Reasoning Systems| ]]

[[Paper Of::Directory:Jon Awbrey| ]]

+

12,080

edits