Presburger arithmetic - Revision history

en>BG19bot: /* Properties */WP:CHECKWIKI error fix for #64. Do general fixes if a problem exists. - using AWB (10511)

2014-12-11T01:29:12Z

Properties: WP:CHECKWIKI error fix for #64. Do general fixes if a problem exists. - using AWB (10511)

Show changes

en>Quondum: /* Properties */ true or false → a theorem or a nontheorem

2014-02-23T06:23:41Z

Properties: true or false → a theorem or a nontheorem

Show changes

128.84.98.181: added the name of the Coq tactic for Presburger Arithematic. Ideally, there should be a link to http://coq.inria.fr/refman/Reference-Manual023.html , but I can't figure out how to do that

2013-12-02T16:53:27Z

added the name of the Coq tactic for Presburger Arithematic. Ideally, there should be a link to http://coq.inria.fr/refman/Reference-Manual023.html , but I can't figure out how to do that

Show changes

88.182.127.150: /* Applications */ added hyphens to disabiguate

2012-04-27T11:26:33Z

Applications: added hyphens to disabiguate

New page

Business Unit Mechanic Gerry Delrio from Juniper Station, spends time with pursuits for instance studying an instrument, free coins fifa 14 hack and car. Gets plenty of encouragement from life by going to spots like Kutná Hora: Historical Town Centre.<br><br>Check out my web site fifa 14 free coins hack xbox ([https://www.youtube.com/watch?v=HSoNAvTIeEc https://www.youtube.com])