Reasoner example with some rules for relatives: muudatuste ajalugu

Mine navigeerimisribale Mine otsikasti

Erinevuste valimine: märgi võrreldavate redaktsioonide raadionupud ning klõpsa sisestusklahvi või allpool olevat nuppu.
Legend: (viim) = erinevused võrreldes viimase redaktsiooniga, (eel) = erinevused võrreldes eelmise redaktsiooniga, P = pisimuudatus.

17. aprill 2019

  • viimeel 10:1717. aprill 2019, kell 10:17 Tammet arutelu kaastöö 1244 baiti +1244 Uus lehekülg: '<pre> % see syntax docs: % https://www.mcs.anl.gov/research/projects/AR/otter/otter33.pdf % % for advanced syntax see % http://tptp.cs.miami.edu/TPTP/TR/TPTPTR.shtml#ProblemPrese...'
Pärit leheküljelt "http://www.lambda.ee/wiki/Reasoner_example_with_some_rules_for_relatives"