{"id":"W1965001312","doi":"10.1007/s11083-011-9234-0","title":"MV-semirings and their Sheaf Representations","year":2011,"lang":"en","type":"article","venue":"Order","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Mathematics; Semiring; Sheaf; Commutative property; Equivalence (formal languages); Representation (politics); Pure mathematics; Idempotence; Algebra over a field; Prime (order theory); Categorical variable; Kleene algebra; Class (philosophy); Discrete mathematics; Combinatorics; Computer science","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.00003679817,0.00004931607,0.00004669483,0.00002287999,0.0000656261,0.00002266286,0.0001785351,0.00001752024,0.00006866358],"category_scores_gemma":[0.00001716995,0.00003617489,0.00001126255,0.0001411248,0.00003095857,0.0002544839,0.0001103356,0.00004326399,0.00004611561],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002749531,"about_ca_system_score_gemma":0.000008274113,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001332702,"about_ca_topic_score_gemma":0.00000397798,"domain_scores_codex":[0.99963,0.000009712917,0.00005516044,0.0001680451,0.0000348207,0.0001022875],"domain_scores_gemma":[0.9996617,0.00002286812,0.0000180304,0.0002343893,0.00002598324,0.00003703626],"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.000005439517,0.0001051223,0.01302215,0.0000106769,0.00002235585,0.00001848738,0.01685938,0.00001798198,0.002123571,0.7820012,0.002203208,0.1836105],"study_design_scores_gemma":[0.0007534077,0.00016292,0.1575336,0.00002152557,0.000007361484,0.0001048199,0.000730181,0.01006966,0.01437464,0.7732766,0.04234521,0.0006200824],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07969365,0.0001892953,0.8711616,0.0005878744,0.0001414158,0.00007551722,4.950912e-7,0.0001485144,0.04800167],"genre_scores_gemma":[0.9407535,0.00001933679,0.05770281,0.0004532785,0.000020419,0.00000821565,4.172637e-7,0.000003838772,0.00103814],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8610599,"threshold_uncertainty_score":0.1475169,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02919570014018854,"score_gpt":0.2387230834537752,"score_spread":0.2095273833135867,"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."}}