Revision as of 17:46, 3 March 2023 edit 69.117.211.11 (talk) →Disjunctive programs: main Tags: Mobile edit Mobile web edit ← Previous edit		Revision as of 08:07, 17 July 2023 edit undo Felix QW (talk \| contribs) Extended confirmed users 8,596 edits removed Category:Model theory using HotCat Not what mathematicians usually consider model theory. Next edit →
Line 372: [[Category:Logic programming]] ~~[[Category:Model theory]]~~

Stable model semantics: Difference between revisions