doctrine, not an act of authority

doctrine

• aba.dtt_protocolПротокол дискретных проб DTT — авторское методологическое изложение
• aba.equivalence_instructionОбучение на основе эквивалентности стимулов и matrix training — авторское методологическое изложение
• aba.fct_thinningОбучение функциональной коммуникации и разрежение расписания FCT — авторское методологическое изложение
• aba.functional_analysisФункциональный анализ поведения FA: полный и краткий анализ — авторское методологическое изложение
• aba.mchatModified Checklist for Autism in Toddlers, Revised, with Follow-Up (M-CHAT-R/F)
• aba.milestones_cdcCDC's Developmental Milestones — Learn the Signs. Act Early.
• aba.ncrНеконтингентное подкрепление NCR — авторское методологическое изложение
• aba.pbis_tiersУровни поддержки PBIS и инвентарь точности реализации TFI — авторский структурный индекс двух редакций
• aba.pecsПоследовательность этапов PECS как автомат: авторское методологическое изложение
• aba.program_evidenceДоказательность программы обучения: качество данных, покрытие целей и временная динамика — авторское методологическое изложение
• aba.repertoireРепертуар карточек и навыков обучающегося: авторское методологическое изложение
• aba.setting_eventsУстановочные события и правила дня — авторское методологическое изложение
• aba.skill_vocabularyСловарь навыков и записей обучающей программы: авторское методологическое изложение
• algo.arithmeticШкольная арифметика: сложение, вычитание, умножение и деление столбиком, дроби и перевод между системами счисления — описания двенадцати алгоритмов
• algo.automataАвтоматы и формальные языки: снятие ε-переходов, детерминизация подмножествами, минимизация Хопкрофта, построение Томпсона и устранение состояний — описания пяти алгоритмов
• algo.compressionСжатие и кодирование: RLE, Хаффман, LZ77, LZW, кодирование и исправление одиночной ошибки кодом Хэмминга (7,4) — описания шести алгоритмов
• algo.descriptionСловарь описания алгоритма: задача, шаги, переходы, основания, завершение, стоимость, варианты, понятия и источники
• algo.dynamic_programmingДинамическое программирование: рюкзак 0/1, наибольшая общая подпоследовательность, расстояние Левенштейна и порядок перемножения цепочки матриц — описания четырёх алгоритмов
• algo.geometryВычислительная геометрия: пересечение отрезков, точка в многоугольнике методом луча, выпуклая оболочка Грэхема и Эндрю — описания четырёх алгоритмов
• algo.graph_pathsПути и сети: Дейкстра, Беллман — Форд, Флойд — Уоршелл, A*, остовные деревья Прима и Краскала, потоки Эдмондса — Карпа и Диница — описания восьми алгоритмов
• algo.graph_traversalОбходы и структура графа: BFS, DFS, компоненты связности, топологическая сортировка методом Кана и через DFS, сильно связные компоненты Косарайю и Тарьяна — описания семи алгоритмов
• algo.linear_algebraЛинейная алгебра: исключение Гаусса, метод Гаусса — Жордана, LU с выбором ведущего элемента, QR отражениями Хаусхолдера и обычное умножение матриц — описания пяти алгоритмов
• algo.number_theoryТеория чисел: алгоритм Евклида и расширенный, решето Эратосфена, быстрое возведение в степень и его модульный вариант — описания пяти алгоритмов
• algo.numericalЧисленные методы: деление отрезка пополам, метод Ньютона, составные трапеции и Симпсон, явный метод Эйлера и классический метод Рунге — Кутты — описания шести методов
• algo.polynomialsМногочлены: схема Горнера, деление с остатком, наибольший общий делитель, расширенный алгоритм Евклида, обычное умножение и метод Карацубы — описания шести алгоритмов
• algo.searchПоиск в последовательности: линейный, двоичный, интерполяционный и две границы диапазона равных элементов — описания пяти алгоритмов
• algo.sortingСортировки: вставками, выбором, слиянием, быстрая, пирамидальная, подсчётом и поразрядная — описания семи алгоритмов
• algo.stringsСтроковые алгоритмы: наивный поиск, Кнут — Моррис — Пратт, Z-функция, Рабин — Карп и Ахо — Корасик — описания пяти алгоритмов
• algo.treesОперации над деревьями: двоичное дерево поиска, повороты и баланс AVL, B-дерево и дерево отрезков — описания одиннадцати операций
• arxo.bsdКомпозиция набора «Birch and Swinnerton-Dyer»: совместная карточка, обзор установленных результатов, согласие рангов только при равенстве, ни одного established_* для базовой или уточнённой формулировки
• arxo.computational_complexityСловарь вычислительной сложности: язык/задача/машина Тьюринга/сертификат, классы P и NP, сведения Karp и Cook, NP-трудность и NP-полнота из обоих оснований
• arxo.divisibilityДелимость: носитель с ассоциативной операцией, полугруппа и моноид, отношение «делит»; авторский контракт интерпретации
• arxo.elliptic_curvesСловарь эллиптических кривых: модель Вейерштрасса, дискриминант (вычисляемый), принадлежность точки кривой, групповой закон (явная формула, верифицируемая), четыре раздельных отношения ранга
• arxo.fibo_taxonomyЗамыкание таксономии FIBO: подклассы, области и значения свойств
• arxo.gauge_theoryArxo: предметный словарь калибровочных теорий и конечных спектральных операторов для программы Yang-Mills existence and mass gap — GaugeGroup/Spacetime/LatticeSize/Connection/TheoryCandidate/Hamiltonian/SpectralOperator/EnergyLevel, classical_theory_defined раздельно от quantum_theory_exists, finite_lattice/continuum_limit/infinite_volume_limit раздельно, satisfies_qft_axioms из шести фактов, positive_mass_gap раздельно от finite_operator_gap_established
• arxo.hodgeКомпозиция набора «Hodge conjecture»: совместная карточка версий CMI, обзор established-результатов, ни одного established_* для общей рациональной формулировки
• arxo.hodge_structuresArxo: предметный словарь классов Ходжа для программы Hodge conjecture — Variety/CoefficientField/CohomologyDegree/Codimension/HodgeClass/AlgebraicCycle/CycleClassImage, hodge_conjecture_holds_for (вычисляемое из шести раздельных оснований разом)
• arxo.incompressible_flowsArxo: предметный словарь несжимаемых течений для программы Navier-Stokes — Dimension/Domain/BoundaryCondition/InitialData/ExternalForce/Viscosity/VelocityField/PressureField/FlowProblem, is_wellposed_setup (вычисляемое), пять раздельных классов решений, глобальное существование как композиция
• arxo.integer_divisibilityЦелочисленное прочтение делимости: остаток по модулю выводит divides контракта
• arxo.jurisdiction_alignmentСопоставления Wikidata и словарей юрисдикции: валюта, регион, страна, суд
• arxo.math_claimsСловарь математических утверждений: claim, источник, доказательство, свидетельство, область применимости, статус и условное следствие
• arxo.metamath_dependenciesЗависимости доказательств Metamath: depends_on транзитивно и uses_axiom
• arxo.millenniumКомпозиция 7/7 программы Millennium Prize Problems (DECISION-0280): свод всех семи проблем (шесть предметных пакетов + существующий RH) через общий словарь arxo.math_claims, без изменения ни одного из семи пакетов и без обобщения cmi.millennium_rules
• arxo.navier_stokesКомпозиция набора «Navier-Stokes»: совместная карточка четырёх постановок CMI, обзор weak/regularity, ни одного established_* для A/B/C/D
• arxo.orderПорядок: общий носитель, принадлежность, строгие и нестрогие отношения; авторский контракт интерпретации
• arxo.order_compositionСовместная поддержка цепочки порядка правилами Lean и Isabelle
• arxo.p_vs_npКомпозиция набора «P vs NP»: совместная карточка, обзор установленных результатов, ни одного established_* для самой открытой формулировки
• arxo.physics_alignmentСопоставления Wikidata и QUDT: проверенный перенос размерности
• arxo.poincareКомпозиция набора «Poincare conjecture»: poincare_conjecture_established из ЧЕТЫРЁХ оснований разом (Hamilton + три работы Перельмана), применение теоремы к предъявленному многообразию, proof_assistant_verified объявлено и никогда не устанавливается
• arxo.provision_protocolКонтракт предоставления права Arxo: текст, модель, проверка, авторизация, выпуск, сопровождение, исполнение
• arxo.quantity_orderПоказания в разных единицах: совместный вывод Wikidata, QUDT, Lean и Isabelle
• arxo.riemann_hypothesisКомпозиция набора «Гипотеза Римана»: совместная карточка, основание эквивалентности формулировок, условный сценарий с явным допущением
• arxo.three_manifoldsArxo: предметный словарь трёхмерных многообразий и симплициальных гомологий для программы Poincare conjecture — Manifold/SimplicialComplex/Chain/Boundary/Cycle/HomologyClass/CoefficientField, is_simply_connected раздельно от homology_group_trivial, homology_sphere раздельно от homeomorphic_to_sphere
• arxo.world_protocolОперационный контракт мира Arxo: снимок, предложение, разрешение, резервирование, попытка, квитанция
• arxo.yang_millsArxo: композиция набора Yang-Mills existence and mass gap — existence и mass gap раздельно, existence требует всех условий CMI разом (простая компактная группа, R^4, континуальный предел, бесконечный объём, satisfies_qft_axioms), Wilson lattice даёт только конечную решётку, OS — условный мост, финальный сертификат конечной матрицы никогда не доказывает щель континуальной теории
• arxo.zetaСловарь дзета-функции Римана: нетривиальный нуль, критическая полоса и прямая, две несмешиваемые формы заявленной проверки
• atiyah_hirzebruch.integral_counterexample_1962Atiyah-Hirzebruch (1962): the Hodge conjecture cannot hold integrally -- established_by_source for cmi.hodge::IntegralHodgeFailsClaim (the naive integral analogue), NOT for the rational main claim nor for the restricted (still open) integral variant
• baker_gill_solovay.relativization_1975Baker, Gill, Solovay (1975): relativization barrier — oracles A, B with P^A=NP^A and P^B!=NP^B, a limit on the class of relativizing proof methods
• bio.aboABO/Rh и X-сцепленная гемофилия: авторское учебное изложение
• bio.codonThe Genetic Codes
• bio.darwin.origin_1859On the Origin of Species by Means of Natural Selection, or the Preservation of Favoured Races in the Struggle for Life
• bio.mendelVersuche über Pflanzen-Hybriden
• cardio.cha2ds2_vascCHA2DS2-VASc: сумма баллов факторов риска тромбоэмболий при фибрилляции предсердий; неполные данные отличимы от нуля
• cardio.compare_kzСопоставление российской клинической рекомендации и казахстанского клинического протокола по артериальной гипертензии на общих входных данных: где ответы расходятся и каким фрагментом каждого источника
• cardio.has_bledHAS-BLED: сумма баллов риска крупных кровотечений при фибрилляции предсердий; модифицируемые факторы отдельно; неполные данные отличимы от нуля
• cardio.planФасад cardio.*: сохранённые вопросы над рекомендацией по фибрилляции предсердий и инструкцией апиксабана; расхождение источников — вопрос врачу, а не гашение одного источника другим
• chem.acid_baseКислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис
• chem.acid_strengthСила кислоты, гидролиз солей и буфер по разделам 14.2–14.6 Chemistry 2e; растворитель измерения — вторая группа прочтений §155 с политикой any_of
• chem.rulesПравила общей химии с исключениями — поражаемый слой на учебной доктрине
• chem.stoichiometryМост стехиометрии: границы атомных весов CIAAW 2024 и состав частицы элементами таблицы переводятся во вход calc.stoichiometry — интервал молярной массы, баланс и выход по двум закреплённым источникам
• chem.zadachnikЗадачник по стехиометрии: единица ответа называется, округление — только по предъявленному правилу, ответ границами когда точного десятичного нет
• ckn.partial_regularity_1982Caffarelli-Kohn-Nirenberg (1982): partial regularity -- the singular set of a suitable weak solution has parabolic 1-dimensional Hausdorff measure zero, not full smoothness
• cmi.bsdThe Birch and Swinnerton-Dyer Conjecture
• cmi.hodgeThe Hodge Conjecture
• cmi.millennium_rulesMillennium Prize Description and Rules
• cmi.navier_stokesExistence and Smoothness of the Navier-Stokes Equation
• cmi.p_vs_npThe P versus NP Problem
• cmi.poincareThe Poincare Conjecture
• cmi.riemann_hypothesisProblems of the Millennium: the Riemann Hypothesis
• cmi.yang_millsQuantum Yang-Mills Theory
• compat.apparelОдежда по меркам: размер по сетке бренда, между размерами, детская одежда по росту
• compat.appliance_nicheВстроенная техника и ниша: габариты с зазорами вентиляции, сторона навеса двери, подключение
• compat.check«Подойдёт ли»: сохранённые вопросы семейства compat.*
• compat.connectorsРазъёмы и кабели: форма разъёма, версия протокола, мощность зарядки, батарейки и SIM
• compat.coreОбщая механика семейства «подойдёт ли»: ось исходов, доказанность, совпадение интерфейсов
• compat.footwearОбувь по длине стопы: размер по сетке бренда, системы EU-US-UK-JP как оценка
• compat.lampsЛампа и светильник: цоколь, напряжение, предельная мощность, диммируемость
• compat.mountsКрепления: схема отверстий телевизора и кронштейн, масса и нагрузка, мебель в дверной проём
• compat.pcСовместимость комплектующих персонального компьютера
• compat.plumbing_fittingsРезьбы и фитинги: BSP против NPT, DN и дюймы, шланги и гайки
• cook_levin.sat_np_complete_1971The Complexity of Theorem-Proving Procedures
• de.hilbert.grundlagenGrundlagen der Geometrie
• doctrine.acts_forПредставительство и делегирование как одна конструкция: словарь acts_for
• doctrine.conflict_of_lawsКоллизионный вопрос: нейтральный словарь применимого права для Рима I, Рима II и практики Суда Европейского союза
• doctrine.iura_humanaIura humana: bridge vocabulary of a claimed right, its permissible limitation, the remedy and the referral to an organ
• doctrine.ius_privatumПраво и иск как одна конструкция: мостовой словарь ius privatum для сравнения кодексов
• doctrine.method_bridgeМост метазнания: обоснованные связи между словарями метода, происхождения и понятий и метрологическим словарём VIM
• doctrine.notice_provenanceМост: происхождение извещения по W3C PROV как источник дня осведомлённости статьи 92 АППК РК
• doctrine.sanctionsСанкции: варианты, схемы выбора, меры и индивидуальное назначение
• doctrine.vote_methodsПеревод голосов в места и в победителя: словарь способов подсчёта
• el.dionysios.erminiaЕрминия Дионисия Фурноаграфиота: иконописная техника, сюжеты и размещение
• elec.acceptance_protocolПротокол приёмки электроустановки: измерения и акт READY/BLOCKED
• elec.diagnosticsNational Institute for Occupational Safety and Health — Electrical Safety in the Workplace
• elec.installationsЭлектроустановки: нейтральная прикладная онтология
• eng.einstein.electrodynamics_1905Zur Elektrodynamik bewegter Körper
• eng.hobbes.leviathanLeviathan, or the Matter, Forme, & Power of a Common-Wealth Ecclesiasticall and Civill
• eng.lorentz.electromagnetic_phenomena_1904Electromagnetic phenomena in a system moving with any velocity smaller than that of light
• eng.michelson_morley.ether_drift_1887On the Relative Motion of the Earth and the Luminiferous Ether
• env.airВоздух: концентрация против ПДК РК, градация Казгидромета и индекс EPA; расхождение индексов остаётся видимым
• env.avalancheЛавины: объявленный службой уровень опасности EAWS → совет о выходе в горы; своей оценки склона канон не делает
• env.coldХолод: предъявленное наблюдение против закреплённой таблицы ветро-холода, полоса риска и совет о времени на улице
• env.fire_dangerПожарная опасность в лесу: ряд наблюдений → комплексный показатель → класс общей шкалы → запрет посещения
• env.hazardsОпасные явления: наблюдение против критериев степеней опасности Казгидромета; действий при ЧС канон не предписывает
• env.heatЖара: индекс NWS по замеру или прогнозу, класс опасности и степень опасности Казгидромета; зона поправки с корнем объявлена вне модели
• env.iceЛёд: измеренная толщина против величин Правил безопасности на водоемах; запреты акта выводятся прямо
• env.planЧто сегодня можно и нельзя: фасад семьи env.* с названным каноном, родом доказательства и чек-листом недостающего
• env.seasonСезоны: купальный сезон по акту РК; порога отопительного сезона в закреплённых актах нет — объявленная граница
• env.uvУльтрафиолет: предъявленный индекс против шкалы ВОЗ, полоса защиты и совет о мерах
• eu.pil.jurisdictionsРеестр правопорядков коллизионного маршрута: государства, связанные Римом I и Римом II, территориальные единицы и третьи страны
• eu.pil.rome_benchmarkСтенд маршрута применимого права по Риму I и Риму II: дела, ожидания, счётчики и инварианты ответа
• eu.pil.routerМаршрутизатор применимого права по Риму I и Риму II: один вопрос — один терминальный статус
• faraid.sharesФараид — наследственный расчёт исламского права
• fibo.contractsFIBO и OMG Commons: закреплённые тройки договоров, соглашений и правоспособности
• fiqh.adhanبداية المجتهد ونهاية المقتصد
• fiqh.buyuمجلة الأحكام العدلية
• fiqh.daynآيتا الدين
• fiqh.hadanaبداية المجتهد ونهاية المقتصد
• fiqh.hajjآيات الحج
• fiqh.jinayatبداية المجتهد: كتاب الجنايات
• fiqh.khumsبداية المجتهد و نهاية المقتصد
• fiqh.madhahibبداية المجتهد و نهاية المقتصد
• fiqh.nikahНиках и талак — заключение брака и его прекращение в исламском праве
• fiqh.qadaبداية المجتهد ونهاية المقتصد — كتاب الأقضية
• fiqh.ribaبداية المجتهد و نهاية المقتصد
• fiqh.salatآيات الصلاة
• fiqh.sawmآيات الصيام
• fiqh.taharaبداية المجتهد ونهاية المقتصد
• fiqh.taqlidТаклид: ответ права для лица, следующего мазхабу
• fiqh.taqwimجدول بدايات الأشهر وأطوالها حسب تقويم أم القرى للسنوات ١٤٤٥–١٤٦٠ هـ
• fiqh.usulبداية المجتهد ونهاية المقتصد
• fiqh.usul_compareКомпаратор мазхабов: почему два мазхаба расходятся по вопросу — одним предикатом через маршруты словаря усуля
• fiqh.usul_coreУсуль аль-фикх как словарь: мазхабы, принципы, вопросы, предания и маршрут «принцип → ответ»
• fiqh.usul_headبداية المجتهد ونهاية المقتصد
• fiqh.usul_turbanبداية المجتهد ونهاية المقتصد
• fiqh.usul_waliبداية المجتهد ونهاية المقتصد
• fiqh.waqfالوسيط في المذهب — كتاب الوقف
• fiqh.wasiyyaВасыйя — завещательный отказ и распределение наследственной массы
• fiqh.zakatЗакят — обязательное отчисление с имущества в исламском праве
• fiqh.ziharبداية المجتهد ونهاية المقتصد
• fitness.journalТренировочный журнал: подходы, провалы и своды по объявленному моменту
• fitness.planМост-потребитель тренировочного плана: готовность к тренировке сегодня, разгрузка, проверка блинов
• fitness.programs.linearЛинейная прогрессия: шаг веса, разгрузка по порогу дела, округление к шагу диска, тренировочный максимум
• fitness.safetyСтоп-сигналы и признак перетренированности по частоте пульса покоя
• garden.calendargarden.calendar: окно посева — требование техкарты сорта по температуре почвы и климатическая норма последнего весеннего заморозка станции
• garden.harvestgarden.harvest: хранение — совместимость культур по группам справочника, этилен между соседями, режим температуры и влажности партии
• garden.plangarden.plan: фасад семьи «Сад и дача» — один адрес вопроса на каждый ответ канонов защиты, календаря, почвы, севооборота, воды и хранения
• garden.practicegarden.practice: народные правила соседства культур — самый низкий ранг семьи, поражаемый источником выше рангом и никогда не попадающий в оси исходов
• garden.protectiongarden.protection: защита растений — строка государственной регистрации, журнал обработок, срок ожидания, расхождение слоёв и выход на обработанную площадь
• garden.rotationgarden.rotation: севооборот — запрет предшественника из техкарты сорта над журналом грядки, с сертификатом полноты истории
• garden.soilgarden.soil: питание почвы — доза удобрения на грядку через calc.material_takeoff, интервал подкормок §86, дефицит элемента каналом суждения §47.3
• garden.watergarden.water: вода скважины и колодца — замер пробы против предела названного стандарта, с совпадением химической формы показателя
• go.tromp_taylorTromp–Taylor Rules of Go (The Logical Rules)
• gost.power_qualityGOST 32144-2013 — Power quality limits in general-purpose electric supply systems
• gradus.counterpointКонтрапункт строгого письма по Фуксу (Gradus ad Parnassum, 1725) — пять видов, обязанности статей 4-6 и 10 позициями §123, ось стиля прочтениями §152
• grc.aristoteles.analytica_prioraἈναλυτικῶν προτέρων Α
• grc.aristoteles.laws_of_thoughtΑΡΙΣΤΟΤΕΛΟΥΣ ΤΩΝ ΜΕΤΑ ΤΑ ΦΥΣΙΚΑ Γ
• grc.aristoteles.sophistical_refutationsΠερὶ σοφιστικῶν ἐλέγχων
• grc.euclid.anglesΣτοιχεῖα
• grc.euclid.hilbert_bridgeМост Евклид—Гильберт: постулаты книги I и плоские аксиомы I 1—2, III на одном конечном чертеже
• grc.euclid.stoicheia_iΣτοιχείων α΄
• grc.euclid.stoicheia_viiΣτοιχείων ζ΄
• grc.eukleides.pythagorasΣτοιχείων β΄
• grc.stoici.indemonstrabiliaLives of Eminent Philosophers VII.79-81
• gross_zagier.heegner_points_1986Gross-Zagier (1986): Heegner points -- analytic rank 1, modularity, and a satisfied Heegner hypothesis together give an infinite-order rational point
• hamilton.ricci_flow_programДоктрина: Hamilton (1982), Ricci flow program -- Three-manifolds with positive Ricci curvature, JDG vol. 17:255-306 -- установлен ТОЛЬКО случай положительной кривизны Риччи, основание метода, не завершает доказательство гипотезы Пуанкаре
• he.gospel.sermonThe bill of divorcement, base of the third antithesis
• he.noahideСемь законов сынов Ноя: Мишне Тора, Мелахим 8–10, с барайтой Санхедрин 56 и Тосефты Авода Зара 9:4
• he.solomon.judgmentThe judgment of Solomon: 1 Kings 3:16–28
• he.torah.arayotЛев 18:6–18: закрытый перечень запрещённых родством браков
• he.torah.cainПечать Каина: курируемая модель Бытия 4:8–24 и 9:5–6 с WLC-якорями
• he.torah.covenant_codeИсход 21–23: прямой нормативный слой Книги Завета
• he.torah.decalogueДекалог: курируемая модель Исхода 20:1–17 и Второзакония 5:6–21 с WLC-якорями
• he.torah.deuteronomy_12_26Deuteronomy 12–26: WLC-pinned direct normative layer
• he.torah.levirateЛевират Второзакония (Втор 25:5–10): долг деверя и халица
• he.torah.leviticus_19Leviticus 19: source-pinned direct normative layer
• home.climateМикроклимат жилья: измерение против закреплённой нормы, риск сырости и заглушенный канал
• home.maintenanceСроки обслуживания жилья: интервалы техкарты прибора и их наступление
• home.noiseШум в квартире: проникающий уровень против нормы и окно тишины
• home.planФасад быта: статус микроклимата, опасность, шаг при опасности и чек-лист с адресатом ответа
• home.safetyБезопасность жизни в квартире: газовый прибор, пожарные требования и действия при опасности
• hws.regular_languagesRegular Expressions and FSA's
• iec.electropediaInternational Electrotechnical Vocabulary
• iec.low_voltage_installationsLow-voltage electrical installations
• incoterms.group_cТорговые термины группы C (CPT, CIP, CFR, CIF), редакция 2020 года
• instrument.scoringФорма «инструмент»: подсчёт баллов опросника, полнота, порог службы и флаг-пункт с фиксированным порядком исходов
• isabelle.orderПравила порядка Isabelle: строгая транзитивность, смешанный шаг и ослабление
• isabelle.order.permissionsРазрешения условного импорта правил порядка Isabelle
• it.pacioli.computisParticularis de computis et scripturis
• jcgm.gumJCGM GUM — оценивание неопределённости измерения: типы A и B, закон распространения, коэффициент охвата и таблица G.2
• jcgm.vimJCGM VIM — словарь метрологии, выбранные определения 2012 года
• karp.combinatorial_reductions_1972Reducibility Among Combinatorial Problems
• kitchen.canningКухня: время обработки консервирования на водяной бане с поправкой на высоту
• kitchen.nutritionКухня: КБЖУ блюда из состава и массы ингредиентов
• kitchen.planКухня: пересчёт рецепта и аллерген гостя
• kitchen.ratiosКухня: пекарские проценты и доля соли рассола
• kitchen.safetyКухня: готовность блюда по температуре и срок хранения
• kolyvagin.euler_systems_1988Kolyvagin (1988): Euler systems -- algebraic rank equals analytic rank and Sha(E) finite, for analytic rank 0 or 1 on a modular curve; rank 2 is outside the method
• kz.continuity_consent_linkedО ратификации Соглашения о создании Содружества Независимых Государств
• kz.pediatric_respiratoryСвязка детских респираторных протоколов и инструкций: расхождения назначения, неполные данные и запрос клинической оценки
• la.aquinas.duplex_effectusSancti Thomae de Aquino, Summa theologiae II-II, quaestio 40 articulus 1 et quaestio 64 articulus 7
• la.aquinas.summa.i_de_angelisSancti Thomae de Aquino, Summa theologiae I, quaestiones 50-64
• la.aquinas.summa.i_de_creationeSancti Thomae de Aquino, Summa theologiae I, quaestiones 44-49
• la.aquinas.summa.i_de_deoSancti Thomae de Aquino, Summa theologiae I, quaestiones 2-26
• la.aquinas.summa.i_de_gubernationeSancti Thomae de Aquino, Summa theologiae I, quaestiones 103-119
• la.aquinas.summa.i_de_homineSancti Thomae de Aquino, Summa theologiae I, quaestiones 75-102
• la.aquinas.summa.i_de_sex_diebusSancti Thomae de Aquino, Summa theologiae I, quaestiones 65-74
• la.aquinas.summa.i_de_trinitateSancti Thomae de Aquino, Summa theologiae I, quaestiones 27-43
• la.aquinas.summa.i_ii_actibusSancti Thomae de Aquino, Summa theologiae I-II, quaestiones 6-21
• la.aquinas.summa.i_ii_fineSancti Thomae de Aquino, Summa theologiae I-II, quaestiones 1-5
• la.aquinas.summa.i_ii_gratiaSancti Thomae de Aquino, Summa theologiae I-II, quaestiones 109-114
• la.aquinas.summa.i_ii_habitibusSancti Thomae de Aquino, Summa theologiae I-II, quaestiones 49-70
• la.aquinas.summa.i_ii_old_new_lawSancti Thomae de Aquino, Summa theologiae I-II, quaestiones 98-108
• la.aquinas.summa.i_ii_passionibusSancti Thomae de Aquino, Summa theologiae I-II, quaestiones 22-48
• la.aquinas.summa.i_ii_vitiisSancti Thomae de Aquino, Summa theologiae I-II, quaestiones 71-89
• la.aquinas.summa.i_sacra_doctrinaSancti Thomae de Aquino, Summa theologiae I, quaestiones 1-1
• la.aquinas.summa.ii_ii_caritateSancti Thomae de Aquino, Summa theologiae II-II, quaestiones 23-46
• la.aquinas.summa.ii_ii_fideSancti Thomae de Aquino, Summa theologiae II-II, quaestiones 1-16
• la.aquinas.summa.ii_ii_fortitudineSancti Thomae de Aquino, Summa theologiae II-II, quaestiones 123-140
• la.aquinas.summa.ii_ii_gratiisSancti Thomae de Aquino, Summa theologiae II-II, quaestiones 171-189
• la.aquinas.summa.ii_ii_iustitiaSancti Thomae de Aquino, Summa theologiae II-II, quaestiones 57-122
• la.aquinas.summa.ii_ii_prudentiaSancti Thomae de Aquino, Summa theologiae II-II, quaestiones 47-56
• la.aquinas.summa.ii_ii_speSancti Thomae de Aquino, Summa theologiae II-II, quaestiones 17-22
• la.aquinas.summa.ii_ii_temperantiaSancti Thomae de Aquino, Summa theologiae II-II, quaestiones 141-170
• la.aquinas.summa.iii_incarnationeSancti Thomae de Aquino, Summa theologiae III, quaestiones 1-26
• la.aquinas.summa.iii_sacramentisSancti Thomae de Aquino, Summa theologiae III, quaestiones 60-90
• la.aquinas.summa.iii_vita_christiSancti Thomae de Aquino, Summa theologiae III, quaestiones 27-59
• la.aquinas.summa_theologiae_lawSancti Thomae de Aquino, Summa theologiae I-II, quaestiones 90-97
• la.gauss.theorema_fermatianumDisquisitiones arithmeticae
• la.gellius.protagoras_euathlusAuli Gellii Noctium Atticarum liber V, caput X
• la.newton.principiaPhilosophiæ Naturalis Principia Mathematica
• labels.batterieslabels.batteries: буквы Cd/Pb под баком — тяжёлый металл, а не марка; отсутствие бака на часовой батарейке законно
• labels.cosmeticslabels.cosmetics: «До (месяц, год)» истекает в ПОСЛЕДНИЙ ДЕНЬ ПРЕДЫДУЩЕГО месяца — ошибка на месяц; знак открытой книги
• labels.energylabels.energy: потребление за СТО ЦИКЛОВ → годовой объём по числу стирок дела → счёт через calc.energy_bill; класс — полоса, а не число
• labels.foodlabels.food: состав и аллергены на этикетке → профиль человека → ответ без слова «безопасно»; «годен до» только в бесспорную сторону
• labels.hazardlabels.hazard: пиктограмма GHS на бытовой химии → класс опасности → бытовое действие, с осью Decoded/Unknown/Conflict/InsufficientEvidence
• labels.householdlabels.household: фасад семьи labels.* — decode, hazard_actions, can_wash, sort_waste; Ambiguous между схемами выводит только он
• labels.practicelabels.practice: бытовые советы низшего ранга и дефитер §116, которым канон их вытесняет
• labels.recyclinglabels.recycling: код в петле Мёбиуса → материал упаковки → приём у местного оператора; цифра без петли кодом не является
• labels.textile_carelabels.textile_care: ярлык ухода за текстилем — пять форм знака, число, точки, черта, крест → можно ли стирать в этой машине
• labels.toyslabels.toys: «не для детей до 3 лет» — предупреждение об ОПАСНОСТИ, а не рекомендация по развитию; надпись вопреки назначению запрещена
• labels.tyreslabels.tyres: боковина (индекс нагрузки, символ скорости) → подходит ли шина автомобилю; буква этикетки боковину не заменяет
• ladyzhenskaya.two_dimensional_1969Ladyzhenskaya (1969): global smoothness and uniqueness of Navier-Stokes in dimension 2 -- does NOT close the n=3 CMI problem
• lagarias.elementary_criterionAn Elementary Problem Equivalent to the Riemann Hypothesis
• lefschetz.degree_two_1924Lefschetz (1,1)-theorem (1924), proof via Kodaira-Spencer (1953): the rational/integral Hodge conjecture holds for degree 2 (k=1) -- established_by_source for cmi.hodge::HodgeConjectureDegree2Claim, NOT for the general (any k) claim
• leray.weak_solutions_1934Leray (1934): global-in-time weak solution of Navier-Stokes on R^3 for any divergence-free finite-energy initial data -- weak, not smooth
• li.positivity_criterionLi's criterion
• locke.second_treatiseAn Essay concerning the true Original, Extent and End of Civil Government
• logic.calculiThe Open Logic Text
• logic.classicalThe Open Logic Text
• logic.comparisonsСопоставления систем: общий фрагмент, различие принципов и правил, условие переноса метода, отношение ограничения, двойной отрицательный перевод
• logic.coreОбщий словарь логических понятий: система, язык, исчисление, правило, метод, шаг, условие, обоснование
• logic.deonticСтандартная деонтическая логика SDL: явно названная формализация, связь с KD, обязанность, разрешение, запрет, границы модели
• logic.intuitionisticThe Open Logic Text
• logic.methodsThe Open Logic Text
• logic.modalThe Open Logic Text
• logic.paraconsistentThe Open Logic Text
• logic.semanticsThe Open Logic Text
• logic.syntaxThe Open Logic Text
• logic.temporalThe Open Logic Text
• logic.zebraЗебра-паззл — авторское изложение пятнадцати посылок и двух вопросов
• materials.lookupСвязующий слой: свойства марки материала NIST для вычислителей calc.material_*
• mathlib.divisibilityПравила делимости mathlib: транзитивность, рефлексивность и ступень Monoid→Semigroup при явной интерпретации
• mathlib.divisibility.permissionsРазрешения условного импорта правил делимости mathlib
• mathlib.orderПравила порядка mathlib: транзитивность, ослабление и иерархия структур при явной интерпретации
• mathlib.order.permissionsРазрешения условного импорта правил порядка mathlib
• mathlib.zetaMathlib.NumberTheory.LSeries.RiemannZeta
• metamath.set_mm_coreMetamath set.mm: аксиомы ZFC, исчисление высказываний и логика предикатов — закреплённые утверждения
• modularity.bcdt_taylor_wiles_2001Wiles (1995) + Taylor-Wiles (1995) + Breuil-Conrad-Diamond-Taylor (2001): every elliptic curve over Q is modular
• myco.opredelitelОпределитель грибов — система вывода с презумпцией несъедобности
• nasem.reproducibilityNASEM 2019: воспроизводимость, повторяемость и обобщаемость в определениях отчёта, требования к данным, коду и среде, источники расхождений и критерии отбора повторных исследований
• nfpa.necNational Electrical Code
• nist.material_propertiesNIST Cryogenic Material Properties
• oecd.globeGlobal Anti-Base Erosion Model Rules (Pillar Two)
• oecd.globe_etrглава 5: ETR и Top-up Tax
• oecd.globe_incomeглава 3: GloBE Income or Loss
• oecd.globe_taxesглава 4: Adjusted Covered Taxes
• oecd.globe_transitionглава 9: переходные правила
• openstax.calculus_derivativesIntroduction
• openstax.calculus_integralsAntiderivatives
• openstax.calculus_limitsContinuity
• openstax.chemistry_acidsÜber die Dissociation der in Wasser gelösten Stoffe
• openstax.chemistry_stoichiometryChemistry 2e
• openstax.condensed_matterIntroduction
• openstax.dynamicsIntroduction
• openstax.electrodynamicsIntroduction
• openstax.energy_momentumIntroduction
• openstax.fluids_wavesFluids, Density, and Pressure
• openstax.kinematicsIntroduction
• openstax.measurementIntroduction
• openstax.micro_tax_incidencePrinciples of Microeconomics 3e
• openstax.nuclearIntroduction
• openstax.opticsIntroduction
• openstax.particlesIntroduction
• openstax.quantumIntroduction
• openstax.relativityIntroduction
• openstax.rotation_equilibriumIntroduction
• openstax.second_law_readingsNewton's Second Law
• openstax.thermodynamicsIntroduction
• org.lufthansa.pet_travelLufthansa: карта веса и габаритов переноски для перевозки домашних животных (кабина/грузовой отсек)
• org.royalcanin.medium_adultRoyal Canin Medium Adult: суточная норма сухого корма по массе и уровню активности взрослой собаки
• org.usda.fooddata_poultryFoodData Central: Chicken, broiler or fryers, breast, skinless, boneless, meat only, raw
• org.usda_fsis.safe_temperatures"Danger Zone" (40°F - 140°F)
• org.usda_fsis.storage_chartUSDA FSIS Cold Food Storage Chart / Leftovers and Food Safety
• org.usda_nifa.home_canningUSDA Complete Guide to Home Canning
• org.who.physical_activity_2020WHO guidelines on physical activity and sedentary behaviour
• osterwalder_schrader.reconstruction_1973Quantum Yang-Mills Theory, sections 3/6.1/6.2 (Osterwalder-Schrader reconstruction)
• pearl.causal_modelsJudea Pearl, обзор причинного вывода: структурные модели, графы, вмешательство, причинный эффект, контрфактические вопросы, смешивание и идентифицируемость
• perelman.entropy_2002Доктрина: Perelman (2002), The entropy formula for the Ricci flow and its geometric applications, arXiv -- entropy-функционал и локальный no-collapsing, установлен ТОЛЬКО как аналитический инструмент
• perelman.finite_extinction_2003Доктрина: Perelman (2003), Finite extinction time for the solutions to the Ricci flow on certain three-manifolds, arXiv -- специфическое, короткое основание именно гипотезы Пуанкаре, одно из четырёх требуемых оснований
• perelman.surgery_2003Доктрина: Perelman (2003), Ricci flow with surgery on three-manifolds, arXiv -- классификация особенностей и процедура хирургии, установлена ТОЛЬКО как эта процедура
• pets.analgesicspets.analgesics: применимость анальгетика (Rimadyl) — листовка-контраст видов, прямое противопоказание кошкам
• pets.feedingpets.feeding: суточная норма кормления по этикетке корма — вопрос daily_food
• pets.geneticspets.genetics: окрас потомства (мост к bio.mendel, локус B) — InsufficientEvidence без теста родителя
• pets.parasitespets.parasites: применимость антипаразитарного продукта — ось исходов Allowed/DoNotGive/InsufficientEvidence/Conflict
• pets.planpets.plan: единый фасад семьи pets.* — can_give, how_much, go_to_vet, what_is_due, is_dangerous, daily_food, travel_next_step, offspring_colour (фазы 1-5)
• pets.toxicpets.toxic: токсикология — доза по массе и веществу, вещество без числового порога, неизвестное вещество
• pets.travelpets.travel: следующий шаг процедуры вывоза (мост к eu.animals.pet_travel и org.lufthansa.pet_travel)
• pets.triagepets.triage: признак × длительность → Monitor/ContactVetSoon/EmergencyVet, без диагноза
• pets.vaccinationpets.vaccination: календарь вакцинации по WSAVA — первичная серия, минимальный интервал, ревакцинация core, бешенство обязательно
• phys.classical_etherПростая модель неподвижного светоносного эфира: авторская реконструкция — семь названных допущений, абсолютное время без замедления, длина без сокращения, галилеево сложение скоростей, скорость света относительно среды и ожидаемый сдвиг полос интерферометра точной дробью
• phys.relativity_comparisonsСопоставление трёх моделей движения света и тел: восемь объявленных вопросов, три раздельных вывода (предпосылки, предсказания, согласие с наблюдением), полнота по покрытию вопросов без требования расхождения, запрет на вывод универсальной эквивалентности из совпадения на одной постановке
• phys.relativity_coreПротокол сравнения физических моделей движения света и тел: теория и её редакция, четыре отношения к принципу, операционная постановка против модельной посылки, обнаружение смешения моделей, предсказание точной дробью и величиной, три ответа о согласии с наблюдением
• phys.zadachnikШкольный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул
• platt_trudgian.rh_verification_2020The Riemann hypothesis is true up to 3*10^12
• pregnancy.antenatalВедение беременности по неделям: состояние мероприятий протокола, положенное на этой неделе, пропущенное по явной записи, последний день окна
• pregnancy.antihypertensivesПротивопоказание ИАПФ и БРА при беременности по протоколу «Артериальная гипертензия у взрослых» — мост к исходу лекарственного вопроса семьи
• pregnancy.benefitsБеременность и выплаты: дата оформления дородового отпуска по протоколу, размер и потолок выплаты по пункту 47 Правил ГФСС в редакции на дату дела
• pregnancy.datingСрок беременности: основа датировки с исходом Conflict, срок в днях и неделях, дата родов, триместр
• pregnancy.employmentБеременность и трудовые гарантии: вход Трудового кодекса из срока модели и гарантии статьи 126-1 (место работы и средняя заработная плата) на пациентку
• pregnancy.medicationsЛекарства при беременности и кормлении грудью: требование оценки пользы и риска или недостаточность данных по закреплённым инструкциям; открытое основание противопоказания для мостов к протоколам
• pregnancy.nutritionПитание и профилактика при беременности по протоколу «Антенатальный уход»: добавки в окне срока, кофеин, вегетарианство
• pregnancy.planМост-потребитель семьи «беременность»: срок, дата родов, положенное и пропущенное, лекарства, красные флаги, дородовый отпуск, выплата, послеродовой скрининг — на пациентку
• pregnancy.postnatalПосле родов: патронаж на третьи сутки после выписки по протоколу, Эдинбургская шкала через форму «инструмент», передача ребёнка в детскую ветку
• pregnancy.red_flagsКрасные флаги беременности: строгий резолвер Emergency → UrgentVisit → Wait → InsufficientEvidence → Normal над двумя протоколами ОКК МЗ РК
• psy.auditAUDIT: тест на выявление расстройств, связанных с употреблением алкоголя — скрининг, не диагноз
• psy.dass21DASS-21: три подшкалы (депрессия, тревога, стресс) — сырые и скорректированные суммы, без полос тяжести
• psy.epworthШкала сонливости Эпворта — структурный индекс без текста пунктов (авторское право M.W. Johns)
• psy.gad7GAD-7: шкала генерализованного тревожного расстройства — скрининг, не диагноз
• psy.isiISI: индекс тяжести бессонницы — структурный индекс без текста пунктов (лицензия Mapi Research Trust)
• psy.pcl5PCL-5: опросник скрининга ПТСР по DSM-5 — общая сумма, без кластерного диагноза
• psy.phq9PHQ-9: шкала депрессии Спитцера, Уилльямс, Кронке — скрининг, не диагноз
• psy.planФасад psy.*: сохранённые вопросы screen/band/is_urgent/sleep_window над семьёй скрининга
• psy.sleep_programПрограмма ограничения сна по дневнику — качественное титрование окна, без нового числа минут
• psy.who5WHO-5: индекс благополучия ВОЗ — скрининг, не диагноз, полярность инвертирована
• qudt.physicsQUDT: записи единиц, размерностей и исходных ссылок
• razborov_rudich.natural_proofs_1994Razborov, Rudich (1994/1997): natural proofs — constructivity and largeness together, conditional barrier under a pseudorandom generator assumption, plus an unconditional discrete-log-specific result
• renovation.defectsДефекты ремонта: наблюдение, причина и действие
• renovation.electricalЭлектрика ремонта: потребитель нейтральной онтологии
• renovation.financeОплата этапа ремонта после приёмки
• renovation.finishesИзоляционные и отделочные покрытия
• renovation.materialsМатериалы ремонта: выбор грунтовки по техкарте
• renovation.planПлан ремонта квартиры: переходы, приёмка и сохранённые вопросы
• renovation.plumbingСантехнические работы ремонта: измерения и приёмка
• renovation.practiceПрактические советы ремонта: поражаемый слой
• renovation.safetyБезопасность работ ремонта: явный допуск
• renovation.ventilationВентиляция ремонта: свободный канал и подтверждённая вытяжка
• riemann.primes_1859Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse
• rocq.orderПравила порядка Rocq над ℚ: строгая транзитивность, смешанный шаг и ослабление
• rom.corpus.gai_institutionesGai Institutionum commentarii quattuor
• ru.esbe.mekhanikaЭнциклопедический словарь Брокгауза и Ефрона: величины механики и их единицы
• ru.historical_unity_article_2021Об историческом единстве русских и украинцев
• ru.ukraine_recognition.linked_auditКонституция Российской Федерации
• ru.ukraine_recognition_linkedНЕ Республика Казахстан — audit-only связка признания и суверенности Украины
• schoenfeld.chebyshev_boundsSharper bounds for the error in the prime number theorem assuming the Riemann Hypothesis
• serrin.regularity_criterion_1962Serrin (1962): Prodi-Serrin regularity criterion -- a weak solution in L^p_t L^q_x with 2/p+3/q<=1, q>3 is smooth; not established when the exponent condition fails
• stacks.categoriesHomological Algebra
• stacks.category_theoryCategories
• stacks.derived_functorsDerived Categories
• stacks.setsSet Theory
• stacks.sheaf_cohomologyCohomology of Sheaves
• tunnell.congruent_numbers_1983Tunnell (1983): congruent-number criterion -- unconditional necessary direction (congruent => counts equal) separated from the conditional sufficient direction (counts equal => congruent, under weak BSD)
• unidroit.piccUNIDROIT Principles of International Commercial Contracts
• unidroit.picc_formationUNIDROIT Principles of International Commercial Contracts
• unidroit.picc_limitationUNIDROIT Principles of International Commercial Contracts
• unidroit.picc_non_performanceUNIDROIT Principles of International Commercial Contracts
• unidroit.picc_obligationsUNIDROIT Principles of International Commercial Contracts
• unidroit.picc_performanceUNIDROIT Principles of International Commercial Contracts
• unidroit.picc_validityUNIDROIT Principles of International Commercial Contracts
• us.ofac.fifty_percentOFAC Guidance on Entities Owned by Persons Whose Property and Interests in Property Are Blocked (2008)
• vehicle.costСтоимость владения автомобилем по предъявленным компонентам
• vehicle.diagnosticsPrinciples of Automotive Vehicles
• vehicle.incidentПроисшествие автомобиля: фасад над ПДД, КоАП и ОГПО ВТС
• vehicle.owner_careВладение автомобилем: интервал ТО, документы и допустимость выезда
• vehicle.practiceПрактические рекомендации по обслуживанию автомобиля
• vehicle.purchaseПокупка автомобиля с пробегом: документы и доказательство истории
• vehicle.safetyБезопасные действия при осмотре и обслуживании автомобиля
• w3c.provW3C PROV-DM: модель происхождения — сущности, деятельности, участники, производность, ответственность, планы, версии и пакеты описаний
• w3c.skosW3C SKOS Reference: модель словаря понятий — классы, метки, отношения, коллекции, сопоставления и условия согласованности S1–S46
• wightman.axioms_1956Quantum Yang-Mills Theory, section 3 (Quantum Fields)
• wikidata.jurisdictionsWikidata: закреплённые записи юрисдикций, валют, регионов и судов
• wikidata.physicsWikidata: закреплённые записи единиц и физических величин
• wikimedia.dfa_minimizationDFA minimization
• wilson.lattice_1974Quantum Yang-Mills Theory, section 6.5 (Yang-Mills Theory: Wilson's lattice approach)