{"id":"W2150611932","doi":"10.2478/v10037-008-0013-3","title":"Helly Property for Subtrees","year":2008,"lang":"en","type":"article","venue":"Formalized Mathematics","topic":"Rings, Modules, and Algebras","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Property (philosophy); Combinatorics; Discrete mathematics","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004600926,0.0003112277,0.0005604121,0.0001012267,0.0003505908,0.00004220797,0.000372673,0.0001361412,0.0001501537],"category_scores_gemma":[0.000614561,0.0002007983,0.000270549,0.0001401239,0.0001240126,0.0002906855,0.00008598798,0.0001315096,0.0001235071],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004468653,"about_ca_system_score_gemma":0.00007902615,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006631909,"about_ca_topic_score_gemma":0.00001144066,"domain_scores_codex":[0.9981298,0.0000217649,0.000676,0.0002595226,0.0003683824,0.0005445299],"domain_scores_gemma":[0.9984399,0.0003849597,0.0002810839,0.0005871831,0.000173393,0.0001334843],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000198194,0.001995166,0.000329807,0.00480087,0.000326106,0.00004572387,0.01836896,0.000009640232,0.002551921,0.8005038,0.1681613,0.002708508],"study_design_scores_gemma":[0.003451182,0.0003339715,0.00005834987,0.0002530513,0.0001713978,0.0004227498,0.0007514624,0.005438576,0.02258275,0.8855307,0.08007653,0.0009293083],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.8022323,0.0002234827,0.1549129,0.0004172531,0.0005043005,0.002811523,0.00006619594,0.000929667,0.03790245],"genre_scores_gemma":[0.1668001,0.0002057918,0.7881436,0.0003429549,0.0005049562,0.000513299,0.00003616722,0.0002353872,0.04321784],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6354322,"threshold_uncertainty_score":0.8188317,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07757136629430028,"score_gpt":0.2914045359527144,"score_spread":0.2138331696584141,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}