{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003972187,0.0008702928,0.001477737,0.003035219,0.002866502,0.004954646,0.0009439745,0.001241567,0.006662998],"category_scores_gemma":[0.008147917,0.000760584,0.002078,0.00302089,0.006173917,0.01184875,0.003700034,0.004464504,0.0008783483],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002352895,"about_ca_system_score_gemma":0.001209108,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001723749,"about_ca_topic_score_gemma":0.001041632,"domain_scores_codex":[0.9976064,0.0007202966,0.0002207451,0.0004388923,0.0005828641,0.0004308037],"domain_scores_gemma":[0.9950804,0.003123749,0.0002646768,0.0004532837,0.0006632726,0.0004147184],"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.00006185351,0.00003665667,0.0003387031,0.00004174563,0.000007544561,0.0001059418,0.0003932176,0.0003121698,0.0005296487,0.9939359,0.0004419103,0.003794732],"study_design_scores_gemma":[0.00002955662,0.0000188738,0.0002875027,0.00001696758,0.000009054738,0.00008289897,0.0001142265,0.001207136,0.0004275723,0.9956269,0.0021697,0.000009698903],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4633836,0.004645415,0.255089,0.004430032,0.0007640843,0.0002427044,0.0008394999,0.0003568024,0.2702489],"genre_scores_gemma":[0.9473774,0.00185294,0.03089907,0.0004434811,0.001039619,0.0001664352,0.0008929673,0.0001813718,0.01714689],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006662998,"threshold_uncertainty_score":0.02228993,"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."}}