Опубликованный пакет / CLIR
arxo.quantity_order
v0.1.0Показания в разных единицах: совместный вывод Wikidata, QUDT, Lean и Isabelle
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| Авторский контракт сравнения показаний через четыре источника | 0.1.0 | 1 | 1 |
| Шкалы QUDT: NATIVE | 0.1.0 | 1 | 3 |
| Шкалы QUDT: POLICY | 0.1.0 | 1 | 3 |