Проверка условия
72 км/ч в метрах в секунду
Дата контекста 06.09.2026
Результат расчёта
Установлено
Исходные параметры
Что определяем
скорость, выраженная в метрах в секунду переводом ст. 3
zadacha20 m_per_s
Исходные факты
дано: скорость в километрах в час, которую требуется выразить в метрах в секунду
z: zadachav: 72 km_per_h
Пакет: Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина
Дополнительные сведения
- Сохранить доказательство
- Да
Исходные данные · JSON
{
"args": [
"urn:case:phys:zadacha",
"20 m_per_s"
],
"facts": [
{
"args": [
"urn:case:phys:zadacha",
"72 km_per_h"
],
"predicate": "perevesti_v_m_s"
}
],
"kind": "truth",
"legalTime": "2026-09-06",
"package": "phys-zadachnik",
"predicate": "skorost_perevedena_v_m_s",
"proof": true
}Почему такой результатПрименённые правила и условия
Путь вывода4 шагов
- 1факт дела
дано: скорость в километрах в час, которую требуется выразить в метрах в секунду
z: urn:case:phys:zadacha; v: 72 km_per_h
- 2правило
Ст. 3. Числовое значение поданной скорости в километрах в час есть отношение величины к эталону километра в час
72 = число(72 km_per_h)
ст. 3
Идентификатор
urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH - 3правило
Ст. 3. Скорость в метрах в секунду есть перевод поданной скорости: точный фактор пять восемнадцатых вычисляется из объявлений единиц
20 m_per_s = 72 km_per_h → m_per_s
ст. 3
Идентификатор
urn:phys:clir:zadachnik#PerevodVMetrySekundu - 4запрос
Вычисление запроса
проверено движком: 3 · факт дела: 1 · Полный граф: 5 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина
Ст. 3. Числовое значение поданной скорости в километрах в час есть отношение величины к эталону километра в час
Идентификатор
urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmHСт. 3. Скорость в метрах в секунду есть перевод поданной скорости: точный фактор пять восемнадцатых вычисляется из объявлений единиц
Идентификатор
urn:phys:clir:zadachnik#PerevodVMetrySekundu
Другие правила расчёта1
Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.
Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина
Ст. 13. Скорость, переведённая в метры в секунду, — вычисленный ответ задачи о переводе
Идентификатор
urn:phys:clir:zadachnik#OtvetPerevodVMs
Другие выводы3
задача задачника: единица решебника, к которой отнесены данные и ответ
z: zadachaОбщий субъект фактов ниже
числовое значение поданной скорости в километрах в час: отношение величины к эталону (ст. 2-3)
n: 72скорость, выраженная в метрах в секунду переводом ст. 3
v: 20ответ задачи, вычисленный по настоящему задачнику (ст. 13)
x: 20
| z | n |
|---|---|
| zadacha | 72 |
| z | v |
|---|---|
| zadacha | 20 |
| z | x |
|---|---|
| zadacha | 20 |
Скрыто выведенных фактов: 0. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.
Граф доказательств
Узлы доказательств: 5 · assertion 1, rule_application 3, query_evaluation 1
assertion · urn:proof:assert:urn:mcp:case#fact-1
- attributes
- assertion
- fact-1
- conclusion
- Аргументы
- Идентификатор
- zadacha
- Тип
- entity_ref
- Тип
- value
- type
- name
- Quantity
- Единица срока
- km_per_h
- value
- 72
- Тип
- literal
- Знак
- positive
- Условие
- perevesti_v_m_s
- evidence
- —
- Идентификатор
- fact-1
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- zadacha
- Тип
- entity_ref
- Тип
- value
- type
- name
- Decimal
- value
- 72
- Тип
- literal
- Знак
- positive
- Условие
- chislovoe_znachenie_skorosti_km_h
- evidence
- —
- Идентификатор
- cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8
- Тип
- rule_application
- Посылки
- fact-1
- Правило
- ChislovoeZnachenieSkorostiKmH
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- zadacha
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Quantity
- Единица срока
- km_per_h
- value
- 72
rule_application · urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- zadacha
- Тип
- entity_ref
- Тип
- value
- type
- name
- Quantity
- Единица срока
- m_per_s
- value
- 20
- Тип
- literal
- Знак
- positive
- Условие
- skorost_perevedena_v_m_s
- evidence
- —
- Идентификатор
- 6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a
- Тип
- rule_application
- Посылки
- cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8
- fact-1
- Правило
- PerevodVMetrySekundu
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- zadacha
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Quantity
- Единица срока
- km_per_h
- value
- 72
- v2
- Тип
- value
- type
- name
- Decimal
- value
- 72
rule_application · urn:proof:apply:OtvetPerevodVMs:8db08e1cabb24eb8f95968367d2d80a0a7d5475c48628d28e4c5001e29104959
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- zadacha
- Тип
- entity_ref
- Тип
- value
- type
- name
- Quantity
- Единица срока
- m_per_s
- value
- 20
- Тип
- literal
- Знак
- positive
- Условие
- vychislennyy_otvet
- evidence
- —
- Идентификатор
- 8db08e1cabb24eb8f95968367d2d80a0a7d5475c48628d28e4c5001e29104959
- Тип
- rule_application
- Посылки
- 6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a
- Правило
- OtvetPerevodVMs
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- zadacha
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Quantity
- Единица срока
- m_per_s
- value
- 20
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- literal
- Аргументы
- Идентификатор
- zadacha
- Тип
- entity_ref
- Тип
- value
- type
- name
- Quantity
- Единица срока
- m_per_s
- value
- 20
- Тип
- literal
- Знак
- positive
- Условие
- skorost_perevedena_v_m_s
- truthStatus
- Установлено
- evidence
- —
- Идентификатор
- mcp
- Тип
- query_evaluation
- Посылки
- 6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a
- sourceAnchors
- —
Идентификаторы календаря и доказательства
- Ссылка на доказательство
- mcp
Исходное обоснование · JSON
{
"derived": [
"chislovoe_znachenie_skorosti_km_h(urn:case:phys:zadacha, 72)",
"skorost_perevedena_v_m_s(urn:case:phys:zadacha, 20)",
"vychislennyy_otvet(urn:case:phys:zadacha, 20)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "km_per_h",
"value": "72"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#perevesti_v_m_s"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Decimal"
},
"value": "72"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h"
},
"evidence": [],
"id": "urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "km_per_h",
"value": "72"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "m_per_s",
"value": "20"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
},
"evidence": [],
"id": "urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a",
"kind": "rule_application",
"premises": [
"urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8",
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:phys:clir:zadachnik#PerevodVMetrySekundu",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "km_per_h",
"value": "72"
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Decimal"
},
"value": "72"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "m_per_s",
"value": "20"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#vychislennyy_otvet"
},
"evidence": [],
"id": "urn:proof:apply:OtvetPerevodVMs:8db08e1cabb24eb8f95968367d2d80a0a7d5475c48628d28e4c5001e29104959",
"kind": "rule_application",
"premises": [
"urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a"
],
"rule": "urn:phys:clir:zadachnik#OtvetPerevodVMs",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "m_per_s",
"value": "20"
}
}
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "m_per_s",
"value": "20"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:8a580f27021e75a700a56a68dbc39cd1ef055392d2af80f474a391404c537ee1",
"roots": [
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:7f12b8a13ec03fb24ea8da83295ba9a479e7179b3182889e193840b792b6a3a3",
"schemaVersion": "law.core.evaluation/0.1"
},
"proofRef": "urn:proof:query:mcp",
"rulesApplied": [
"urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH",
"urn:phys:clir:zadachnik#OtvetPerevodVMs",
"urn:phys:clir:zadachnik#PerevodVMetrySekundu"
]
}ИсточникиФрагментов: 2
Статья 13
Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1
Статья 13. Проверка ответа Ответ ученика верен, когда он равен вычисленному по настоящему задачнику ответу той же задачи в той же единице. Ответ, расходящийся с вычисленным, объявляется расхождением с указанием обоих значений. Ответ в другой единице ответом не является, пока не переведён по статье 3: сравнение величин разных единиц несопоставимо по статье 2. Задача 13.1. К задаче 4.1 ученик дал ответ 300 m. Верен ли он? Ответ: верен. Задача 13.2. К задаче 4.1 ученик дал ответ 250 m. Верен ли он? Ответ: неверен — расхождение с вычисленным путём 300 m.
Исходные данные · JSON
{
"contentHash": "sha256:7814519c9e1b1881e0f1bb88fc4c2c816b23743418bb7263f3066ccdda49dc8e",
"edition": "urn:phys:clir:zadachnik#PHYS_RU",
"fragmentKind": "article",
"id": "urn:phys:clir:zadachnik#PHYS_ART13",
"kind": "fragment",
"locator": "article/13",
"package": "urn:phys:clir:zadachnik",
"texts": [
{
"contentHash": "sha256:b19fc66543ae07fbde5b0bf06ed10f49e6cdcc2956595878ae366b0be62b7148",
"language": "ru",
"status": "official",
"text": "Статья 13. Проверка ответа\n\nОтвет ученика верен, когда он равен вычисленному по настоящему задачнику\nответу той же задачи в той же единице. Ответ, расходящийся с вычисленным,\nобъявляется расхождением с указанием обоих значений. Ответ в другой единице\nответом не является, пока не переведён по статье 3: сравнение величин разных\nединиц несопоставимо по статье 2.\n\nЗадача 13.1. К задаче 4.1 ученик дал ответ 300 m. Верен ли он? Ответ: верен.\n\nЗадача 13.2. К задаче 4.1 ученик дал ответ 250 m. Верен ли он? Ответ:\nневерен — расхождение с вычисленным путём 300 m."
}
]
}Статья 3
Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1
Статья 3. Перевод единиц скорости Числовое значение скорости в метрах в секунду равно числовому значению той же скорости в километрах в час, умноженному на пять восемнадцатых. Обратный перевод — умножением на восемнадцать пятых. Оба фактора точны: восемнадцать пятых равно трём целым шести десятым, и школьная запись «раздели на 3,6» есть запись того же точного фактора. Перевод есть действие над числовым значением, а не над величиной. Деление самой величины на три целых шесть десятых даёт величину той же единицы, уменьшенную в три целых шесть десятых раза, — например, двадцать километров в час, — а не ту же скорость в других единицах; такая запись переводом не является и ошибочна. Задача 3.1. Скорость автомобиля 72 km_per_h. Выразить в метрах в секунду. Ответ: 20 m_per_s. Задача 3.2. Скорость велосипедиста 15 m_per_s. Выразить в километрах в час. Ответ: 54 km_per_h. Задача 3.3. Ученик разделил величину 72 km_per_h на 3,6 и получил двадцать. Перевёл ли он скорость в метры в секунду? Ответ: нет — он получил величину 20 km_per_h, то есть скорость в пять раз меньшую исходной и в прежней единице; числовое значение совпало с верным ответом задачи 3.1 случайно. РАЗДЕЛ II. ЗАКОНЫ И ОПРЕДЕЛЕНИЯ
Исходные данные · JSON
{
"contentHash": "sha256:5dcded398fe9c44311987a0058af627372fee44601f300a5e26863390ab25fee",
"edition": "urn:phys:clir:zadachnik#PHYS_RU",
"fragmentKind": "article",
"id": "urn:phys:clir:zadachnik#PHYS_ART3",
"kind": "fragment",
"locator": "article/3",
"package": "urn:phys:clir:zadachnik",
"texts": [
{
"contentHash": "sha256:fc60b0f59653b5aae4bb7d4275f1baae090bd66765e4b614a8818af4c25f9920",
"language": "ru",
"status": "official",
"text": "Статья 3. Перевод единиц скорости\n\nЧисловое значение скорости в метрах в секунду равно числовому значению той\nже скорости в километрах в час, умноженному на пять восемнадцатых. Обратный\nперевод — умножением на восемнадцать пятых. Оба фактора точны: восемнадцать\nпятых равно трём целым шести десятым, и школьная запись «раздели на 3,6»\nесть запись того же точного фактора.\n\nПеревод есть действие над числовым значением, а не над величиной. Деление\nсамой величины на три целых шесть десятых даёт величину той же единицы,\nуменьшенную в три целых шесть десятых раза, — например, двадцать километров\nв час, — а не ту же скорость в других единицах; такая запись переводом не\nявляется и ошибочна.\n\nЗадача 3.1. Скорость автомобиля 72 km_per_h. Выразить в метрах в секунду.\nОтвет: 20 m_per_s.\n\nЗадача 3.2. Скорость велосипедиста 15 m_per_s. Выразить в километрах в час.\nОтвет: 54 km_per_h.\n\nЗадача 3.3. Ученик разделил величину 72 km_per_h на 3,6 и получил двадцать.\nПеревёл ли он скорость в метры в секунду? Ответ: нет — он получил величину\n20 km_per_h, то есть скорость в пять раз меньшую исходной и в прежней\nединице; числовое значение совпало с верным ответом задачи 3.1 случайно.\n\nРАЗДЕЛ II. ЗАКОНЫ И ОПРЕДЕЛЕНИЯ"
}
]
}Пакеты в снимке
- Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1
- units-si
Технические данныеПолный ответ, параметры и контрольные суммы
- Статус расчёта
- COMPUTED
Полный ответ движка
skorost_perevedena_v_m_s: TRUE_ONLY — установлено
Выведено правом: chislovoe_znachenie_skorosti_km_h(urn:case:phys:zadacha, 72); skorost_perevedena_v_m_s(urn:case:phys:zadacha, 20); vychislennyy_otvet(urn:case:phys:zadacha, 20)
Применены правила: ChislovoeZnachenieSkorostiKmH, OtvetPerevodVMs, PerevodVMetrySekundu
Право (вне юрисдикции государства): Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — доктрина — EXECUTABLE 12 §33.1 (programHash sha256:715ed827c27c…)
Вместе с актами: units-si
proof-граф: 5 узлов — поле evaluation готово для law_explain
Полный машинный результат · JSON
{
"answer": {
"evaluationStatus": "COMPUTED",
"kind": "TRUTH",
"meaning": "установлено",
"missingInputs": [],
"truthStatus": "TRUE_ONLY"
},
"closedEditionRules": [],
"derived": [
"chislovoe_znachenie_skorosti_km_h(urn:case:phys:zadacha, 72)",
"skorost_perevedena_v_m_s(urn:case:phys:zadacha, 20)",
"vychislennyy_otvet(urn:case:phys:zadacha, 20)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "km_per_h",
"value": "72"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#perevesti_v_m_s"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Decimal"
},
"value": "72"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h"
},
"evidence": [],
"id": "urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "km_per_h",
"value": "72"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "m_per_s",
"value": "20"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
},
"evidence": [],
"id": "urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a",
"kind": "rule_application",
"premises": [
"urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8",
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:phys:clir:zadachnik#PerevodVMetrySekundu",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "km_per_h",
"value": "72"
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Decimal"
},
"value": "72"
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "m_per_s",
"value": "20"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#vychislennyy_otvet"
},
"evidence": [],
"id": "urn:proof:apply:OtvetPerevodVMs:8db08e1cabb24eb8f95968367d2d80a0a7d5475c48628d28e4c5001e29104959",
"kind": "rule_application",
"premises": [
"urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a"
],
"rule": "urn:phys:clir:zadachnik#OtvetPerevodVMs",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "m_per_s",
"value": "20"
}
}
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "m_per_s",
"value": "20"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:8a580f27021e75a700a56a68dbc39cd1ef055392d2af80f474a391404c537ee1",
"roots": [
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:7f12b8a13ec03fb24ea8da83295ba9a479e7179b3182889e193840b792b6a3a3",
"schemaVersion": "law.core.evaluation/0.1"
},
"evaluationStatus": "COMPUTED",
"issues": [],
"judgmentRequests": [],
"proofRef": "urn:proof:query:mcp",
"provenance": {
"acts": [
{
"contributed": true,
"fragmentCount": 12,
"fragments": [
"urn:phys:clir:zadachnik#PHYS_ART13",
"urn:phys:clir:zadachnik#PHYS_ART3"
],
"jurisdiction": "none",
"namespace": "urn:phys:clir:zadachnik",
"package": "phys-zadachnik",
"title": "Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1"
},
{
"contributed": false,
"fragmentCount": 0,
"fragments": [],
"jurisdiction": null,
"namespace": "urn:law:units:si",
"package": "units-si",
"title": "units-si"
}
],
"caseHash": "sha256:1b7a880d634f42929032d8e656dc4e808c08b59a21612e3b821e6aa5ced9a684",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "вне юрисдикции государства",
"legalTime": "2026-09-06",
"mode": "audit",
"programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633",
"resultHash": "sha256:7f12b8a13ec03fb24ea8da83295ba9a479e7179b3182889e193840b792b6a3a3",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
},
"rulesApplied": [
"urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH",
"urn:phys:clir:zadachnik#OtvetPerevodVMs",
"urn:phys:clir:zadachnik#PerevodVMetrySekundu"
],
"signature": {
"constants": {},
"parameters": [
{
"labels": [],
"name": "z",
"type": {
"name": "urn:phys:clir:zadachnik#Zadacha"
}
},
{
"labels": [],
"name": "v",
"type": {
"name": "urn:law:std#Quantity"
}
}
],
"predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s",
"schemaVersion": "law.answers.signature/0.1",
"types": {
"urn:law:std#Quantity": {
"kind": "std"
},
"urn:phys:clir:zadachnik#Zadacha": {
"kind": "entity",
"labels": [
{
"language": "ru",
"status": "unofficial",
"text": "задача задачника: единица решебника, к которой отнесены данные и ответ"
}
],
"namespace": "urn:phys:clir:zadachnik",
"package": "phys.zadachnik"
}
},
"vocab": {}
},
"vulnerableTo": [],
"whyNot": []
}Исполнение · JSON
{
"evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:1b7a880d634f42929032d8e656dc4e808c08b59a21612e3b821e6aa5ced9a684\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:00a0b0a4adf678ca6b7dc5f511613fe779bb46b626b0851ad7540a87e18abbcf\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"km_per_h\",\"value\":\"72\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#perevesti_v_m_s\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Decimal\"},\"value\":\"72\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h\"},\"evidence\":[],\"id\":\"urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"km_per_h\",\"value\":\"72\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"20\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#skorost_perevedena_v_m_s\"},\"evidence\":[],\"id\":\"urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8\",\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:phys:clir:zadachnik#PerevodVMetrySekundu\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"km_per_h\",\"value\":\"72\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Decimal\"},\"value\":\"72\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"20\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#vychislennyy_otvet\"},\"evidence\":[],\"id\":\"urn:proof:apply:OtvetPerevodVMs:8db08e1cabb24eb8f95968367d2d80a0a7d5475c48628d28e4c5001e29104959\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a\"],\"rule\":\"urn:phys:clir:zadachnik#OtvetPerevodVMs\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"20\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"20\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#skorost_perevedena_v_m_s\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:8a580f27021e75a700a56a68dbc39cd1ef055392d2af80f474a391404c537ee1\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:7f12b8a13ec03fb24ea8da83295ba9a479e7179b3182889e193840b792b6a3a3\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:phys:clir:zadachnik#skorost_perevedena_v_m_s\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}",
"evaluationSha256": "sha256:6ecb8fa461a0fb06a59c12d2c15ea46b281d641b701ab0426c4859db1fa7c51f",
"request": {
"case": {
"assertions": [
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-1",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "km_per_h",
"value": "72"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#perevesti_v_m_s"
},
"origin": "case_input",
"package": "urn:phys:clir:zadachnik"
}
],
"context": {
"decisionTime": "2026-09-06T12:00:00+05:00",
"knowledgeTime": "2026-09-06T12:00:00+05:00",
"legalTime": "2026-09-06",
"timezone": "Asia/Qyzylorda"
},
"options": {
"selectedInterpretations": []
}
},
"ir": {
"irSha256": "sha256:15dee3a5312c1b7b196d2e681128156ae379871acc86b66406906c2f55fa0f19",
"kind": "world_ref",
"nodeCount": 503,
"packages": [
{
"artifactHash": "sha256:21686faaa1467b817015bf5fc09aafe8ebe64a15c6b16e6862bea7257e68cb52",
"namespace": "urn:phys:clir:zadachnik",
"package": "phys-zadachnik",
"semanticHash": "sha256:0769ec4270dd2bf1bca8cff6744dfc872f04907ac3f46130d5f3043b8a1c5889"
},
{
"artifactHash": "sha256:3b33d25347892dc1711d98e876c75dd0d81212b1a360578d16b430b29ea8021c",
"namespace": "urn:law:units:si",
"package": "units-si",
"semanticHash": "sha256:357bcf490815695e09523fdb8e181efe6f6514fe77bfd9cfa582dc75b7c54254"
}
],
"programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633"
},
"query": {
"kind": "truth",
"literal": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "m_per_s",
"value": "20"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
},
"queryId": "urn:query:mcp"
},
"schemaVersion": "law.core.evaluation-request/0.2",
"semanticVersion": "0.1.0"
},
"requestCanonicalSha256": "sha256:6dde8e8b18de0cbe425082debac7aa37bcdece41e92f96cc34b917c1f8cf12cb"
}Метаданные отображения
{
"schemaVersion": "law.answers.presentation/0.1",
"source": {
"requestCanonicalSha256": "sha256:6dde8e8b18de0cbe425082debac7aa37bcdece41e92f96cc34b917c1f8cf12cb"
},
"steps": [
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "km_per_h",
"value": "72"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#perevesti_v_m_s"
},
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"conclusion": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Decimal"
},
"value": "72"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h"
},
"head": {
"args": [
{
"kind": "var",
"var": "v0"
},
{
"kind": "binary",
"left": {
"kind": "var",
"var": "v1"
},
"op": "div",
"right": {
"id": "urn:phys:clir:zadachnik#KmVChasEtalon",
"kind": "const_ref"
}
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h"
},
"id": "urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8",
"kind": "rule_application",
"originStatus": "available",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH",
"sourceAnchors": [
"urn:phys:clir:zadachnik#PHYS_ART3"
],
"strength": "strict",
"substitution": {
"v0": {
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "km_per_h",
"value": "72"
}
},
"trust": "engine",
"variables": [
{
"id": "v0",
"type": {
"name": "urn:phys:clir:zadachnik#Zadacha"
}
},
{
"id": "v1",
"type": {
"name": "urn:law:std#Quantity"
}
}
]
},
{
"conclusion": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "m_per_s",
"value": "20"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
},
"head": {
"args": [
{
"kind": "var",
"var": "v0"
},
{
"args": [
{
"args": [
{
"args": [
{
"kind": "var",
"var": "v1"
}
],
"function": "urn:law:std#magnitude",
"kind": "call"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Text"
},
"value": "m_per_s"
}
],
"function": "urn:law:std#unit_convert",
"kind": "call"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Text"
},
"value": "m_per_s"
}
],
"function": "urn:law:std#quantity_of",
"kind": "call"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
},
"id": "urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a",
"kind": "rule_application",
"originStatus": "available",
"premises": [
"urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8",
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:phys:clir:zadachnik#PerevodVMetrySekundu",
"sourceAnchors": [
"urn:phys:clir:zadachnik#PHYS_ART3"
],
"strength": "strict",
"substitution": {
"v0": {
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "km_per_h",
"value": "72"
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Decimal"
},
"value": "72"
}
},
"trust": "engine",
"variables": [
{
"id": "v0",
"type": {
"name": "urn:phys:clir:zadachnik#Zadacha"
}
},
{
"id": "v1",
"type": {
"name": "urn:law:std#Quantity"
}
},
{
"id": "v2",
"type": {
"name": "urn:law:std#Decimal"
}
}
]
},
{
"conclusion": {
"literal": {
"args": [
{
"id": "urn:case:phys:zadacha",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "m_per_s",
"value": "20"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
},
"truthStatus": "TRUE_ONLY"
},
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"originStatus": "available",
"premises": [
"urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a"
],
"trust": "engine"
}
],
"symbols": [
{
"id": "urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH",
"kind": "rule",
"labels": [
{
"language": "ru",
"status": "unofficial",
"text": "Ст. 3. Числовое значение поданной скорости в километрах в час есть отношение величины к эталону километра в час"
}
],
"package": "urn:phys:clir:zadachnik",
"strength": "strict"
},
{
"id": "urn:phys:clir:zadachnik#KmVChasEtalon",
"kind": "symbol_decl",
"labels": [
{
"language": "ru",
"status": "unofficial",
"text": "эталон километра в час: входная проверка единицы перевода (ст. 2-3)"
}
],
"name": "KmVChasEtalon",
"package": "urn:phys:clir:zadachnik",
"parameters": [],
"symbolKind": "constant",
"value": {
"kind": "value",
"type": {
"name": "urn:law:std#Quantity"
},
"unit": "km_per_h",
"value": "1"
}
},
{
"id": "urn:phys:clir:zadachnik#OtvetPerevodVMs",
"kind": "rule",
"labels": [
{
"language": "ru",
"status": "unofficial",
"text": "Ст. 13. Скорость, переведённая в метры в секунду, — вычисленный ответ задачи о переводе"
}
],
"package": "urn:phys:clir:zadachnik",
"strength": "strict"
},
{
"id": "urn:phys:clir:zadachnik#PerevodVMetrySekundu",
"kind": "rule",
"labels": [
{
"language": "ru",
"status": "unofficial",
"text": "Ст. 3. Скорость в метрах в секунду есть перевод поданной скорости: точный фактор пять восемнадцатых вычисляется из объявлений единиц"
}
],
"package": "urn:phys:clir:zadachnik",
"strength": "strict"
},
{
"id": "urn:phys:clir:zadachnik#Zadacha",
"kind": "type_decl",
"labels": [
{
"language": "ru",
"status": "unofficial",
"text": "задача задачника: единица решебника, к которой отнесены данные и ответ"
}
],
"name": "Zadacha",
"package": "urn:phys:clir:zadachnik"
},
{
"id": "urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h",
"kind": "symbol_decl",
"labels": [
{
"language": "ru",
"status": "unofficial",
"text": "числовое значение поданной скорости в километрах в час: отношение величины к эталону (ст. 2-3)"
}
],
"name": "chislovoe_znachenie_skorosti_km_h",
"package": "urn:phys:clir:zadachnik",
"parameters": [
{
"id": "urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h/arg/z",
"labels": [],
"name": "z",
"type": {
"name": "urn:phys:clir:zadachnik#Zadacha"
}
},
{
"id": "urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h/arg/n",
"labels": [],
"name": "n",
"type": {
"name": "urn:law:std#Decimal"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:phys:clir:zadachnik#perevesti_v_m_s",
"kind": "symbol_decl",
"labels": [
{
"language": "ru",
"status": "unofficial",
"text": "дано: скорость в километрах в час, которую требуется выразить в метрах в секунду"
}
],
"name": "perevesti_v_m_s",
"package": "urn:phys:clir:zadachnik",
"parameters": [
{
"id": "urn:phys:clir:zadachnik#perevesti_v_m_s/arg/z",
"labels": [],
"name": "z",
"type": {
"name": "urn:phys:clir:zadachnik#Zadacha"
}
},
{
"id": "urn:phys:clir:zadachnik#perevesti_v_m_s/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:law:std#Quantity"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s",
"kind": "symbol_decl",
"labels": [
{
"language": "ru",
"status": "unofficial",
"text": "скорость, выраженная в метрах в секунду переводом ст. 3"
}
],
"name": "skorost_perevedena_v_m_s",
"package": "urn:phys:clir:zadachnik",
"parameters": [
{
"id": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s/arg/z",
"labels": [],
"name": "z",
"type": {
"name": "urn:phys:clir:zadachnik#Zadacha"
}
},
{
"id": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:law:std#Quantity"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:phys:clir:zadachnik#vychislennyy_otvet",
"kind": "symbol_decl",
"labels": [
{
"language": "ru",
"status": "unofficial",
"text": "ответ задачи, вычисленный по настоящему задачнику (ст. 13)"
}
],
"name": "vychislennyy_otvet",
"package": "urn:phys:clir:zadachnik",
"parameters": [
{
"id": "urn:phys:clir:zadachnik#vychislennyy_otvet/arg/z",
"labels": [],
"name": "z",
"type": {
"name": "urn:phys:clir:zadachnik#Zadacha"
}
},
{
"id": "urn:phys:clir:zadachnik#vychislennyy_otvet/arg/x",
"labels": [],
"name": "x",
"type": {
"name": "urn:law:std#Quantity"
}
}
],
"symbolKind": "relation"
}
],
"tables": []
}JSON · расчёты, источники и точные данные
{
"acts": [
{
"contributed": true,
"fragmentCount": 12,
"fragments": [
"urn:phys:clir:zadachnik#PHYS_ART13",
"urn:phys:clir:zadachnik#PHYS_ART3"
],
"jurisdiction": "none",
"namespace": "urn:phys:clir:zadachnik",
"package": "phys-zadachnik",
"title": "Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1"
},
{
"contributed": false,
"fragmentCount": 0,
"fragments": [],
"jurisdiction": null,
"namespace": "urn:law:units:si",
"package": "units-si",
"title": "units-si"
}
],
"caseHash": "sha256:1b7a880d634f42929032d8e656dc4e808c08b59a21612e3b821e6aa5ced9a684",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "вне юрисдикции государства",
"legalTime": "2026-09-06",
"mode": "audit",
"programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633",
"resultHash": "sha256:7f12b8a13ec03fb24ea8da83295ba9a479e7179b3182889e193840b792b6a3a3",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
}- evaluation SHA-256
- sha256:6ecb8fa461a0fb06a59c12d2c15ea46b281d641b701ab0426c4859db1fa7c51f
Исходные данные · JSON
{
"args": [
"urn:case:phys:zadacha",
"20 m_per_s"
],
"facts": [
{
"args": [
"urn:case:phys:zadacha",
"72 km_per_h"
],
"predicate": "perevesti_v_m_s"
}
],
"kind": "truth",
"legalTime": "2026-09-06",
"package": "phys-zadachnik",
"predicate": "skorost_perevedena_v_m_s",
"proof": true
}