{"id":"W1510672616","doi":"10.1023/a:1006279127474","title":"A Hyperbase for Binary Lattice Hyperidentities","year":2000,"lang":"en","type":"article","venue":"Journal of Automated Reasoning","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Arity; Variety (cybernetics); Identity (music); Binary relation; Combinatorics; Binary number; Discrete mathematics; Mathematics; Set (abstract data type); Computer science; Physics; Arithmetic; 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.003749595,0.0007670219,0.00190475,0.004704102,0.003718303,0.009881604,0.004256458,0.002486511,0.01384899],"category_scores_gemma":[0.0134253,0.002204669,0.001579635,0.005860677,0.002520291,0.02152056,0.009724163,0.004403153,0.005232573],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001784983,"about_ca_system_score_gemma":0.003270152,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004417218,"about_ca_topic_score_gemma":0.005654576,"domain_scores_codex":[0.9959701,0.0007394721,0.000674358,0.0007929357,0.001529488,0.0002936262],"domain_scores_gemma":[0.9937808,0.00154161,0.0003298451,0.002124665,0.001647762,0.0005753182],"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.0002614647,0.0002324415,0.001230619,0.000553673,0.00008431973,0.00054661,0.001446255,0.00469818,0.003701771,0.7409057,0.02745662,0.2188822],"study_design_scores_gemma":[0.0001278345,0.0000586784,0.0003953411,0.0003865866,0.0002053111,0.000710776,0.0009301456,0.03495482,0.007691296,0.7834222,0.1709867,0.0001302172],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01756254,0.001662504,0.9527574,0.001537117,0.0006334508,0.0003943574,0.002738724,0.006776665,0.01593722],"genre_scores_gemma":[0.1300062,0.00171705,0.8451891,0.0007816459,0.0003767734,0.0003521045,0.005534027,0.001138518,0.01490459],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01384899,"threshold_uncertainty_score":0.0463295,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01094980265880392,"score_gpt":0.2614841185139968,"score_spread":0.2505343158551929,"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."}}