{"id":"W2914651966","doi":"10.1016/j.tcs.2005.11.006","title":"Uniqueness logic","year":2005,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Linear logic; Uniqueness; Type theory; Mathematics; Equivalence (formal languages); Computer science; Intuitionistic logic; Programming language; Algebra over a field; Theoretical computer science; Discrete mathematics; Calculus (dental); Type (biology); Pure mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001646962,0.0001799633,0.0001972954,0.0001488302,0.0003915145,0.0006142255,0.003214988,0.00006257111,0.00004708142],"category_scores_gemma":[0.00004764851,0.0001317744,0.00006751248,0.001078149,0.00185932,0.0008122587,0.0009835189,0.0001671771,0.000488429],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007640965,"about_ca_system_score_gemma":0.0001257545,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004662852,"about_ca_topic_score_gemma":0.000001189506,"domain_scores_codex":[0.9975854,0.0001114906,0.0002634514,0.0007204076,0.0006471493,0.0006720953],"domain_scores_gemma":[0.9984006,0.0001171877,0.000066236,0.0009348911,0.0001856071,0.0002954518],"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.000001370017,0.0000435381,0.0000386138,0.000003334404,0.000001622289,0.000009049868,0.0002238716,0.0000807648,0.00013658,0.8932464,0.00005132033,0.1061636],"study_design_scores_gemma":[0.0001840523,0.0001826141,0.0002999123,0.000003785125,0.000002464873,0.00009962401,0.000004040312,0.3027485,0.004007985,0.6851403,0.007035205,0.000291569],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002199869,0.00005442932,0.9741633,0.001890218,0.00068596,0.0001550791,1.214036e-7,0.0004454376,0.02040557],"genre_scores_gemma":[0.8678828,0.000002655758,0.1305792,0.001177754,0.0002953213,0.000007377385,2.808196e-7,0.000005465747,0.00004911165],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8656829,"threshold_uncertainty_score":0.6850742,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01818692945019761,"score_gpt":0.2621283830519768,"score_spread":0.2439414536017792,"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."}}