Reasoner example for being likely married: 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:2417. aprill 2019, kell 10:24 Tammet arutelu kaastöö 1652 baiti +1652 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_for_being_likely_married"