{"id":"W2564543232","doi":"10.1007/s00233-016-9844-3","title":"Commutativity theorems for cancellative semigroups","year":2016,"lang":"en","type":"article","venue":"Semigroup Forum","topic":"Advanced Topics in Algebra","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematics; Commutative property; Unary operation; Semigroup; Cancellative semigroup; Element (criminal law); Integer (computer science); Combinatorics; Discrete mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005230702,0.0009920894,0.001031279,0.002557485,0.003307964,0.003453594,0.001191728,0.001163888,0.01193464],"category_scores_gemma":[0.00521431,0.0009003318,0.002209039,0.001342917,0.004302216,0.008540664,0.003253322,0.004346045,0.001811712],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001454521,"about_ca_system_score_gemma":0.001103541,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001338101,"about_ca_topic_score_gemma":0.001540706,"domain_scores_codex":[0.9982371,0.0004459645,0.0001633218,0.0003521268,0.0005600806,0.0002413356],"domain_scores_gemma":[0.9940748,0.00369266,0.0002465681,0.0004516677,0.001042933,0.0004913881],"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.00003319749,0.00001895758,0.0001186073,0.00003884212,0.00001126295,0.00004992509,0.0003478997,0.0001390136,0.0009343657,0.9942191,0.001269699,0.00281922],"study_design_scores_gemma":[0.00002463185,0.00001684589,0.0001573292,0.0000137287,0.00001883696,0.00008937333,0.00008598153,0.001085739,0.001067056,0.9903488,0.007077345,0.00001433278],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1275345,0.004321381,0.6178545,0.00359627,0.001856555,0.0001545668,0.0008516163,0.0009823844,0.2428484],"genre_scores_gemma":[0.8254909,0.002891841,0.08911321,0.002589728,0.001719319,0.0005048475,0.00135684,0.0006250465,0.07570827],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01193464,"threshold_uncertainty_score":0.03992534,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04148121823721523,"score_gpt":0.341281910272272,"score_spread":0.2998006920350568,"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."}}