{"id":"W878577827","doi":"10.1007/s10998-015-0088-x","title":"On congruence extension properties for ordered algebras","year":2015,"lang":"en","type":"article","venue":"Periodica Mathematica Hungarica","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Cape Breton University","funders":"Eesti Teadusfondi","keywords":"Mathematics; Congruence (geometry); Extension (predicate logic); Property (philosophy); Pure mathematics; Categorical variable; Transferability; Commutative property; 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.0003837313,0.0002594073,0.0003707616,0.00009913863,0.0002986717,0.0002565035,0.0009498152,0.00008718277,0.00002966519],"category_scores_gemma":[0.001354399,0.0001859887,0.0001027885,0.0002763713,0.0001737709,0.0003826775,0.00022911,0.0001489723,0.0003205878],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006100355,"about_ca_system_score_gemma":0.00017448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002884897,"about_ca_topic_score_gemma":0.000001510011,"domain_scores_codex":[0.9980603,0.00006005895,0.0003631138,0.0005874605,0.0004643812,0.000464683],"domain_scores_gemma":[0.9981645,0.000261868,0.0001498914,0.0009046728,0.000250804,0.0002683057],"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.00009189509,0.0004738492,0.00001343043,0.0001477959,0.0000337095,0.00002870269,0.005597325,0.0001253289,0.003242084,0.9682892,0.01106124,0.01089544],"study_design_scores_gemma":[0.001608801,0.001323917,0.0001085273,0.0001968385,0.00003176898,0.0001328811,0.0003943672,0.1061047,0.005748765,0.8653295,0.01816198,0.0008579467],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04514589,0.0002980679,0.9409751,0.004224355,0.0004052091,0.001106496,0.000004262507,0.0006774503,0.007163182],"genre_scores_gemma":[0.8376254,0.000006348302,0.1600324,0.001121222,0.00005789855,0.0002278176,0.000002567303,0.00002469251,0.0009015808],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7924796,"threshold_uncertainty_score":0.75844,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05940409920224543,"score_gpt":0.2730293800362268,"score_spread":0.2136252808339814,"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."}}