Revision as of 17:25, 31 March 2016 edit Horcrux (talk \| contribs) Extended confirmed users 1,750 edits m synonim ← Previous edit		Revision as of 15:33, 2 April 2016 edit undo Horcrux (talk \| contribs) Extended confirmed users 1,750 edits added Category:Model theory using HotCat Next edit →
Line 371: [[Category:Logic programming]] [[Category:Model theory]]

Stable model semantics: Difference between revisions