Harshvardhan Pandit 2690db6e51 changed namespace to w3id.org vor 5 Jahren
..
evaluation 0d1a33ff27 widoco documentation vor 5 Jahren
oopsEval.html 2690db6e51 changed namespace to w3id.org vor 5 Jahren