трактат

treatise

• 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
• cardio.cha2ds2_vascCHA2DS2-VASc: сумма баллов факторов риска тромбоэмболий при фибрилляции предсердий; неполные данные отличимы от нуля
• cardio.compare_kzСопоставление российской клинической рекомендации и казахстанского клинического протокола по артериальной гипертензии на общих входных данных: где ответы расходятся и каким фрагментом каждого источника
• cardio.has_bledHAS-BLED: сумма баллов риска крупных кровотечений при фибрилляции предсердий; модифицируемые факторы отдельно; неполные данные отличимы от нуля
• cardio.planФасад cardio.*: сохранённые вопросы над рекомендацией по фибрилляции предсердий и инструкцией апиксабана; расхождение источников — вопрос врачу, а не гашение одного источника другим
• 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
• el.dionysios.erminiaЕрминия Дионисия Фурноаграфиота: иконописная техника, сюжеты и размещение
• 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
• fibo.contractsFIBO и OMG Commons: закреплённые тройки договоров, соглашений и правоспособности
• fitness.journalТренировочный журнал: подходы, провалы и своды по объявленному моменту
• fitness.planМост-потребитель тренировочного плана: готовность к тренировке сегодня, разгрузка, проверка блинов
• fitness.programs.linearЛинейная прогрессия: шаг веса, разгрузка по порогу дела, округление к шагу диска, тренировочный максимум
• fitness.safetyСтоп-сигналы и признак перетренированности по частоте пульса покоя
• 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 -- установлен ТОЛЬКО случай положительной кривизны Риччи, основание метода, не завершает доказательство гипотезы Пуанкаре
• home.climateМикроклимат жилья: измерение против закреплённой нормы, риск сырости и заглушенный канал
• home.maintenanceСроки обслуживания жилья: интервалы техкарты прибора и их наступление
• home.noiseШум в квартире: проникающий уровень против нормы и окно тишины
• home.planФасад быта: статус микроклимата, опасность, шаг при опасности и чек-лист с адресатом ответа
• home.safetyБезопасность жизни в квартире: газовый прибор, пожарные требования и действия при опасности
• hws.regular_languagesRegular Expressions and FSA's
• instrument.scoringФорма «инструмент»: подсчёт баллов опросника, полнота, порог службы и флаг-пункт с фиксированным порядком исходов
• isabelle.orderПравила порядка Isabelle: строгая транзитивность, смешанный шаг и ослабление
• isabelle.order.permissionsРазрешения условного импорта правил порядка Isabelle
• it.pacioli.computisParticularis de computis et scripturis
• 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.grammar.a_dybystaluyҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.aituda_tolyqҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.aralas_buynҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.assimilation_progressiveҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.assimilation_regressiveҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.bas_aripҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.birge_bolekҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.dauyssyz_aripҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.dauysty_aripҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.defisҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.dene_mushe_bolekҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.duryz_aituҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.dybystyq_varianttarҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.eliktewҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.erin_undestigiҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.esimdikҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.esimsheҚазақ грамматикасы: фонетика, сөзжасам, морфология, синтаксис (академиялық грамматика, 2002)
• kz.grammar.etisҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.etistikҚазақ грамматикасы: фонетика, сөзжасам, морфология, синтаксис (академиялық грамматика, 2002)
• kz.grammar.i_u_dybystaluyҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.jurnaq_sha_laҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.jurnaq_symaq_dagyҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.jurnaq_zhalganda_bolekҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.k_g_alternationҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.kirme_dybystaluyҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.kirme_sozderҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.koptikҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.kosemsheҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.kurdeli_san_esim_bolekҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.kurdeli_soz_bolekҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.lexiconҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.nusqaҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.odagaiҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.phonҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.punktuacia_birynggaiҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.punktuacia_odagaiҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.punktuacia_ongashalangan_aiqyndauyshҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.punktuacia_qaratpaҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.punktuacia_qurmalasҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.punktuacia_qurmalas_soilemҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.punktuacia_qystyrmaҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.punktuacia_soilem_sonyҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.punktuacia_syzyqshaҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.punktuacia_tol_sozҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.punktuacia_zholda_qaldyruҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.qosymsha_dybysyҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.qysqartuҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.raiҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.san_esimҚазақ грамматикасы: фонетика, сөзжасам, морфология, синтаксис (академиялық грамматика, 2002)
• kz.grammar.septikҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.shaqҚазақ грамматикасы: фонетика, сөзжасам, морфология, синтаксис (академиялық грамматика, 2002)
• kz.grammar.shylauҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.singarmonizmҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.tasymalҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.taueldikҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.tus_atauy_bolekҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.tynys_belgileriҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.ush_zat_esim_bolekҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.ustauҚазақ грамматикасы: фонетика, сөзжасам, морфология, синтаксис (академиялық грамматика, 2002)
• kz.grammar.yqsham_tulgalarҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.yrgaqҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• kz.grammar.zat_esimҚазақ грамматикасы: фонетика, сөзжасам, морфология, синтаксис (академиялық грамматика, 2002)
• kz.grammar.zhiktikҚазақ тілінің анықтағышы: емле, тыныс белгілері, сөз сазы
• la.gauss.theorema_fermatianumDisquisitiones arithmeticae
• 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.recyclinglabels.recycling: код в петле Мёбиуса → материал упаковки → приём у местного оператора; цифра без петли кодом не является
• 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.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
• 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
• nasem.reproducibilityNASEM 2019: воспроизводимость, повторяемость и обобщаемость в определениях отчёта, требования к данным, коду и среде, источники расхождений и критерии отбора повторных исследований
• nist.material_propertiesNIST Cryogenic Material Properties
• openstax.calculus_derivativesIntroduction
• openstax.calculus_integralsAntiderivatives
• openstax.calculus_limitsContinuity
• openstax.chemistry_acidsÜber die Dissociation der in Wasser gelösten Stoffe
• 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
• osterwalder_schrader.reconstruction_1973Quantum Yang-Mills Theory, sections 3/6.1/6.2 (Osterwalder-Schrader reconstruction)
• paleo.tally_registersПалеолитические счётные регистры: кость Лебомбо (29 насечек, лунный цикл) и кость Ишанго (столбцы простых, удвоений и базы 10)
• 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.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.travelpets.travel: следующий шаг процедуры вывоза (мост к eu.animals.pet_travel и org.lufthansa.pet_travel)
• 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.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.de_legibusM. Tulli Ciceronis de legibus liber secundus
• 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)
• vehicle.costСтоимость владения автомобилем по предъявленным компонентам
• vehicle.diagnosticsPrinciples of Automotive Vehicles
• vehicle.incidentПроисшествие автомобиля: фасад над ПДД, КоАП и ОГПО ВТС
• vehicle.owner_careВладение автомобилем: интервал ТО, документы и допустимость выезда
• vehicle.practiceПрактические рекомендации по обслуживанию автомобиля
• vehicle.purchaseПокупка автомобиля с пробегом: документы и доказательство истории
• vehicle.safetyБезопасные действия при осмотре и обслуживании автомобиля
• wightman.axioms_1956Quantum Yang-Mills Theory, section 3 (Quantum Fields)
• wikidata.jurisdictionsWikidata: закреплённые записи юрисдикций, валют, регионов и судов
• wikidata.physicsWikidata: закреплённые записи единиц и физических величин
• wilson.lattice_1974Quantum Yang-Mills Theory, section 6.5 (Yang-Mills Theory: Wilson's lattice approach)