Catalogue facets / Kind of instrument
treatise
Packages with this value on the axis “Kind of instrument”: 273. The value is declared in the [metadata] section of each package manifest.
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_establishedarxo.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_axiomarxo.millenniumКомпозиция 7/7 программы Millennium Prize Problems (DECISION-0280): свод всех семи проблем (шесть предметных пакетов + существующий RH) через общий словарь arxo.math_claims, без изменения ни одного из семи пакетов и без обобщения cmi.millennium_rulesarxo.navier_stokesКомпозиция набора «Navier-Stokes»: совместная карточка четырёх постановок CMI, обзор weak/regularity, ни одного established_* для A/B/C/Darxo.orderПорядок: общий носитель, принадлежность, строгие и нестрогие отношения; авторский контракт интерпретацииarxo.order_compositionСовместная поддержка цепочки порядка правилами Lean и Isabellearxo.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 и Isabellearxo.riemann_hypothesisКомпозиция набора «Гипотеза Римана»: совместная карточка, основание эквивалентности формулировок, условный сценарий с явным допущениемarxo.three_manifoldsArxo: предметный словарь трёхмерных многообразий и симплициальных гомологий для программы Poincare conjecture — Manifold/SimplicialComplex/Chain/Boundary/Cycle/HomologyClass/CoefficientField, is_simply_connected раздельно от homology_group_trivial, homology_sphere раздельно от homeomorphic_to_spherearxo.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 variantbaker_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 methodscardio.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 smoothnesscmi.bsdThe Birch and Swinnerton-Dyer Conjecturecmi.hodgeThe Hodge Conjecturecmi.millennium_rulesMillennium Prize Description and Rulescmi.navier_stokesExistence and Smoothness of the Navier-Stokes Equationcmi.p_vs_npThe P versus NP Problemcmi.poincareThe Poincare Conjecturecmi.riemann_hypothesisProblems of the Millennium: the Riemann Hypothesiscmi.yang_millsQuantum Yang-Mills Theorycompat.apparelОдежда по меркам: размер по сетке бренда, между размерами, детская одежда по ростуcompat.appliance_nicheВстроенная техника и ниша: габариты с зазорами вентиляции, сторона навеса двери, подключениеcompat.check«Подойдёт ли»: сохранённые вопросы семейства compat.*compat.connectorsРазъёмы и кабели: форма разъёма, версия протокола, мощность зарядки, батарейки и SIMcompat.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 Proceduresde.hilbert.grundlagenGrundlagen der Geometrieel.dionysios.erminiaЕрминия Дионисия Фурноаграфиота: иконописная техника, сюжеты и размещениеeng.einstein.electrodynamics_1905Zur Elektrodynamik bewegter Körpereng.hobbes.leviathanLeviathan, or the Matter, Forme, & Power of a Common-Wealth Ecclesiasticall and Civilleng.lorentz.electromagnetic_phenomena_1904Electromagnetic phenomena in a system moving with any velocity smaller than that of lighteng.michelson_morley.ether_drift_1887On the Relative Motion of the Earth and the Luminiferous Etherfibo.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-81gross_zagier.heegner_points_1986Gross-Zagier (1986): Heegner points -- analytic rank 1, modularity, and a satisfied Heegner hypothesis together give an infinite-order rational pointhamilton.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'sinstrument.scoringФорма «инструмент»: подсчёт баллов опросника, полнота, порог службы и флаг-пункт с фиксированным порядком исходовisabelle.orderПравила порядка Isabelle: строгая транзитивность, смешанный шаг и ослаблениеisabelle.order.permissionsРазрешения условного импорта правил порядка Isabelleit.pacioli.computisParticularis de computis et scripturiskarp.combinatorial_reductions_1972Reducibility Among Combinatorial Problemskitchen.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 methodkz.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 arithmeticaela.newton.principiaPhilosophiæ Naturalis Principia Mathematicalabels.batterieslabels.batteries: буквы Cd/Pb под баком — тяжёлый металл, а не марка; отсутствие бака на часовой батарейке законноlabels.cosmeticslabels.cosmetics: «До (месяц, год)» истекает в ПОСЛЕДНИЙ ДЕНЬ ПРЕДЫДУЩЕГО месяца — ошибка на месяц; знак открытой книгиlabels.energylabels.energy: потребление за СТО ЦИКЛОВ → годовой объём по числу стирок дела → счёт через calc.energy_bill; класс — полоса, а не числоlabels.foodlabels.food: состав и аллергены на этикетке → профиль человека → ответ без слова «безопасно»; «годен до» только в бесспорную сторонуlabels.hazardlabels.hazard: пиктограмма GHS на бытовой химии → класс опасности → бытовое действие, с осью Decoded/Unknown/Conflict/InsufficientEvidencelabels.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 problemlagarias.elementary_criterionAn Elementary Problem Equivalent to the Riemann Hypothesislefschetz.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) claimleray.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 smoothli.positivity_criterionLi's criterionlocke.second_treatiseAn Essay concerning the true Original, Extent and End of Civil Governmentlogic.calculiThe Open Logic Textlogic.classicalThe Open Logic Textlogic.intuitionisticThe Open Logic Textlogic.methodsThe Open Logic Textlogic.modalThe Open Logic Textlogic.paraconsistentThe Open Logic Textlogic.semanticsThe Open Logic Textlogic.syntaxThe Open Logic Textmathlib.divisibilityПравила делимости mathlib: транзитивность, рефлексивность и ступень Monoid→Semigroup при явной интерпретацииmathlib.divisibility.permissionsРазрешения условного импорта правил делимости mathlibmathlib.orderПравила порядка mathlib: транзитивность, ослабление и иерархия структур при явной интерпретацииmathlib.order.permissionsРазрешения условного импорта правил порядка mathlibmathlib.zetaMathlib.NumberTheory.LSeries.RiemannZetametamath.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 modularnasem.reproducibilityNASEM 2019: воспроизводимость, повторяемость и обобщаемость в определениях отчёта, требования к данным, коду и среде, источники расхождений и критерии отбора повторных исследованийnist.material_propertiesNIST Cryogenic Material Propertiesopenstax.calculus_derivativesIntroductionopenstax.calculus_integralsAntiderivativesopenstax.calculus_limitsContinuityopenstax.chemistry_acidsÜber die Dissociation der in Wasser gelösten Stoffeopenstax.condensed_matterIntroductionopenstax.dynamicsIntroductionopenstax.electrodynamicsIntroductionopenstax.energy_momentumIntroductionopenstax.fluids_wavesFluids, Density, and Pressureopenstax.kinematicsIntroductionopenstax.measurementIntroductionopenstax.micro_tax_incidencePrinciples of Microeconomics 3eopenstax.nuclearIntroductionopenstax.opticsIntroductionopenstax.particlesIntroductionopenstax.quantumIntroductionopenstax.relativityIntroductionopenstax.rotation_equilibriumIntroductionopenstax.second_law_readingsNewton's Second Lawopenstax.thermodynamicsIntroductionosterwalder_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/Conflictpets.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^12pregnancy.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 resultrenovation.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össerocq.orderПравила порядка Rocq над ℚ: строгая транзитивность, смешанный шаг и ослаблениеrom.corpus.de_legibusM. Tulli Ciceronis de legibus liber secundusschoenfeld.chebyshev_boundsSharper bounds for the error in the prime number theorem assuming the Riemann Hypothesisserrin.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 failsstacks.categoriesHomological Algebrastacks.category_theoryCategoriesstacks.derived_functorsDerived Categoriesstacks.setsSet Theorystacks.sheaf_cohomologyCohomology of Sheavestunnell.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 Vehiclesvehicle.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)