{"id":"W2016680799","doi":"10.1016/s0743-1066(99)00002-3","title":"Ultrametric spaces and logic programming","year":2000,"lang":"en","type":"article","venue":"The Journal of Logic Programming","topic":"Fixed Point Theorems Analysis","field":"Mathematics","cited_by":46,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Ultrametric space; Mathematics; Fixed-point theorem; Generalization; Metric space; Fixed point; Least fixed point; Discrete mathematics; Point (geometry); Brouwer fixed-point theorem; Pure mathematics; Algebra over a field; Schauder fixed point theorem; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003498618,0.001096449,0.001543857,0.003439831,0.002455798,0.006166996,0.001780147,0.002829652,0.007215747],"category_scores_gemma":[0.008241787,0.001088939,0.001440046,0.003880307,0.01063633,0.01757417,0.003366712,0.008292555,0.0006185471],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003364311,"about_ca_system_score_gemma":0.0009694476,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001063415,"about_ca_topic_score_gemma":0.0009419224,"domain_scores_codex":[0.9975607,0.001322745,0.000125157,0.0003369966,0.000508532,0.0001459668],"domain_scores_gemma":[0.9919274,0.006383248,0.0004745183,0.0004240515,0.0004645774,0.000326133],"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.000004566031,0.000005872699,0.00004825007,0.00001650785,0.000004598913,0.00001105095,0.00006641772,0.0001986876,0.00002862266,0.9977989,0.0003892533,0.001427387],"study_design_scores_gemma":[0.000002967123,0.000003840731,0.00003264241,0.00000740672,0.000002936179,0.00001841572,0.00002958523,0.0006579489,0.00002207018,0.997475,0.001744467,0.000002761562],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1048021,0.09436678,0.5522569,0.06424414,0.002476402,0.00005757692,0.0004793807,0.0004726161,0.180844],"genre_scores_gemma":[0.8699068,0.02017389,0.07087737,0.003087293,0.004714897,0.0001569478,0.0003172657,0.0001494756,0.03061605],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007215747,"threshold_uncertainty_score":0.02440989,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0386305963069726,"score_gpt":0.3020598992817101,"score_spread":0.2634293029747375,"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."}}