Я застрял на семантике Крипке и задаюсь вопросом, есть ли educational software, с помощью которого...
Я работаю над API для TripleStore в Кунжут . У него есть аргумент, который работает с RDF....