{"id":"W1868260886","doi":"10.1142/s0218196715500265","title":"Existence of finite bases for quasi-equations of unary algebras with 0","year":2015,"lang":"en","type":"article","venue":"International Journal of Algebra and Computation","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Northern British Columbia","funders":"","keywords":"Unary operation; Mathematics; Subalgebra; Ideal (ethics); Algebra over a field; Pure mathematics; Function (biology); Discrete 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.00027633,0.00008701487,0.0001909129,0.0002181106,0.00002622356,0.00003400372,0.0003750313,0.00002778196,0.000001574352],"category_scores_gemma":[0.0002151021,0.00006823551,0.00006183883,0.0001640209,0.00007717344,0.0006496228,0.00005279096,0.00006115336,5.054653e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002436267,"about_ca_system_score_gemma":0.0001772083,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005522697,"about_ca_topic_score_gemma":0.000002164024,"domain_scores_codex":[0.9988596,0.00004134579,0.0004578062,0.0001179166,0.0004427073,0.0000806107],"domain_scores_gemma":[0.9971691,0.000536154,0.0006813727,0.00007859213,0.001461151,0.00007361524],"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.0006292599,0.0006301093,0.003979257,0.0000634608,0.0003267846,0.0000402443,0.003508577,0.04737233,0.0007084249,0.8027993,0.0002399872,0.1397023],"study_design_scores_gemma":[0.004040872,0.004281583,0.006709493,0.0003619944,0.00006454491,0.0003136856,0.0008372678,0.2646089,0.005240847,0.7128642,0.0003865891,0.0002899999],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.176015,0.0001921535,0.8227233,0.0006503212,0.0002431015,0.00007134317,0.000005738657,0.00000778438,0.00009128053],"genre_scores_gemma":[0.8675825,0.00001660685,0.1321996,0.0001126591,0.00006563032,0.000002307157,0.000005375753,0.000004320444,0.00001101267],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6915675,"threshold_uncertainty_score":0.2782564,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04309291382230111,"score_gpt":0.3062677646055899,"score_spread":0.2631748507832887,"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."}}