Content deleted Content added
→Clarify algorithm - who chooses the predicate: new section |
→Clarify algorithm - who chooses the predicate: * "Choose a literal L" - This seems to need a lot more detail if part of FOIL |
||
Line 4:
== Clarify algorithm - who chooses the predicate ==
''Algorithm'' says
* "Choose a literal L" - This seems to need a lot more detail if part of FOIL
- [[User:Rod57|Rod57]] ([[User talk:Rod57|talk]]) 15:58, 30 January 2017 (UTC)
|