Tabled logic programming: Difference between revisions

Content deleted Content added
reverted my error: source is CC-SA licensed, sorry.
AnomieBOT (talk | contribs)
m Dating maintenance tags: {{Expand section}}
Line 13:
 
== SLG resolution ==
{{expand section|date=October 2023}}
== Termination properties ==
{{expand section|date=October 2023}}
== References ==
{{reflist}}