Tabled logic programming: Difference between revisions

Content deleted Content added
Added {{Copypaste}} tag
Tags: Twinkle Reverted
AnomieBOT (talk | contribs)
m Dating maintenance tags: {{Expand section}}
Tag: Reverted
Line 14:
 
== SLG resolution ==
{{expand section|date=October 2023}}
== Termination properties ==
{{expand section|date=October 2023}}
== References ==
{{reflist}}