{"id":"W2112769148","doi":"10.1109/ismvl.2012.60","title":"Semirigid Systems of Equivalence Relations","year":2012,"lang":"en","type":"preprint","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Equivalence (formal languages); Equivalence relation; Cardinality (data modeling); Set (abstract data type); Mathematics; Discrete mathematics; Combinatorics; Computer science; Algebra over a field; Pure mathematics; Data mining; Programming language","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.001970487,0.0004069799,0.0005694482,0.001834562,0.002359597,0.002212016,0.0008717099,0.0007962639,0.006567151],"category_scores_gemma":[0.00334916,0.0004543432,0.0009427435,0.0009031167,0.00355852,0.003981882,0.004744799,0.001428087,0.0008970227],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001456068,"about_ca_system_score_gemma":0.0006862643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009981318,"about_ca_topic_score_gemma":0.001018346,"domain_scores_codex":[0.9964359,0.000703127,0.0003558004,0.001049009,0.0008995614,0.0005566254],"domain_scores_gemma":[0.9976241,0.0006564424,0.0003121881,0.0006479098,0.0004601656,0.0002992616],"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.00004123145,0.00002654209,0.0006498339,0.00003775047,0.00001227862,0.0001291091,0.0006696628,0.001417596,0.003805844,0.9823156,0.0004469437,0.0104475],"study_design_scores_gemma":[0.00003134595,0.00006091849,0.001106078,0.00002488006,0.00001340194,0.000208795,0.0002306669,0.009311328,0.004513539,0.9753184,0.009147132,0.00003349023],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5144769,0.0006620017,0.4286014,0.0005745992,0.0001839514,0.000146215,0.0005804076,0.0009437564,0.05383074],"genre_scores_gemma":[0.9229305,0.0001599353,0.06894372,0.0001360446,0.0000932424,0.000164521,0.0004989007,0.0000721716,0.007000905],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006567151,"threshold_uncertainty_score":0.02196932,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0392435571163093,"score_gpt":0.2796619425324769,"score_spread":0.2404183854161676,"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."}}