Formal Model of Problems, Methods, Algorithms and Implementations in the Advancing AlgoWiki Open Encyclopediaдоклад на конференции