{"id":"W2096361394","doi":"10.1142/s0129054114400267","title":"ON THE NUMBER OF ABELIAN BORDERED WORDS (WITH AN EXAMPLE OF AUTOMATIC THEOREM-PROVING)","year":2014,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Winnipeg; Queen's University","funders":"Russian Foundation for Basic Research","keywords":"Bijection, injection and surjection; Abelian group; Connection (principal bundle); Combinatorics on words; Mathematics; Alphabet; Combinatorics; Lattice (music); Word (group theory); Discrete mathematics; Bijection; Geometry; Linguistics","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.002467643,0.0005096948,0.0008432046,0.002551798,0.002683263,0.003302904,0.001823509,0.001543924,0.007663695],"category_scores_gemma":[0.0119381,0.0004288028,0.0009465975,0.001917882,0.00499321,0.006987588,0.002074075,0.001295784,0.0007838659],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001439688,"about_ca_system_score_gemma":0.0008011536,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003577174,"about_ca_topic_score_gemma":0.0002788882,"domain_scores_codex":[0.9975638,0.0005887464,0.0002480894,0.0006954277,0.0005943375,0.0003096009],"domain_scores_gemma":[0.9843937,0.01078859,0.001924817,0.001056268,0.001164985,0.0006715321],"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.0002309336,0.00006390311,0.003272138,0.0002264121,0.00002794764,0.000407998,0.0008383311,0.003025591,0.005277605,0.9683126,0.0007864067,0.01753008],"study_design_scores_gemma":[0.00003092346,0.00008544359,0.001220838,0.00006206687,0.00003686202,0.0005017375,0.0002595063,0.01348412,0.00728573,0.9717968,0.005188553,0.0000474492],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7787536,0.001446169,0.1854628,0.001428495,0.0001893836,0.0001068128,0.00057076,0.0004623985,0.03157954],"genre_scores_gemma":[0.9269978,0.0004005881,0.06757037,0.0001674441,0.0001460621,0.0001427396,0.0003189362,0.0001233716,0.004132731],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007663695,"threshold_uncertainty_score":0.02563763,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01781920411393394,"score_gpt":0.2849004194316407,"score_spread":0.2670812153177068,"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."}}