Nuprl Definition : sudoku-allowed
sudoku-allowed(P;i;j) == board-cell(P;i;j)
Definitions occuring in Statement :
board-cell: board-cell(b;i;j)
Definitions occuring in definition :
board-cell: board-cell(b;i;j)
FDL editor aliases :
sudoku-allowed
Latex:
sudoku-allowed(P;i;j) == board-cell(P;i;j)
Date html generated:
2016_05_15-PM-03_14_10
Last ObjectModification:
2015_09_23-AM-07_42_48
Theory : general
Home
Index