{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":680,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":680,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"8fffe93618d3","filters":{"topic":"Advanced Algebra and Logic"}},"results":[{"id":"W206333455","doi":"10.1007/978-3-0348-0018-1","title":"Lattice Theory: Foundation","year":2011,"lang":"en","type":"book","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":698,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Toronto Metropolitan University; University of Manitoba","funders":"","keywords":"Foundation (evidence); Lattice (music); Theoretical physics; Physics; Political science; Law","authors":[{"name":"George Grätzer","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02774404454014674,"gpt":0.2415382978423221,"spread":0.2137942533021754,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005218859,0.0007598288,0.0007637478,0.001467705,0.001843373,0.004978746,0.001204924,0.0009409263,0.03007414],"category_scores_gemma":[0.001132535,0.0005578054,0.0005056833,0.002198832,0.004215124,0.006032267,0.001756799,0.003598209,0.01447066],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002953686,"about_ca_system_score_gemma":0.002762475,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002000768,"about_ca_topic_score_gemma":0.002737368,"domain_scores_codex":[0.999447,0.0001352934,0.00001896786,0.00007592471,0.0002742032,0.00004867775],"domain_scores_gemma":[0.9997009,0.00009079508,0.00001427265,0.00006387792,0.00008696906,0.00004317513],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000005962821,0.00001239871,0.00001846149,0.00004883071,0.000002079191,0.000009516638,0.0000977223,0.0002083202,0.0000996247,0.9178692,0.05603233,0.02559565],"study_design_scores_gemma":[0.00000571249,0.000003858915,0.00002655495,0.00003996793,0.000001859636,0.00003120644,0.00006643896,0.0004017998,0.00006880135,0.755329,0.24402,0.000004821105],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001505223,0.0190151,0.05156753,0.006472785,0.002673738,0.00004284836,0.0002793262,0.0003576799,0.9180858],"genre_scores_gemma":[0.1211153,0.0332279,0.04948158,0.003449499,0.008375734,0.0002620623,0.00118965,0.0007489331,0.7821494],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.03007414,"threshold_uncertainty_score":0.1006081,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W60726562","doi":"10.1007/978-94-017-0452-6_4","title":"Basic Many-Valued Logic","year":2001,"lang":"en","type":"book-chapter","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":154,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Axiom; Computer science; Autoepistemic logic; Philosophy of logic; Dynamic logic (digital electronics); Many-valued logic; Independence (probability theory); Propositional calculus; Intermediate logic; Epistemology; Mathematics; Multimodal logic; Theoretical computer science; Programming language; Description logic; Philosophy; Engineering","authors":[{"name":"Alasdair Urquhart","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0326006419618631,"gpt":0.2449626669036918,"spread":0.2123620249418287,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003644539,0.00110436,0.0007393901,0.001237247,0.001415546,0.003165276,0.00105767,0.0007987939,0.02611023],"category_scores_gemma":[0.0005579535,0.0005230244,0.0005039191,0.002064981,0.002200128,0.005184752,0.001022115,0.002691472,0.01275957],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001713423,"about_ca_system_score_gemma":0.001131898,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008278062,"about_ca_topic_score_gemma":0.001338977,"domain_scores_codex":[0.9997666,0.00004050809,0.00001270387,0.00004092614,0.0001154574,0.00002362794],"domain_scores_gemma":[0.9998461,0.00005381279,0.000006939478,0.00003254474,0.00004611428,0.00001447331],"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.000003766896,0.00001308599,0.00001590999,0.00007223302,0.000002634595,0.0000159689,0.0001106626,0.0001913845,0.0002394568,0.9361709,0.02893591,0.03422807],"study_design_scores_gemma":[0.000003395723,0.000005335654,0.00005184632,0.00005081293,0.000003816953,0.00006705082,0.00002779437,0.0004528547,0.0001798202,0.7550261,0.2441253,0.000005969207],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001384743,0.01035944,0.04910804,0.001901926,0.0008003461,0.00004156812,0.0002928938,0.0003731549,0.9357379],"genre_scores_gemma":[0.07211384,0.01905313,0.03936376,0.001649764,0.001638559,0.0001825798,0.0009349416,0.0003889745,0.8646745],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.02611023,"threshold_uncertainty_score":0.08734745,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1120761376","doi":"10.1201/9781315273686","title":"Universal Algebra and Applications in Theoretical Computer Science","year":2018,"lang":"en","type":"book","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":134,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Lethbridge","funders":"","keywords":"Algebra over a field; Computer science; Universal algebra; Computational science; Mathematics; Pure mathematics","authors":[{"name":"Klaus Denecke","is_ca":false},{"name":"Shelly L. Wismath","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.00669435618951095,"gpt":0.2273005559057519,"spread":0.2206061997162409,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006373273,0.0008144411,0.0007447522,0.001873019,0.00182005,0.005590988,0.0008890518,0.0008549315,0.03339497],"category_scores_gemma":[0.002887027,0.0005323145,0.0007193191,0.003409495,0.002364095,0.007959901,0.002178967,0.003025688,0.01102046],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002809092,"about_ca_system_score_gemma":0.001709815,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001109205,"about_ca_topic_score_gemma":0.001533727,"domain_scores_codex":[0.9991254,0.0002227512,0.00004059191,0.0001342298,0.0004053338,0.00007166431],"domain_scores_gemma":[0.9990284,0.0005154606,0.00004392282,0.0001216893,0.0001986339,0.00009187887],"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.00000976453,0.00001493125,0.00009455956,0.0002404616,0.000008127879,0.0000565466,0.0004456338,0.0005884013,0.0004302932,0.8222,0.111162,0.06474932],"study_design_scores_gemma":[0.000003351214,0.000008938003,0.0001651129,0.0001753448,0.000005192458,0.0001813465,0.0001497326,0.001347481,0.0002010057,0.3079833,0.6897701,0.000009110561],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.002732461,0.06908127,0.07163747,0.007779266,0.005524468,0.0001221803,0.0002836298,0.001052925,0.8417861],"genre_scores_gemma":[0.06841809,0.07401796,0.07676972,0.005240611,0.007456393,0.0003187892,0.000865438,0.00111017,0.7658029],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.03339497,"threshold_uncertainty_score":0.1117173,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1986537785","doi":"10.1006/jctb.2000.1970","title":"Duality Theorems for Finite Structures (Characterising Gaps and Good Characterisations)","year":2000,"lang":"en","type":"article","venue":"Journal of Combinatorial Theory Series B","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":121,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Regina","funders":"","keywords":"Duality (order theory); Homomorphism; Mathematics; Pure mathematics; Order (exchange); Property (philosophy); Algebra over a field","authors":[{"name":"Jaroslav Nešetřil","is_ca":false},{"name":"Claude Tardif","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.009783662731557273,"gpt":0.2455368811306554,"spread":0.2357532183990981,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004257816,0.001079262,0.001803058,0.00513446,0.003431065,0.00638298,0.001891228,0.002670347,0.006339919],"category_scores_gemma":[0.007319712,0.001308432,0.002979497,0.004365896,0.008390442,0.01875438,0.005913928,0.008943553,0.0009887828],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002447782,"about_ca_system_score_gemma":0.0007783059,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001027135,"about_ca_topic_score_gemma":0.0006868928,"domain_scores_codex":[0.9977871,0.0007149974,0.0001405616,0.0005159482,0.0004089845,0.0004323839],"domain_scores_gemma":[0.9948453,0.00328804,0.0004668145,0.0004695649,0.0004704421,0.00045992],"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.00001512589,0.00001089775,0.00009042297,0.00002416082,0.000004120519,0.0000263649,0.0001683802,0.0001903049,0.0001316937,0.9969178,0.0005700948,0.001850475],"study_design_scores_gemma":[0.000005462651,0.000005789066,0.00005602269,0.00001007372,0.000004959789,0.00004295937,0.0000549001,0.0006425812,0.0001159425,0.9979025,0.001153863,0.000004976011],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2035499,0.006685051,0.573725,0.007507952,0.001170188,0.0001502624,0.0008722913,0.000546572,0.2057927],"genre_scores_gemma":[0.9047537,0.00243506,0.0721221,0.001380108,0.001084424,0.0002223476,0.0006111305,0.0001950899,0.01719606],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00638298,"threshold_uncertainty_score":0.02251774,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1520950860","doi":"10.1007/978-3-662-04943-3","title":"Boolean Functions and Computation Models","year":2002,"lang":"en","type":"book","venue":"Texts in theoretical computer science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":110,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Computation; Boolean function; Theoretical computer science; Algorithm","authors":[{"name":"Peter Clote","is_ca":false},{"name":"Evangelos Kranakis","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01847183979169236,"gpt":0.24875104320274,"spread":0.2302792034110476,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003440708,0.001299372,0.0009838571,0.001276826,0.001180793,0.003784638,0.001022664,0.0009259414,0.0245478],"category_scores_gemma":[0.001077451,0.0005127784,0.0007040604,0.00278967,0.002829513,0.007359134,0.0007771616,0.002574352,0.005385594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002680233,"about_ca_system_score_gemma":0.001242337,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002359113,"about_ca_topic_score_gemma":0.002412304,"domain_scores_codex":[0.9997253,0.00005720034,0.00001210285,0.00005522038,0.0001222496,0.00002787286],"domain_scores_gemma":[0.9996936,0.0001720407,0.00001359703,0.00005468582,0.00004550867,0.00002061487],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000003516167,0.000007799918,0.00001127241,0.00003660567,0.000002138813,0.000007942811,0.00005792265,0.0004212793,0.00007821553,0.9724478,0.01585678,0.01106878],"study_design_scores_gemma":[0.00000391576,0.000003782956,0.0000293851,0.00003285879,0.000003989505,0.0000252969,0.00002620281,0.001005797,0.00008334139,0.9246606,0.07412153,0.000003337559],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.004789965,0.03544634,0.09155139,0.008056113,0.001438644,0.00006737935,0.0005566136,0.0004591898,0.8576343],"genre_scores_gemma":[0.2171521,0.04268403,0.03832337,0.00277238,0.003363771,0.0005200511,0.00173514,0.0005083666,0.6929408],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.0245478,"threshold_uncertainty_score":0.08212054,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2000595177","doi":"10.1007/s10988-013-9130-8","title":"Constraints on the lexicalization of logical operators","year":2013,"lang":"en","type":"article","venue":"Linguistics and Philosophy","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":87,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Carleton University","funders":"Israel Science Foundation; Bar-Ilan University","keywords":"Markedness; Lexicalization; Implicature; Computer science; Linguistics; Negation; Philosophy of language; Axiom; Horn clause; Mathematics; Natural language processing; Pragmatics; Artificial intelligence; Programming language; Philosophy; Epistemology; Logic programming","authors":[{"name":"Roni Katzir","is_ca":false},{"name":"Raj Singh","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02995590427606405,"gpt":0.2463815541406155,"spread":0.2164256498645515,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01132906,0.001140062,0.001643642,0.003183674,0.004705533,0.01230062,0.003425171,0.003551748,0.01634132],"category_scores_gemma":[0.04410335,0.003082484,0.001765569,0.003215752,0.006260043,0.02706474,0.006772965,0.007690471,0.003710565],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0025879,"about_ca_system_score_gemma":0.003545184,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003972817,"about_ca_topic_score_gemma":0.005619735,"domain_scores_codex":[0.9822162,0.00872914,0.002734987,0.002312899,0.002662703,0.001344018],"domain_scores_gemma":[0.9464874,0.03284077,0.002196345,0.007284136,0.009953978,0.0012374],"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.0001693073,0.00007083942,0.0008466984,0.0001910316,0.0000443262,0.0002342838,0.001458114,0.0007036501,0.004395461,0.9702088,0.004255102,0.01742245],"study_design_scores_gemma":[0.00005743164,0.00003287609,0.0008353662,0.0001396274,0.00006553023,0.0001749277,0.00107331,0.003560343,0.003161465,0.9719087,0.0189384,0.00005199727],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1607496,0.002261139,0.6224627,0.01044139,0.001279568,0.0005471688,0.004984946,0.001956959,0.1953164],"genre_scores_gemma":[0.8316564,0.001238599,0.1432379,0.002199282,0.001172419,0.000558136,0.004427221,0.002090613,0.01341933],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01634132,"threshold_uncertainty_score":0.05991459,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2007471451","doi":"10.1007/s00233-005-0540-y","title":"The Category of S-Posets","year":2005,"lang":"en","type":"article","venue":"Semigroup Forum","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":83,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Wilfrid Laurier University","funders":"","keywords":"Mathematics; Monotone polygon; Action (physics); Cartesian closed category; Set (abstract data type); Closed category; Pure mathematics; Algebra over a field; Combinatorics; Discrete mathematics; Computer science; Geometry","authors":[{"name":"Sydney Bulman‐Fleming","is_ca":true},{"name":"Mojgan Mahmoudi","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.005953063401598615,"gpt":0.222598641082001,"spread":0.2166455776804024,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001042193,0.0005736008,0.0007358614,0.002974495,0.002295021,0.005035187,0.0009556382,0.001087269,0.0106304],"category_scores_gemma":[0.001664638,0.0004272069,0.0009703056,0.002417264,0.004195091,0.007447829,0.003235122,0.001349866,0.001290702],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001194674,"about_ca_system_score_gemma":0.0009934296,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001028517,"about_ca_topic_score_gemma":0.0005993182,"domain_scores_codex":[0.9989863,0.0002510486,0.00007014628,0.0002438373,0.0002849369,0.0001637093],"domain_scores_gemma":[0.9985178,0.0005410725,0.0001539973,0.0001424941,0.0002694491,0.000375103],"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.00002997826,0.000009584468,0.0002079757,0.00003410781,0.000005727625,0.00007213933,0.0002794186,0.0001517904,0.0005596487,0.992022,0.001551445,0.00507611],"study_design_scores_gemma":[0.00001867721,0.00003079369,0.0002621106,0.00002004587,0.000007948731,0.0002856657,0.0002211832,0.001228094,0.0005519121,0.9834494,0.01390967,0.00001438074],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.3827657,0.006298069,0.3030651,0.007181933,0.00125462,0.000134896,0.001877904,0.002125943,0.2952958],"genre_scores_gemma":[0.9403238,0.001473519,0.02176002,0.0006633753,0.0006399044,0.0001105926,0.00100023,0.0001448332,0.03388357],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0106304,"threshold_uncertainty_score":0.03556222,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2142792844","doi":"10.1109/icpr.1994.576970","title":"A theoretical analysis of the application of majority voting to pattern recognition","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":81,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Voting; Computer science; Majority rule; Variety (cybernetics); Machine learning; Artificial intelligence; Order (exchange); Pattern recognition (psychology); Political science","authors":[{"name":"Louisa Lam","is_ca":true},{"name":"Ching Y. Suen","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01735304487194541,"gpt":0.2411527481238169,"spread":0.2237997032518715,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00666607,0.0009530971,0.001511003,0.003101333,0.001828184,0.004219936,0.002878315,0.002710275,0.006497026],"category_scores_gemma":[0.01965581,0.001115586,0.001781598,0.003138897,0.007581032,0.007715945,0.002771509,0.002931543,0.001866895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002520169,"about_ca_system_score_gemma":0.001292617,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001050409,"about_ca_topic_score_gemma":0.0005677587,"domain_scores_codex":[0.9941059,0.001953206,0.0002639767,0.0007687237,0.002549371,0.0003587171],"domain_scores_gemma":[0.9904045,0.007294059,0.0003943279,0.0008518368,0.0009358766,0.0001193701],"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.00001532204,0.00001514411,0.0001192953,0.0001221745,0.00002693766,0.00003959455,0.00008630449,0.01279911,0.0004332484,0.9693395,0.001163924,0.01583941],"study_design_scores_gemma":[0.000008234169,0.00003146538,0.00008923632,0.00005801863,0.00001291689,0.00008264415,0.00002132512,0.0768085,0.0007703091,0.9161915,0.005909439,0.0000164642],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006022768,0.004294775,0.9620746,0.002354917,0.0003234222,0.00006749686,0.00007420337,0.0001153213,0.02467248],"genre_scores_gemma":[0.6246344,0.01118225,0.3351967,0.002179781,0.003157774,0.0006878888,0.0003244313,0.0002337227,0.02240308],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00666607,"threshold_uncertainty_score":0.03525394,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2053204108","doi":"10.1007/s00012-015-0327-2","title":"Characterizations of several Maltsev conditions","year":2015,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":65,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo; McMaster University","funders":"","keywords":"Unary operation; Mathematics; Congruence (geometry); Affine transformation; Type (biology); Pure mathematics; Discrete mathematics; Geometry","authors":[{"name":"Marcin Kozik","is_ca":false},{"name":"Andrei Krokhin","is_ca":false},{"name":"Matthew Valeriote","is_ca":true},{"name":"Ross Willard","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02284963998595889,"gpt":0.2414328027809453,"spread":0.2185831627949864,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001965106,0.0006610177,0.001232303,0.003801652,0.003746818,0.004698062,0.001470632,0.002215576,0.01282371],"category_scores_gemma":[0.007729893,0.0006984017,0.001409823,0.00268533,0.004888481,0.00896582,0.004297782,0.004099004,0.001298501],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00218738,"about_ca_system_score_gemma":0.001341958,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001044345,"about_ca_topic_score_gemma":0.001217837,"domain_scores_codex":[0.998464,0.0003442298,0.0001149762,0.000286839,0.0003802287,0.0004098299],"domain_scores_gemma":[0.9952009,0.002339361,0.000467817,0.0004274845,0.0007801396,0.0007842917],"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.00003681551,0.0000193907,0.0002445152,0.00001692287,0.000005723369,0.00005129311,0.0001388138,0.000181121,0.0004662383,0.9965313,0.0006883604,0.001619549],"study_design_scores_gemma":[0.00001892377,0.00001614711,0.000316611,0.00001626773,0.000009447338,0.00007703736,0.0001986716,0.002262153,0.0008174719,0.9940042,0.002246527,0.00001654303],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5159701,0.002012663,0.2119704,0.006145132,0.000571974,0.0002335197,0.001330741,0.0007107423,0.2610547],"genre_scores_gemma":[0.9652873,0.0005656462,0.01786703,0.0006894738,0.000347919,0.0001344972,0.0007450472,0.0001279832,0.0142351],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01282371,"threshold_uncertainty_score":0.04289955,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1611875164","doi":"10.1016/j.apal.2007.03.001","title":"First-order Gödel logics","year":2007,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":64,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Uncountable set; Negation; Mathematics; Interpretation (philosophy); Order (exchange); Combinatorics; Discrete mathematics; Finite set; Countable set; Computer science; Mathematical analysis","authors":[{"name":"Matthias Baaz","is_ca":false},{"name":"Norbert Preining","is_ca":false},{"name":"Richard Zach","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04747162189864145,"gpt":0.2948686843336565,"spread":0.247397062435015,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001287335,0.0005110389,0.0007260505,0.001661958,0.002026989,0.004189869,0.0009808999,0.0008705192,0.007322615],"category_scores_gemma":[0.001978238,0.0005117581,0.000765266,0.001685795,0.003803296,0.009724985,0.001599461,0.003370052,0.001044479],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001723671,"about_ca_system_score_gemma":0.001026043,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007870878,"about_ca_topic_score_gemma":0.001146473,"domain_scores_codex":[0.9993538,0.0001407923,0.00003824254,0.0001324588,0.0002504686,0.00008430696],"domain_scores_gemma":[0.9988673,0.000540064,0.00006399776,0.0001873003,0.0002070086,0.0001344392],"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.000008908724,0.000005495157,0.00004518566,0.00001223006,0.000003374512,0.00001172762,0.00007400373,0.0001198599,0.0001217761,0.9955444,0.001007685,0.003045406],"study_design_scores_gemma":[0.000003446139,0.000002012881,0.00004170395,0.000004615641,0.000004241941,0.00002745881,0.0000189996,0.0005925493,0.0001811299,0.9931264,0.00599378,0.000003640636],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1051061,0.0162437,0.4925861,0.01553479,0.001562848,0.0000567293,0.0009789394,0.001331339,0.3665994],"genre_scores_gemma":[0.8745167,0.005159471,0.06296078,0.001152376,0.001371692,0.00003912505,0.000633656,0.0001601779,0.05400594],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007322615,"threshold_uncertainty_score":0.02449656,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2148544922","doi":"10.1016/s0022-4049(02)00139-1","title":"On the quantisation of spaces","year":2002,"lang":"en","type":"article","venue":"Journal of Pure and Applied Algebra","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":58,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"York University","funders":"","keywords":"Mathematics; Unital; Pure mathematics; Space (punctuation); Topological space; Commutative property; Invariant (physics); Von Neumann architecture; Embedding; Algebra over a field","authors":[{"name":"Christopher J. Mulvey","is_ca":false},{"name":"Joan Wick Pelletier","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02097188276001035,"gpt":0.2273270454957179,"spread":0.2063551627357076,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006161629,0.0009483669,0.002084099,0.002889848,0.003786824,0.007558961,0.002631163,0.002293537,0.008360996],"category_scores_gemma":[0.009790086,0.001175028,0.001965336,0.004172899,0.01530294,0.02850466,0.007562407,0.007442918,0.0007261806],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003287842,"about_ca_system_score_gemma":0.001410921,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004049629,"about_ca_topic_score_gemma":0.003120074,"domain_scores_codex":[0.9967275,0.001196138,0.0002499374,0.0005378184,0.0008241159,0.0004644547],"domain_scores_gemma":[0.9921164,0.004991672,0.0004298974,0.001284791,0.0007544916,0.0004228212],"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.00001233784,0.000004870539,0.00005016473,0.00001439036,0.000004852337,0.00001119085,0.00020391,0.0002800257,0.00006770963,0.9972778,0.0004713246,0.001601446],"study_design_scores_gemma":[0.000008023534,0.000003829616,0.00004297899,0.000008082053,0.000003489809,0.000009281225,0.00004611034,0.0005258722,0.00004929676,0.9974378,0.001860616,0.000004575658],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2390417,0.02968372,0.4196482,0.02549789,0.002238695,0.0001445574,0.001159288,0.0006915652,0.2818943],"genre_scores_gemma":[0.9001799,0.007778001,0.05296642,0.001965035,0.001789725,0.0001386915,0.000763962,0.0002290531,0.0341893],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008360996,"threshold_uncertainty_score":0.03258622,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1963602153","doi":"10.1142/s0218196709004956","title":"ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS","year":2009,"lang":"en","type":"article","venue":"International Journal of Algebra and Computation","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":52,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics; Distributivity; Idempotence; Congruence (geometry); EXPTIME; Variety (cybernetics); Modularity (biology); Congruence relation; Polynomial; Algebra over a field; Universal algebra; Time complexity; Pure mathematics; Discrete mathematics; Computational complexity theory; Distributive property; Algorithm; PSPACE","authors":[{"name":"Ralph Freese","is_ca":false},{"name":"Matthew Valeriote","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03230162631810712,"gpt":0.3002791238380374,"spread":0.2679774975199303,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007630188,0.0009462459,0.002370891,0.00222955,0.003906732,0.007836657,0.003478548,0.003006822,0.01235722],"category_scores_gemma":[0.05636316,0.001407413,0.003713133,0.002397273,0.00793606,0.0245294,0.007594684,0.006103107,0.00113169],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003204476,"about_ca_system_score_gemma":0.003301926,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003474098,"about_ca_topic_score_gemma":0.002766184,"domain_scores_codex":[0.9880016,0.003269497,0.0009199802,0.002312862,0.003678835,0.001817248],"domain_scores_gemma":[0.8872479,0.09560525,0.004746938,0.007011375,0.002909829,0.002478674],"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.002181679,0.0006448163,0.01521858,0.0008315312,0.000227017,0.001026457,0.002000449,0.08416395,0.01190563,0.8164566,0.007841409,0.05750196],"study_design_scores_gemma":[0.0001935516,0.0001199406,0.001379761,0.0000500351,0.00007330412,0.0003009108,0.0004743826,0.1207653,0.006935331,0.8677043,0.001921058,0.00008209054],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7355402,0.00091739,0.2282954,0.008698531,0.0001576467,0.0006221186,0.002402067,0.002357463,0.02100914],"genre_scores_gemma":[0.920575,0.0004684233,0.07163566,0.0005733709,0.0002515002,0.0002409569,0.002438933,0.0003954847,0.003420582],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01235722,"threshold_uncertainty_score":0.04133898,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2037775432","doi":"10.1016/s0022-4049(02)00140-8","title":"Distributive laws and factorization","year":2002,"lang":"en","type":"article","venue":"Journal of Pure and Applied Algebra","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":51,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Dalhousie University; Mount Allison University","funders":"","keywords":"Distributive property; Factorization; Mathematics; Monad (category theory); Extension (predicate logic); Algebra over a field; Pure mathematics; Computer science; Functor; Algorithm","authors":[{"name":"Robert Rosebrugh","is_ca":true},{"name":"Richard J. Wood","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01304248990676374,"gpt":0.215605964805732,"spread":0.2025634748989683,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0020018,0.0005780212,0.001284634,0.001682497,0.004184945,0.00535466,0.0009179898,0.001190874,0.01271079],"category_scores_gemma":[0.004172596,0.000921305,0.001193702,0.002098156,0.01027392,0.01935382,0.002680256,0.003651056,0.001493165],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001714968,"about_ca_system_score_gemma":0.001197526,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002180713,"about_ca_topic_score_gemma":0.001901085,"domain_scores_codex":[0.9986791,0.000295769,0.0001164931,0.0004430411,0.000284152,0.0001813669],"domain_scores_gemma":[0.9976325,0.00115665,0.0001322294,0.0004680214,0.0004366623,0.0001739014],"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.000007859922,0.000008140828,0.00004617366,0.00000878609,0.000002258907,0.00001627954,0.0001927414,0.00005234382,0.00005428583,0.9969956,0.0005385041,0.002077129],"study_design_scores_gemma":[0.000004980071,0.0000023932,0.00003621136,0.000003072343,0.000002239844,0.00003190683,0.00003754363,0.0001557757,0.0000503324,0.9962567,0.003416373,0.00000245633],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1148213,0.01224816,0.4045548,0.01230688,0.001767146,0.0001363433,0.0007497352,0.0005899201,0.4528257],"genre_scores_gemma":[0.8923197,0.002967216,0.04109415,0.001025324,0.001369196,0.0001047645,0.0005033835,0.0001317815,0.0604845],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01271079,"threshold_uncertainty_score":0.04252177,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2318083694","doi":"10.4153/cjm-2011-087-3","title":"Finitely Related Algebras In CongruenceDistributive Varieties Have Near UnanimityTerms","year":2011,"lang":"en","type":"article","venue":"Canadian Journal of Mathematics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":50,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"Grantová Agentura České Republiky","keywords":"Unanimity; Mathematics; Decidability; Congruence (geometry); Distributive property; Constraint satisfaction problem; Equivalence (formal languages); Variety (cybernetics); Finitely-generated abelian group; Bounded function; Discrete mathematics; Pure mathematics","authors":[{"name":"Libor Barto","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03318852489675269,"gpt":0.2198954753888746,"spread":0.1867069504921219,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00226975,0.0004357155,0.0008606321,0.001012163,0.002227188,0.004329579,0.001091522,0.0008239359,0.003269436],"category_scores_gemma":[0.005977029,0.0006001825,0.001530176,0.001358662,0.004518939,0.01159283,0.003583654,0.002336206,0.0004394576],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001392663,"about_ca_system_score_gemma":0.0009455335,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001341884,"about_ca_topic_score_gemma":0.001199365,"domain_scores_codex":[0.9963118,0.0007512043,0.0004129821,0.001166397,0.0009949354,0.0003627077],"domain_scores_gemma":[0.9945782,0.002481537,0.0006202877,0.0009203744,0.0008509581,0.0005486266],"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.0001104463,0.00005878694,0.001545216,0.00008259873,0.00002698409,0.0002694594,0.001252344,0.001742404,0.005527454,0.9812455,0.0002691969,0.007869496],"study_design_scores_gemma":[0.00004451128,0.00007292873,0.0007841618,0.00002764783,0.00004704064,0.0004017371,0.0006078836,0.009198788,0.007585125,0.9736226,0.00757356,0.00003400544],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5320621,0.0008308613,0.4363197,0.0007834723,0.0001446816,0.0001669912,0.0003246899,0.000515568,0.02885191],"genre_scores_gemma":[0.9464729,0.0002020542,0.04710746,0.0001185961,0.0001299566,0.00009706758,0.0003390836,0.00006285943,0.005470074],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004329579,"threshold_uncertainty_score":0.01200372,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W597985463","doi":"10.1090/fim/015","title":"Lectures on Algebraic Model Theory","year":2001,"lang":"en","type":"book","venue":"American Mathematical Society eBooks","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":49,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Congruence (geometry); Differential (mechanical device); Mathematics; Algebra over a field; Algebraic number; Pure mathematics; Bibliography; Differential algebraic geometry; Differential algebra; Algebraic theory; Computer science; Differential equation; Ordinary differential equation; Mathematical analysis; Physics; Differential algebraic equation; Geometry; Library science","authors":[{"name":"Bradd Hart","is_ca":true},{"name":"Matthew Valeriote","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01442383377223438,"gpt":0.2472990325612446,"spread":0.2328751987890103,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000334198,0.0009666249,0.0006280231,0.0009847052,0.0008599595,0.002181616,0.0005284819,0.0006778105,0.08700368],"category_scores_gemma":[0.001041406,0.0003324664,0.0004701454,0.001712839,0.00079714,0.00346759,0.001131204,0.00219206,0.02648697],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001787533,"about_ca_system_score_gemma":0.001298219,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00142228,"about_ca_topic_score_gemma":0.003112542,"domain_scores_codex":[0.9997818,0.00002698807,0.000007536099,0.00004263168,0.0001084068,0.00003261118],"domain_scores_gemma":[0.9997298,0.00006648948,0.00001658627,0.00002728983,0.00007524422,0.00008465254],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001608384,0.00004357905,0.0001966312,0.0001787002,0.000008146871,0.000052033,0.0002541771,0.0004007691,0.0008448451,0.3547796,0.5754401,0.06778538],"study_design_scores_gemma":[0.000005902279,0.00001392212,0.0006081779,0.0001230491,0.000005184093,0.000103346,0.00007637654,0.0002350267,0.0001503537,0.166671,0.8320014,0.000006276332],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.003520489,0.04695752,0.009887693,0.009636953,0.005569529,0.0000271599,0.001449209,0.0004931838,0.9224583],"genre_scores_gemma":[0.04742574,0.03638998,0.00594214,0.001887636,0.00502552,0.00005739536,0.00155538,0.0002942438,0.9014219],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.08700368,"threshold_uncertainty_score":0.2910563,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2594244112","doi":"10.2307/2586531","title":"A finite basis theorem for residually finite, congruence meet-semidistributive varieties","year":2000,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Congruence (geometry); Mathematics; Variety (cybernetics); Pure mathematics; Finitely-generated abelian group; Algebra over a field; Discrete mathematics; Geometry","authors":[{"name":"Ross Willard","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01719232462789122,"gpt":0.2566598042498143,"spread":0.2394674796219231,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001958382,0.0002542313,0.0008601681,0.001075563,0.001254491,0.003569064,0.0009754517,0.0006263541,0.005911229],"category_scores_gemma":[0.004810364,0.000341291,0.001060773,0.0008339226,0.003659834,0.004437278,0.002425789,0.001926688,0.001054308],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001083833,"about_ca_system_score_gemma":0.0007725054,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000952405,"about_ca_topic_score_gemma":0.0007924247,"domain_scores_codex":[0.9984334,0.0002816888,0.0001169602,0.0003422085,0.0006063139,0.0002193418],"domain_scores_gemma":[0.9967945,0.001630748,0.0001655591,0.000453648,0.0007117001,0.0002439338],"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.00006890164,0.00003289652,0.0005132306,0.00004243854,0.00000935211,0.00006984399,0.000331231,0.001122692,0.002187914,0.9861107,0.0005325443,0.008978181],"study_design_scores_gemma":[0.00004604381,0.00005778966,0.000371419,0.00002604317,0.00001183258,0.0001250133,0.0002145073,0.01535411,0.006117873,0.9700792,0.007577219,0.00001885981],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2241162,0.0006462094,0.7172332,0.0009276097,0.0001411438,0.0001571332,0.000476187,0.0008257487,0.05547664],"genre_scores_gemma":[0.8944581,0.0001613653,0.09748193,0.0001768885,0.0001313839,0.0001419329,0.000531802,0.00009737828,0.006819222],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005911229,"threshold_uncertainty_score":0.01977503,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1522943816","doi":"10.1090/s0002-9939-02-06413-4","title":"Local indicability in ordered groups: Braids and elementary amenable groups","year":2002,"lang":"en","type":"article","venue":"Proceedings of the American Mathematical Society","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":38,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia; University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Braid; Mathematics; Mathematics education; Pure mathematics; Geography; Archaeology","authors":[{"name":"A. H. Rhemtulla","is_ca":true},{"name":"Dale Rolfsen","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01126839082288246,"gpt":0.2256046901699161,"spread":0.2143362993470336,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001008411,0.0005404514,0.0005015865,0.001419079,0.0008512809,0.002372432,0.0005246946,0.0004364658,0.006536849],"category_scores_gemma":[0.002526643,0.0002405738,0.000800712,0.0006918916,0.004364748,0.005492782,0.002171565,0.001600335,0.001277377],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006855538,"about_ca_system_score_gemma":0.0003672076,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004890505,"about_ca_topic_score_gemma":0.0004994075,"domain_scores_codex":[0.9989159,0.0002816675,0.00006397731,0.0002716997,0.00029328,0.000173456],"domain_scores_gemma":[0.9984016,0.0005223273,0.0002369256,0.0004219376,0.0001850574,0.0002320664],"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.00002381783,0.000009927327,0.0002787284,0.00002921735,0.000004677902,0.00006465187,0.0005675289,0.0004495695,0.00170794,0.9896159,0.0003526405,0.006895417],"study_design_scores_gemma":[0.000008287589,0.00003280957,0.0004843434,0.00002245987,0.00001356615,0.0001455572,0.0003210538,0.004573855,0.00342432,0.9824563,0.008497998,0.00001946266],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3300494,0.00160339,0.5182228,0.00102479,0.0003116517,0.00006750433,0.000305977,0.001327228,0.1470872],"genre_scores_gemma":[0.9470385,0.0005272487,0.02794868,0.0001655076,0.000286644,0.00005178248,0.0002370437,0.0002655206,0.02347915],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006536849,"threshold_uncertainty_score":0.02186793,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1585415359","doi":"10.1023/a:1021966832558","title":"A Compendium of Continuous Lattices in MIZAR","year":2002,"lang":"en","type":"article","venue":"Journal of Automated Reasoning","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Compendium; Mathematical proof; Programming language; Computer science; Correctness; Simple (philosophy); Proof assistant; Calculus (dental); Mathematics; Linguistics; Philosophy; Epistemology","authors":[{"name":"Grzegorz Bancerek","is_ca":false},{"name":"Piotr Rudnicki","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01328968098320752,"gpt":0.2462505761073052,"spread":0.2329608951240977,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006177136,0.001185896,0.001635625,0.003060834,0.001819697,0.007282186,0.004219651,0.001527709,0.01781217],"category_scores_gemma":[0.01149307,0.001962051,0.001714925,0.005596951,0.005383983,0.01220356,0.00352143,0.00675331,0.01093648],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002013397,"about_ca_system_score_gemma":0.002308282,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001248109,"about_ca_topic_score_gemma":0.002517286,"domain_scores_codex":[0.9954063,0.001252547,0.0007272982,0.0006805633,0.001725134,0.0002081995],"domain_scores_gemma":[0.992855,0.003457969,0.0002086472,0.001690596,0.001511374,0.000276367],"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.00005995283,0.00004275134,0.0001338275,0.0007030226,0.00003227554,0.0001091949,0.0004206308,0.003540808,0.0009669923,0.6695907,0.07021901,0.2541809],"study_design_scores_gemma":[0.00001983584,0.00004445486,0.0001468463,0.0001941795,0.00003379594,0.0002894808,0.00007213465,0.008307036,0.001148524,0.3748091,0.6148694,0.00006532466],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001899504,0.02432115,0.9155048,0.00514775,0.00506813,0.0001245386,0.001007957,0.002997286,0.04392894],"genre_scores_gemma":[0.03468683,0.02157741,0.8977556,0.002344901,0.008161903,0.0002601872,0.001892966,0.002928782,0.03039142],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01781217,"threshold_uncertainty_score":0.0595876,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4241161039","doi":"10.1111/j.0013-0427.2005.00410.x","title":"Consistent Rationalizability","year":2005,"lang":"en","type":"article","venue":"Economica","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Montréal","funders":"Università Bocconi","keywords":"Rationalizability; Binary relation; Mathematics; Consistency (knowledge bases); Extension (predicate logic); Completeness (order theory); Preference relation; Element (criminal law); Preference; Relation (database); Mathematical economics; Maximal element; Set (abstract data type); Pure mathematics; Discrete mathematics; Computer science; Statistics; Mathematical analysis","authors":[{"name":"Walter Bossert","is_ca":true},{"name":"Yves Sprumont","is_ca":true},{"name":"Kotaro Suzumura","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01015380130086226,"gpt":0.2131362981509792,"spread":0.2029824968501169,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006884384,0.0007018627,0.0009747461,0.001191544,0.001574476,0.00355106,0.001425971,0.00186361,0.009053998],"category_scores_gemma":[0.01670682,0.0006183013,0.002285699,0.0008158008,0.007360827,0.006679904,0.003964395,0.004244381,0.001062182],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002017064,"about_ca_system_score_gemma":0.002106155,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00117448,"about_ca_topic_score_gemma":0.0007935654,"domain_scores_codex":[0.9916053,0.002410605,0.000618097,0.002676219,0.001808732,0.0008810582],"domain_scores_gemma":[0.988267,0.004158283,0.001111194,0.004072711,0.00208612,0.0003047277],"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.00003168972,0.00002934145,0.0002695939,0.00005505769,0.00003453143,0.00009162234,0.0003163762,0.0008667509,0.0016832,0.987367,0.0007796871,0.00847516],"study_design_scores_gemma":[0.00005906168,0.00004602243,0.0003054232,0.0000339384,0.00003716032,0.0001287732,0.0001635277,0.003019847,0.002953801,0.9820011,0.01123124,0.00002001822],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08736874,0.0009437781,0.7165293,0.005559534,0.0004517471,0.0007619827,0.0004905225,0.001616928,0.1862774],"genre_scores_gemma":[0.8845662,0.0004403513,0.09397163,0.001210364,0.0003405458,0.0006757373,0.0004362125,0.0002477205,0.01811123],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009053998,"threshold_uncertainty_score":0.03640854,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2138244417","doi":"10.1016/j.topol.2009.03.038","title":"Ordered topological structures","year":2009,"lang":"en","type":"article","venue":"Topology and its Applications","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"York University","funders":"","keywords":"Mathematics; Topological space; Set (abstract data type); Topology (electrical circuits); Order (exchange); Metric (unit); Metric space; Pure mathematics; Combinatorics; Computer science","authors":[{"name":"Walter Tholen","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01419787685314485,"gpt":0.2792253692887519,"spread":0.265027492435607,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008538341,0.0009001658,0.0008311492,0.004342403,0.002355233,0.005575876,0.0009657513,0.001214062,0.01609586],"category_scores_gemma":[0.002185811,0.0005681943,0.0007635076,0.003578207,0.004196337,0.01001841,0.002772153,0.002452688,0.002821876],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001411524,"about_ca_system_score_gemma":0.0007441191,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005926814,"about_ca_topic_score_gemma":0.0005829486,"domain_scores_codex":[0.9989102,0.0002445618,0.00009358813,0.000245479,0.0003801027,0.0001260988],"domain_scores_gemma":[0.9986468,0.0004445272,0.0001300179,0.0002794754,0.0003116659,0.0001875404],"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.000004897411,0.000005338708,0.00002900941,0.00001245825,0.000001866292,0.00002625865,0.0001017418,0.00006921447,0.0001690447,0.9967828,0.0007296739,0.002067616],"study_design_scores_gemma":[0.000005012042,0.000007354015,0.00005658113,0.00001098854,0.000005532624,0.0001015742,0.0001223629,0.0006086268,0.0004127416,0.9838514,0.01481177,0.000006051001],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1350792,0.006753977,0.4244377,0.006100081,0.002024133,0.0001931795,0.00205849,0.0008908353,0.4224625],"genre_scores_gemma":[0.7785751,0.003865728,0.06927321,0.00113322,0.001519604,0.0002444589,0.002184992,0.0002944939,0.1429091],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01609586,"threshold_uncertainty_score":0.053846,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W154866314","doi":"10.1007/978-3-319-06413-0_3","title":"Planar Semimodular Lattices: Structure and Diagrams","year":2014,"lang":"en","type":"book-chapter","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Manitoba","funders":"","keywords":"Planar; Combinatorics; Mathematics; Computer science; Computer graphics (images)","authors":[{"name":"Gábor Czédli","is_ca":true},{"name":"George Grätzer","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01133303463871531,"gpt":0.2050776591154408,"spread":0.1937446244767255,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002640505,0.0005529075,0.0003872906,0.0009917459,0.0009331342,0.003314144,0.0008010776,0.0004597072,0.01795937],"category_scores_gemma":[0.0008603521,0.0005008047,0.0003669964,0.002072525,0.001554638,0.00442536,0.0009674269,0.001858668,0.005711811],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001188602,"about_ca_system_score_gemma":0.0007716859,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007153149,"about_ca_topic_score_gemma":0.001074641,"domain_scores_codex":[0.9997256,0.00006045015,0.00001377927,0.00005746632,0.0001171923,0.00002545875],"domain_scores_gemma":[0.9997824,0.00007981958,0.00002166253,0.00003260398,0.0000613219,0.00002209459],"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.000009889563,0.000007755923,0.00002032386,0.00007245644,0.000001846068,0.00001554165,0.0001245913,0.0003936701,0.0004939217,0.9584586,0.01045174,0.02994964],"study_design_scores_gemma":[0.000005539608,0.000007324525,0.00004284797,0.00003488415,0.000003187947,0.0001281889,0.00009439493,0.0008287862,0.0005851601,0.8266996,0.1715624,0.000007752118],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01639245,0.01177977,0.2089537,0.002655974,0.0011698,0.00009040814,0.001196496,0.0007069639,0.7570544],"genre_scores_gemma":[0.2969761,0.02162132,0.1921997,0.001202159,0.001302648,0.0002538247,0.002748626,0.00096867,0.4827269],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01795937,"threshold_uncertainty_score":0.06008005,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1590000758","doi":"10.2298/fil1602469p","title":"Proximal relator spaces","year":2016,"lang":"it","type":"article","venue":"Filomat","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Manitoba","funders":"Natural Sciences and Engineering Research Council of Canada; Türkiye Bilimsel ve Teknolojik Araştırma Kurumu","keywords":"Mathematics; Closure (psychology); Space (punctuation); Extension (predicate logic); Combinatorics; Pure mathematics","authors":[{"name":"J. F. Peters","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01660230729304342,"gpt":0.2366894592841708,"spread":0.2200871519911274,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003194283,0.001084232,0.00089363,0.002976662,0.002475191,0.004237573,0.001601205,0.00102253,0.01128971],"category_scores_gemma":[0.004219555,0.0004851308,0.001464602,0.002015449,0.004730321,0.01104074,0.006393756,0.00341575,0.002710598],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001901495,"about_ca_system_score_gemma":0.001018038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007276898,"about_ca_topic_score_gemma":0.000688799,"domain_scores_codex":[0.9958071,0.001193152,0.0003018964,0.001158022,0.001165422,0.0003744655],"domain_scores_gemma":[0.9975659,0.0007781102,0.0002853519,0.0004527152,0.0006074628,0.0003104726],"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.00001239458,0.000007802195,0.0001098346,0.00005148462,0.00000918475,0.00005682248,0.0002858954,0.0004646798,0.0003632337,0.9905342,0.0006824628,0.007422086],"study_design_scores_gemma":[0.000010605,0.00005272045,0.0002048046,0.00005417008,0.00001898032,0.0003397274,0.0003872583,0.003302681,0.0009205809,0.9189368,0.07574399,0.00002770148],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02895568,0.005373206,0.8622826,0.00147433,0.0006406176,0.0001615084,0.0007158161,0.000603652,0.0997926],"genre_scores_gemma":[0.5436281,0.004617633,0.3885125,0.001197798,0.001088357,0.0004928221,0.001353533,0.0004432164,0.05866615],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01128971,"threshold_uncertainty_score":0.03776789,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2026224392","doi":"10.1016/s0022-4049(01)00098-6","title":"Free μ-lattices","year":2002,"lang":"en","type":"article","venue":"Journal of Pure and Applied Algebra","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Unary operation; Mathematics; Decidability; Equivalence relation; Lattice (music); Combinatorics; Partially ordered set; Class (philosophy); Equivalence (formal languages); Discrete mathematics; Computer science; Physics","authors":[{"name":"Luigi Santocanale","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01730136863860692,"gpt":0.2263319497077195,"spread":0.2090305810691126,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001013788,0.0008003985,0.001016113,0.001970505,0.003733843,0.006301067,0.0013363,0.0007958922,0.02601505],"category_scores_gemma":[0.002621421,0.0008894865,0.0009754708,0.001566437,0.003367515,0.00830967,0.003286136,0.004114352,0.004714949],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001784529,"about_ca_system_score_gemma":0.001045602,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001049478,"about_ca_topic_score_gemma":0.001032025,"domain_scores_codex":[0.9989479,0.0001716571,0.0000624264,0.0002346145,0.0003885413,0.0001948361],"domain_scores_gemma":[0.9985018,0.0004723283,0.0001247062,0.0002330316,0.0002803127,0.000387877],"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.00004440346,0.00001917384,0.0001035168,0.00002044555,0.000007537786,0.00002683305,0.0001163403,0.000134255,0.0003477212,0.9921156,0.002276716,0.00478757],"study_design_scores_gemma":[0.00001114009,0.000005669522,0.00006748593,0.000006233323,0.00000664824,0.00006844579,0.00005085547,0.0003699747,0.0003977459,0.9899963,0.009010768,0.000008709942],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1570573,0.003790353,0.1873666,0.007821802,0.001965384,0.000114239,0.001812836,0.001673788,0.6383976],"genre_scores_gemma":[0.8236078,0.001172611,0.02582763,0.001134786,0.0009112173,0.00009555191,0.001015817,0.0003837753,0.1458508],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02601505,"threshold_uncertainty_score":0.08702898,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2055594915","doi":"10.4153/cjm-2009-023-2","title":"A Subalgebra Intersection Property for Congruence Distributive Varieties","year":2009,"lang":"en","type":"article","venue":"Canadian Journal of Mathematics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics; Unary operation; Distributive property; Idempotence; Subalgebra; Congruence (geometry); Property (philosophy); Pure mathematics; Intersection (aeronautics); Affine transformation; Algebra over a field; Discrete mathematics","authors":[{"name":"Matthew Valeriote","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01698646704635338,"gpt":0.2320665790006097,"spread":0.2150801119542563,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002916371,0.0003340731,0.001149131,0.001393869,0.003271124,0.00480855,0.001224418,0.0007071273,0.006641774],"category_scores_gemma":[0.01231528,0.0006374952,0.001198324,0.001860801,0.005203919,0.007989128,0.003670922,0.002644302,0.000675266],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001183609,"about_ca_system_score_gemma":0.001105855,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001220188,"about_ca_topic_score_gemma":0.0007367957,"domain_scores_codex":[0.9946682,0.0007777635,0.0003891996,0.001065417,0.002322104,0.0007772445],"domain_scores_gemma":[0.983763,0.008445957,0.001537579,0.002097975,0.002852599,0.001302987],"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.0001784718,0.0000864929,0.007644075,0.00006686369,0.0000435175,0.0005544305,0.00105949,0.001480747,0.004220259,0.9728482,0.001175308,0.01064218],"study_design_scores_gemma":[0.00005758873,0.00006790083,0.002471115,0.00003867014,0.00005362743,0.00119501,0.0006670599,0.01784593,0.01856125,0.9519176,0.007076131,0.00004814422],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.576484,0.0004494114,0.3602519,0.0007846333,0.0001129183,0.0001578756,0.0005019453,0.0007609968,0.06049629],"genre_scores_gemma":[0.9808846,0.00007920009,0.01676553,0.00007483611,0.00007788705,0.00006240544,0.000376297,0.00007915388,0.001600224],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006641774,"threshold_uncertainty_score":0.02221894,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2045590994","doi":"10.1002/malq.200810012","title":"Commutative rings whose ideals form an MV‐algebra","year":2009,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Mathematics; Commutative ring; Commutative algebra; Noncommutative ring; Class (philosophy); Semiprime ring; Pure mathematics; Commutative property; Maximal ideal; Artinian ring; Von Neumann regular ring; Local ring; Lattice (music); Ideal (ethics); Unit (ring theory); Ring (chemistry); Algebra over a field; Combinatorics; Law; Chemistry; Noetherian","authors":[{"name":"L. P. Belluce","is_ca":true},{"name":"Antonio Di Nola","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01908106264099546,"gpt":0.2846295600378421,"spread":0.2655484973968466,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001425887,0.0001916875,0.0004297049,0.0006893487,0.0009386328,0.002087638,0.0005258141,0.0002535083,0.003925208],"category_scores_gemma":[0.001333847,0.00020885,0.0004312429,0.0003420548,0.002512412,0.003364631,0.001457566,0.0007368792,0.0007253975],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004521415,"about_ca_system_score_gemma":0.000426544,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002875852,"about_ca_topic_score_gemma":0.0001840387,"domain_scores_codex":[0.9989644,0.0002430957,0.00006287525,0.0001843588,0.0003733624,0.0001718584],"domain_scores_gemma":[0.998838,0.0001929621,0.0002103311,0.0001422878,0.0002900449,0.0003264486],"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.0001201637,0.00004900273,0.001350619,0.00004214883,0.00001825947,0.0002018455,0.0004878754,0.0006572357,0.007683882,0.9818234,0.0006402811,0.006925206],"study_design_scores_gemma":[0.00008640906,0.0002918882,0.003419046,0.00004935027,0.00005258863,0.001614427,0.0008943636,0.01528916,0.01966485,0.9154468,0.04313435,0.00005660741],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7557591,0.001008321,0.152012,0.0007092122,0.0002341438,0.00008385961,0.0002064248,0.0004151593,0.08957181],"genre_scores_gemma":[0.9779585,0.0001488446,0.015097,0.0000823167,0.0001754591,0.0000260034,0.0000989022,0.00002373834,0.006389322],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003925208,"threshold_uncertainty_score":0.01313114,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3010545200","doi":"10.1007/jhep03(2021)124","title":"Two more fermionic minimal models","year":2021,"lang":"en","type":"article","venue":"Journal of High Energy Physics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Perimeter Institute; University of Waterloo","funders":"Institut Périmètre de physique théorique; Government of Canada; Ministry of Colleges and Universities; Innovation, Science and Economic Development Canada","keywords":"Minimal models; Minimal model; Unitary state; Symmetry (geometry); Unitarity; Work (physics); Type (biology); Global symmetry","authors":[],"retraction":null,"screen_n_in":null,"score":{"opus":0.01923568601799346,"gpt":0.2514655330656547,"spread":0.2322298470476612,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004898331,0.0005038408,0.0007057122,0.001149068,0.002397365,0.002330606,0.001002293,0.00213972,0.00957568],"category_scores_gemma":[0.001322804,0.0002705132,0.001120998,0.0004609819,0.001782726,0.002511645,0.001770553,0.001514929,0.0005861614],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008884117,"about_ca_system_score_gemma":0.0008263088,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001391312,"about_ca_topic_score_gemma":0.002563574,"domain_scores_codex":[0.9995882,0.00006981098,0.00002330832,0.00005667079,0.0001061082,0.0001559323],"domain_scores_gemma":[0.9996012,0.00009658925,0.00004427934,0.0000896022,0.00006500899,0.0001032856],"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.00003288363,0.00003771454,0.0003077984,0.00003423458,0.000006967937,0.000365414,0.000260232,0.000610089,0.001400501,0.9935928,0.001253326,0.002098048],"study_design_scores_gemma":[0.00006507282,0.00004897683,0.0006313442,0.00005194162,0.00002072744,0.0006173355,0.0005289006,0.01353197,0.001749772,0.9776474,0.005072606,0.0000339295],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7412016,0.0007863094,0.0262194,0.005755629,0.0005552953,0.00006325405,0.0002939437,0.00036803,0.2247564],"genre_scores_gemma":[0.9910875,0.00008387058,0.002824938,0.0002834831,0.00006607961,0.00002878988,0.0001097062,0.0000238097,0.005491771],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00957568,"threshold_uncertainty_score":0.03203386,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2996968996","doi":"10.1007/978-3-030-27093-3","title":"Combinatorial Set Theory of C*-Algebras","year":2019,"lang":"en","type":"book","venue":"Springer monographs in mathematics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"York University","funders":"","keywords":"Set (abstract data type); Realm; Operator (biology); Set theory; Commutative property; Doors; Algebra over a field; Mathematics; Bitwise operation; Computer science; Pure mathematics; Political science; Programming language; Chemistry","authors":[{"name":"Ilijas Farah","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02094504116464215,"gpt":0.2443450422390622,"spread":0.22340000107442,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003459002,0.0007740758,0.0008380369,0.00265821,0.00148291,0.004929558,0.001358337,0.0007151159,0.01337235],"category_scores_gemma":[0.0006448154,0.0004308819,0.0008290736,0.00420064,0.002127445,0.004243291,0.001003665,0.00264593,0.00232917],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002823254,"about_ca_system_score_gemma":0.001234534,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001737675,"about_ca_topic_score_gemma":0.001531284,"domain_scores_codex":[0.9995977,0.0000555341,0.00001983055,0.00006811386,0.0002208274,0.00003802151],"domain_scores_gemma":[0.9996935,0.0001153893,0.00002142532,0.00004314315,0.00008381972,0.00004271545],"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.000004256398,0.000006659343,0.00002358935,0.00004439128,0.000004315069,0.00001008107,0.00003254622,0.0004385449,0.0001925456,0.9828484,0.006211688,0.01018303],"study_design_scores_gemma":[0.00000392294,0.000004729235,0.00008142925,0.00002277353,0.000004603261,0.00005362082,0.00002305026,0.001386643,0.0001294674,0.967062,0.03122087,0.000006985324],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.02266485,0.02896971,0.1527027,0.003124241,0.001822996,0.00006924493,0.001043809,0.0004758951,0.7891266],"genre_scores_gemma":[0.5270326,0.03152889,0.1015981,0.001610528,0.005032004,0.0003051503,0.002999712,0.000501171,0.3293918],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01337235,"threshold_uncertainty_score":0.04473501,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2119670110","doi":"10.1007/s00500-007-0185-8","title":"On some properties of quasi-MV algebras and $$\\sqrt{^{\\prime}}$$ quasi-MV algebras. Part II","year":2007,"lang":"en","type":"article","venue":"Soft Computing","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"Institute of Population and Public Health; Generalitat de Catalunya","keywords":"Prime (order theory); Mathematics; Pure mathematics; Non-associative algebra; Representation (politics); Algebra over a field; Combinatorics; Algebra representation","authors":[{"name":"Félix Bou","is_ca":false},{"name":"Francesco Paoli","is_ca":false},{"name":"Antonio Ledda","is_ca":false},{"name":"Héctor Freytes","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0207798165463184,"gpt":0.2446420167734175,"spread":0.2238622002270991,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001781436,0.0004624131,0.0006031949,0.001640393,0.001554784,0.003284967,0.001070479,0.0009173231,0.01395964],"category_scores_gemma":[0.004504237,0.000366142,0.0009937874,0.001558127,0.003390297,0.006853524,0.001720818,0.002584278,0.001326764],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001444782,"about_ca_system_score_gemma":0.0006954793,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008489596,"about_ca_topic_score_gemma":0.0006841691,"domain_scores_codex":[0.999217,0.0001892643,0.00006716234,0.0001334602,0.0002544445,0.0001385823],"domain_scores_gemma":[0.9980251,0.001063672,0.0002226683,0.0001913073,0.0003223336,0.0001749318],"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.00001192093,0.00001189051,0.00008571006,0.0000255817,0.000004337529,0.00002792648,0.00009400329,0.0001318662,0.0003826285,0.9956872,0.0008543794,0.00268253],"study_design_scores_gemma":[0.000004638338,0.00001313886,0.0001856924,0.00001281401,0.000004900337,0.00009217265,0.00004902447,0.001205394,0.0003805964,0.9942585,0.003785927,0.000007076061],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2436795,0.01292431,0.3632081,0.009074233,0.001626965,0.0002189662,0.001476502,0.0004473026,0.3673441],"genre_scores_gemma":[0.9183518,0.004171581,0.04394741,0.00172624,0.002173299,0.0002164674,0.0007351799,0.0001430593,0.02853508],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01395964,"threshold_uncertainty_score":0.04669964,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2046052042","doi":"10.1007/s00493-006-0013-2","title":"Canonical Partitions Of Universal Structures","year":2006,"lang":"en","type":"article","venue":"COMBINATORICA","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Mathematics; Countable set; Combinatorics; Equivalence relation; Homogeneous; Equivalence (formal languages); Omega; Characterization (materials science); Discrete mathematics; Binary number; Equivalence class (music); Arithmetic","authors":[{"name":"C. Laflamme","is_ca":true},{"name":"N. Sauer","is_ca":true},{"name":"Vojkan Vuksanovic","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.007565791298253982,"gpt":0.2151086045218966,"spread":0.2075428132236426,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001346953,0.0009787476,0.00135885,0.003330242,0.005163276,0.008144491,0.001339076,0.001416225,0.01816946],"category_scores_gemma":[0.003303374,0.001253624,0.001586943,0.002728866,0.006303038,0.01246707,0.005545245,0.003600133,0.002629673],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002475513,"about_ca_system_score_gemma":0.001084139,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001690179,"about_ca_topic_score_gemma":0.002375574,"domain_scores_codex":[0.9977838,0.0004796858,0.0001224237,0.0005783296,0.0004105432,0.0006252274],"domain_scores_gemma":[0.9978743,0.0007008909,0.0001515495,0.0004249756,0.0003788509,0.0004694783],"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.00001464701,0.000005105603,0.0000640332,0.000007560005,0.000001982849,0.00001408612,0.0001763968,0.0000647252,0.0001130983,0.9979318,0.0003762037,0.001230336],"study_design_scores_gemma":[0.000008086183,0.000005094102,0.00009878796,0.000009020866,0.000007367301,0.00004905418,0.0001852128,0.0005566363,0.0003170055,0.9951846,0.003570074,0.000009144155],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4183356,0.001609564,0.2845475,0.002139801,0.0009828267,0.0001862373,0.001273949,0.001330687,0.2895937],"genre_scores_gemma":[0.9193448,0.0005459962,0.0246896,0.0003945428,0.0003563107,0.0001505334,0.0008246019,0.0005485599,0.053145],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01816946,"threshold_uncertainty_score":0.06078291,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2091429712","doi":"10.1007/s00012-011-0104-9","title":"A new look at the Jordan-Hölder theorem for semimodular lattices","year":2010,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematics; Congruence (geometry); Prime (order theory); Combinatorics; Lattice (music); Interval (graph theory); Geometry; Physics","authors":[{"name":"George Grätzer","is_ca":true},{"name":"J. B. Nation","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.008923169779203205,"gpt":0.2280015782004117,"spread":0.2190784084212085,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002442561,0.0005327422,0.001049097,0.001644893,0.002331293,0.005285491,0.001454248,0.001538048,0.01079074],"category_scores_gemma":[0.004929274,0.0004730814,0.001049005,0.002043094,0.007041046,0.02546819,0.003291263,0.005051556,0.001142441],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001578981,"about_ca_system_score_gemma":0.0007245382,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009634382,"about_ca_topic_score_gemma":0.001069696,"domain_scores_codex":[0.9990022,0.0003115322,0.00004918706,0.0001840755,0.0003325646,0.0001204941],"domain_scores_gemma":[0.9981431,0.0009201819,0.0001368908,0.0003099077,0.000314885,0.0001752111],"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.000006154172,0.00000468618,0.00003359774,0.00001105021,0.000002018958,0.00001286721,0.00005843623,0.0001161293,0.0001168149,0.996689,0.0009916076,0.001957788],"study_design_scores_gemma":[0.000002803703,0.000003837632,0.00002343908,0.000004509815,0.000001446178,0.00002212817,0.0000287177,0.0006593544,0.00009568678,0.9950488,0.004104753,0.000004388673],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08217056,0.01318107,0.5823416,0.03469335,0.002294865,0.00004352287,0.0005373878,0.0006620373,0.2840756],"genre_scores_gemma":[0.7964098,0.007555516,0.1091917,0.007316011,0.006864041,0.00007586722,0.0004238408,0.0005540477,0.07160925],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01079074,"threshold_uncertainty_score":0.0360986,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2086699431","doi":"10.1007/pl00000344","title":"Natural dualities for quasivarieties generated by a finite commutative ring","year":2001,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo; Queen's University","funders":"","keywords":"Commutative ring; Mathematics; Jacobson radical; Prime (order theory); Equivalence (formal languages); Ring (chemistry); Commutative property; Dual (grammatical number); Pure mathematics; Primary ideal; Combinatorics; Discrete mathematics; Algebra over a field; Principal ideal ring","authors":[{"name":"David M. Clark","is_ca":false},{"name":"Paweł M. Idziak","is_ca":false},{"name":"L. Sabourin","is_ca":true},{"name":"Csaba Szabó","is_ca":false},{"name":"Ross Willard","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01555149793469895,"gpt":0.2421788011705883,"spread":0.2266273032358894,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002118873,0.0004948081,0.0006404165,0.002489949,0.002969934,0.00420839,0.0009448233,0.0007731248,0.005598381],"category_scores_gemma":[0.001749291,0.0006595801,0.001101459,0.001139123,0.003965766,0.009286215,0.002836893,0.00280855,0.0005225186],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001629461,"about_ca_system_score_gemma":0.0006290097,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006842128,"about_ca_topic_score_gemma":0.0009650476,"domain_scores_codex":[0.998971,0.0002323035,0.00007395695,0.0002501492,0.0002331474,0.0002394679],"domain_scores_gemma":[0.9985875,0.000518865,0.0001676655,0.0001098112,0.0001971603,0.0004191399],"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.00006137497,0.00003825438,0.0002520007,0.00001838244,0.000006006955,0.00006082283,0.000348765,0.00009898123,0.0006379532,0.9962714,0.0003295991,0.00187641],"study_design_scores_gemma":[0.00005364985,0.00003739154,0.0004335085,0.00001543612,0.00002365077,0.000264783,0.0002899152,0.001646574,0.001245228,0.9912635,0.004708007,0.00001837209],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7328151,0.001992784,0.1578938,0.002382258,0.0006054509,0.0001303753,0.0005696506,0.0004010422,0.1032096],"genre_scores_gemma":[0.9658813,0.0004391686,0.01730185,0.0002272965,0.0003392981,0.00008220993,0.00032494,0.00006048199,0.01534351],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005598381,"threshold_uncertainty_score":0.01872849,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1985762660","doi":"10.1080/03081080601084112","title":"On Tate's trace","year":2007,"lang":"en","type":"article","venue":"Linear and Multilinear Algebra","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Regina","funders":"","keywords":"TRACE (psycholinguistics); Mathematics; Subject (documents); Algebra over a field; Pure mathematics; Computer science; Linguistics; Philosophy; Library science","authors":[{"name":"Martín Argerami","is_ca":true},{"name":"Fernando Szechtman","is_ca":true},{"name":"Ryan M. Tifenbach","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01217836327322993,"gpt":0.2713606514743936,"spread":0.2591822882011637,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002006668,0.0003239901,0.0009853063,0.001163972,0.002540787,0.003096318,0.0007754638,0.001530698,0.01585408],"category_scores_gemma":[0.009202898,0.0003353859,0.000905582,0.001426384,0.006494195,0.008430506,0.002665637,0.002933844,0.001160485],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001084833,"about_ca_system_score_gemma":0.0008245764,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001290952,"about_ca_topic_score_gemma":0.0004342462,"domain_scores_codex":[0.998696,0.0003593493,0.00008363178,0.0002634085,0.0002752622,0.0003223599],"domain_scores_gemma":[0.9964806,0.00192721,0.0002530821,0.000470729,0.0005598901,0.0003083917],"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.00002246758,0.000009296292,0.000173213,0.00001777803,0.000004429136,0.00006870196,0.0002499602,0.0002174869,0.0001699035,0.9955778,0.000897113,0.002591909],"study_design_scores_gemma":[0.000005338869,0.000008844548,0.00005449433,0.000006301484,0.000002387189,0.00005219674,0.00008377184,0.001393539,0.0001927168,0.9969686,0.001226466,0.00000538865],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5289125,0.00151869,0.2060617,0.01534348,0.0009377128,0.00009418708,0.0004260756,0.0009124496,0.2457932],"genre_scores_gemma":[0.9807574,0.0002584831,0.004714163,0.0006738277,0.0003529542,0.00002709676,0.00010953,0.00007994987,0.01302654],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01585408,"threshold_uncertainty_score":0.05303723,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1965001312","doi":"10.1007/s11083-011-9234-0","title":"MV-semirings and their Sheaf Representations","year":2011,"lang":"en","type":"article","venue":"Order","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Mathematics; Semiring; Sheaf; Commutative property; Equivalence (formal languages); Representation (politics); Pure mathematics; Idempotence; Algebra over a field; Prime (order theory); Categorical variable; Kleene algebra; Class (philosophy); Discrete mathematics; Combinatorics; Computer science","authors":[{"name":"L. P. Belluce","is_ca":true},{"name":"Antonio Di Nola","is_ca":false},{"name":"Anna Rita Ferraioli","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02919570014018854,"gpt":0.2387230834537752,"spread":0.2095273833135867,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001120381,0.000591381,0.0006755846,0.003337643,0.001654481,0.003795856,0.0007567876,0.0008082719,0.009516874],"category_scores_gemma":[0.002473496,0.0004809226,0.0008679268,0.002713688,0.002461708,0.006887446,0.001833545,0.002054068,0.001530099],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009411564,"about_ca_system_score_gemma":0.0004758976,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008573891,"about_ca_topic_score_gemma":0.0007160007,"domain_scores_codex":[0.9991997,0.0001800655,0.00008502333,0.0001323906,0.0002493575,0.000153572],"domain_scores_gemma":[0.9987362,0.0004239591,0.0001930212,0.000179527,0.0002349651,0.0002322791],"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.00001946071,0.000008706423,0.00008037881,0.00001094903,0.000003754022,0.00002621576,0.0002230153,0.0001134052,0.0002611566,0.9957621,0.0003417721,0.003149118],"study_design_scores_gemma":[0.000009335972,0.00001317219,0.0001235182,0.00001041557,0.000007119407,0.00008925255,0.000124831,0.00116619,0.0003405806,0.9939406,0.004165615,0.000009494132],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4934982,0.003844672,0.322402,0.003018642,0.0006669977,0.0001033053,0.001309256,0.0008052107,0.1743516],"genre_scores_gemma":[0.9407457,0.001149697,0.0260978,0.0002605868,0.0004256521,0.00006510726,0.0005001255,0.0001314552,0.03062387],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009516874,"threshold_uncertainty_score":0.03183711,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2155437720","doi":"10.1017/bsl.2015.10","title":"HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC","year":2015,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Habilitation; Axiom; Decision problem; Algebra over a field; Modal logic; Computer science; Order (exchange); Decision table; Calculus (dental); Mathematics; Algorithm; Artificial intelligence; Philosophy; Modal; Pure mathematics; Humanities","authors":[{"name":"Paolo Mancosu","is_ca":true},{"name":"Richard Zach","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01949970764137757,"gpt":0.2356669271798566,"spread":0.216167219538479,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00195251,0.0006896694,0.0005569814,0.001369768,0.001530339,0.002774961,0.0004269439,0.001214916,0.006795964],"category_scores_gemma":[0.004240359,0.0004324552,0.0007881487,0.001539535,0.006175919,0.004160232,0.001163288,0.003005734,0.002232962],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008737938,"about_ca_system_score_gemma":0.002232542,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007280728,"about_ca_topic_score_gemma":0.003206996,"domain_scores_codex":[0.9981024,0.0006372876,0.0001237245,0.0003983173,0.0004765618,0.0002617604],"domain_scores_gemma":[0.9987679,0.0008848207,0.00005291178,0.00006273622,0.000161729,0.00007008442],"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.00002347811,0.000008205547,0.00006909898,0.00004581665,0.000008620351,0.00003295414,0.000140695,0.0007726112,0.0001951657,0.9758228,0.01334174,0.009538808],"study_design_scores_gemma":[0.00001443663,0.00001123214,0.000213619,0.00006850286,0.000008119659,0.00005064165,0.00004416508,0.001043622,0.00062862,0.8693028,0.1285965,0.00001771808],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.03325318,0.1690878,0.1784329,0.1213741,0.0101682,0.0001356679,0.001758127,0.0003942753,0.4853957],"genre_scores_gemma":[0.7857266,0.03900094,0.04073912,0.00725729,0.006669255,0.0001576392,0.0006554433,0.000153943,0.1196398],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008737938,"threshold_uncertainty_score":0.06339848,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2093448135","doi":"10.1016/s0012-365x(00)00166-7","title":"On generalized constraints and certificates","year":2001,"lang":"en","type":"article","venue":"Discrete Mathematics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"University of Calgary","keywords":"Mathematics; Boolean function; Boolean expression; Permutation (music); Constant (computer programming); Discrete mathematics; Parity function; Set (abstract data type); Complete Boolean algebra; Maximum satisfiability problem; Boolean network; Two-element Boolean algebra; Product term; Standard Boolean model; Combinatorics; And-inverter graph; Algebra over a field; Computer science; Pure mathematics","authors":[{"name":"Lisa Hellerstein","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02833773675154287,"gpt":0.2662817561944066,"spread":0.2379440194428637,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0030384,0.001441854,0.001893347,0.002677851,0.003960378,0.005773769,0.002791303,0.002370362,0.0184717],"category_scores_gemma":[0.0118371,0.001261194,0.002209993,0.00595614,0.01093027,0.02603104,0.007619566,0.008928055,0.001930843],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003369726,"about_ca_system_score_gemma":0.001749012,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005264577,"about_ca_topic_score_gemma":0.003802415,"domain_scores_codex":[0.9968036,0.001175139,0.0001783777,0.000700958,0.0007706429,0.0003713218],"domain_scores_gemma":[0.9922937,0.00477941,0.0004032845,0.001302572,0.0008271089,0.0003938982],"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.000009523511,0.00000400687,0.00003031569,0.00001728967,0.000003106701,0.00002381222,0.00009553015,0.000432407,0.00003115693,0.9964336,0.001028666,0.001890559],"study_design_scores_gemma":[0.000004827728,0.000001973733,0.0000193867,0.000009588639,0.000003266193,0.00001783904,0.00003083942,0.0006359782,0.00003165252,0.9958299,0.003411481,0.000003326559],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06492867,0.005844478,0.5473609,0.01711988,0.001915691,0.0001981373,0.001188554,0.0005093103,0.3609344],"genre_scores_gemma":[0.7879345,0.006950759,0.09676694,0.002885452,0.002527112,0.0003299224,0.00182293,0.0005664516,0.1002159],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0184717,"threshold_uncertainty_score":0.06179392,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2053628678","doi":"10.4153/cjm-2001-015-6","title":"<i>R</i>-Diagonal Elements and Freeness With Amalgamation","year":2001,"lang":"en","type":"article","venue":"Canadian Journal of Mathematics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":28,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Deutsche Forschungsgemeinschaft; Canadian Mathematical Society; National Science Foundation","keywords":"Diagonal; Mathematics; Class (philosophy); Element (criminal law); Pure mathematics; Algebra over a field; Geometry; Artificial intelligence; Law; Computer science","authors":[{"name":"Alexandru Nica","is_ca":true},{"name":"Dimitri Shlyakhtenko","is_ca":false},{"name":"Roland Speicher","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01277090885064501,"gpt":0.2074198811738972,"spread":0.1946489723232522,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001648788,0.0003411387,0.0004472715,0.0009374383,0.001518147,0.002491507,0.0009852317,0.001067828,0.006142433],"category_scores_gemma":[0.002728613,0.0003739715,0.0008638041,0.0005809878,0.006134841,0.004497082,0.003609808,0.00221919,0.0009337798],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007986284,"about_ca_system_score_gemma":0.000482374,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007782265,"about_ca_topic_score_gemma":0.0004677556,"domain_scores_codex":[0.9984002,0.0004990082,0.0001137274,0.0003183368,0.0003766201,0.0002921922],"domain_scores_gemma":[0.9975175,0.000865893,0.0003043795,0.0006154983,0.0004147468,0.0002820282],"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.00001344764,0.000006339524,0.00009202545,0.000009919715,0.000002679574,0.00004570006,0.0001783121,0.0002304115,0.0007819452,0.996514,0.0003487112,0.001776582],"study_design_scores_gemma":[0.00000613868,0.00001842341,0.00009065744,0.000007282012,0.0000041607,0.0001095434,0.00007411392,0.002822063,0.001376739,0.9914949,0.003980915,0.00001505413],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3410901,0.001014157,0.5048614,0.002958494,0.0006614844,0.0000729538,0.0001565015,0.0009502833,0.1482346],"genre_scores_gemma":[0.9517151,0.0001482509,0.03300131,0.0003678639,0.0002973829,0.00004273382,0.00006520655,0.0001150214,0.01424716],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006142433,"threshold_uncertainty_score":0.02054852,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2078516608","doi":"10.1016/s0022-4049(01)00097-4","title":"A basic distributive law","year":2002,"lang":"en","type":"article","venue":"Journal of Pure and Applied Algebra","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":28,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Dalhousie University; Mount Allison University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Distributive property; Monad (category theory); Mathematics; Pure mathematics; Context (archaeology); Law; Algebra over a field; Functor; Political science","authors":[{"name":"F. Marmolejo","is_ca":false},{"name":"Robert Rosebrugh","is_ca":true},{"name":"Richard J. Wood","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01344918317022743,"gpt":0.2179630683649356,"spread":0.2045138851947082,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001568754,0.0005226755,0.001011572,0.001548528,0.004076182,0.004625015,0.001255704,0.00189252,0.01755061],"category_scores_gemma":[0.002931631,0.0006821267,0.001089659,0.001680935,0.009381763,0.01320166,0.002946761,0.004252186,0.00317822],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001289344,"about_ca_system_score_gemma":0.001133581,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008142957,"about_ca_topic_score_gemma":0.0006998996,"domain_scores_codex":[0.9987704,0.0002370567,0.00007963346,0.0003934186,0.0003723821,0.0001470443],"domain_scores_gemma":[0.9982018,0.000741029,0.00006921426,0.0004194473,0.0004280683,0.0001403837],"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.000003472302,0.000004701,0.00001455214,0.000005727408,0.000001455991,0.000007991272,0.0000457905,0.00001828866,0.00006669707,0.9971786,0.0009537487,0.001699038],"study_design_scores_gemma":[0.000004568573,0.000002358946,0.00002757024,0.000003023023,0.00000201634,0.00002886216,0.00001000075,0.0001117754,0.00007140463,0.9919653,0.007770734,0.000002391054],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.03886178,0.003792406,0.2918704,0.01377577,0.002004262,0.0001182231,0.0009323278,0.0005829219,0.6480619],"genre_scores_gemma":[0.7792557,0.002690425,0.06087084,0.004201832,0.004362465,0.0003307682,0.0007240955,0.000362909,0.1472011],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01755061,"threshold_uncertainty_score":0.05871266,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2040487904","doi":"10.1016/j.disc.2009.04.009","title":"Generalizations of Świerczkowski’s lemma and the arity gap of finite functions","year":2009,"lang":"en","type":"article","venue":"Discrete Mathematics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Arity; Mathematics; Unary operation; Lemma (botany); Generalization; Discrete mathematics; Projection (relational algebra); Finite set; Characterization (materials science); Combinatorics; Set (abstract data type); Algorithm; Computer science; Mathematical analysis","authors":[{"name":"Miguel Couceiro","is_ca":false},{"name":"Erkko Lehtonen","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02387652398591051,"gpt":0.2539666835169974,"spread":0.2300901595310869,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003741488,0.001102777,0.001921245,0.00377214,0.002343817,0.003820153,0.002674157,0.002043659,0.007499791],"category_scores_gemma":[0.009930969,0.001047258,0.002895206,0.003506776,0.009254739,0.02682677,0.006537887,0.008958362,0.000816882],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002545398,"about_ca_system_score_gemma":0.0009647089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002463816,"about_ca_topic_score_gemma":0.001141062,"domain_scores_codex":[0.9980243,0.0003945704,0.0001890647,0.0005858362,0.0005016674,0.0003045394],"domain_scores_gemma":[0.9939312,0.003557902,0.0004001451,0.001191452,0.0004798237,0.0004395126],"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.00002769203,0.00001078693,0.0001733327,0.0000315016,0.000009587749,0.00006034477,0.0001987713,0.0004043311,0.00033602,0.9957622,0.0005646804,0.002420726],"study_design_scores_gemma":[0.00000696453,0.000004622194,0.000127972,0.000005342499,0.00000627515,0.0000364031,0.00002462518,0.0008585862,0.0001062872,0.9975836,0.001230043,0.000009215616],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3267509,0.009478765,0.4531255,0.01636967,0.00229068,0.0000840005,0.001056256,0.0006230014,0.1902213],"genre_scores_gemma":[0.9368905,0.003416057,0.03329269,0.001838072,0.002480177,0.0001200229,0.0004553722,0.0003314179,0.02117555],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007499791,"threshold_uncertainty_score":0.02508926,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1964472717","doi":"10.1007/s11225-005-2805-6","title":"Representations of monadic MV -algebras","year":2005,"lang":"en","type":"article","venue":"Studia Logica","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Subalgebra; Mathematics; Finitely-generated abelian group; Algebra over a field; Pure mathematics; Characterization (materials science); Discrete mathematics; Physics","authors":[{"name":"L. P. Belluce","is_ca":true},{"name":"Revaz Grigolia","is_ca":false},{"name":"Ada Lettieri","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0224064972674812,"gpt":0.2806372452550117,"spread":0.2582307479875305,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001326913,0.0006509415,0.0009329119,0.001834285,0.001764823,0.005188088,0.001384857,0.001007864,0.01073624],"category_scores_gemma":[0.002077128,0.0005034351,0.001115126,0.001846322,0.001940395,0.007446526,0.001895053,0.002615082,0.001461175],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001617813,"about_ca_system_score_gemma":0.0006827078,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001262258,"about_ca_topic_score_gemma":0.001444591,"domain_scores_codex":[0.9991193,0.0002315402,0.00006739766,0.0001425128,0.0002568162,0.0001824023],"domain_scores_gemma":[0.9990851,0.0002318783,0.000131997,0.0001551651,0.0002073357,0.0001885544],"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.00001534592,0.000007648548,0.00003941101,0.00001183672,0.000004053789,0.00001375534,0.0001071715,0.0001760074,0.000259344,0.9967673,0.00040513,0.002193049],"study_design_scores_gemma":[0.00001150531,0.000008120899,0.00006462088,0.000009437332,0.000006991325,0.00003489221,0.00006920139,0.001533097,0.0002189556,0.9940892,0.003945854,0.000008147352],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2531763,0.004443298,0.5165558,0.003540866,0.001206452,0.0001189719,0.001304959,0.001475182,0.2181782],"genre_scores_gemma":[0.9134445,0.001287034,0.04149625,0.0004481866,0.0007445297,0.00009496542,0.0008965497,0.000202123,0.04138593],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01073624,"threshold_uncertainty_score":0.03591627,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2004738733","doi":"10.1017/s1446788708000311","title":"VARIETIES GENERATED BY COMPLETELY 0-SIMPLE SEMIGROUPS","year":2008,"lang":"en","type":"article","venue":"Journal of the Australian Mathematical Society","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Mathematics; Subvariety; Simple (philosophy); Variety (cybernetics); Set (abstract data type); Exponent; Pure mathematics; Discrete mathematics; Computer science; Statistics","authors":[{"name":"Norman R. Reilly","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04081405847437331,"gpt":0.2583620564928636,"spread":0.2175479980184903,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008672493,0.0002205805,0.000411189,0.0008923188,0.0008138085,0.00151778,0.0003277243,0.0001645166,0.001964431],"category_scores_gemma":[0.001095483,0.0002855909,0.0005210385,0.0003952787,0.00222539,0.001854704,0.00168267,0.0004409415,0.0002164958],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005622489,"about_ca_system_score_gemma":0.0003396753,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003863114,"about_ca_topic_score_gemma":0.0003756507,"domain_scores_codex":[0.9993466,0.0001896149,0.00006173021,0.0001197638,0.0002019367,0.00008046225],"domain_scores_gemma":[0.9988568,0.0004075105,0.0002099679,0.0001284479,0.0001660224,0.0002313196],"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.0002028714,0.00003149259,0.002236031,0.00006804977,0.00002278264,0.0005996449,0.001521896,0.002589012,0.01593603,0.9703346,0.0005690884,0.005888537],"study_design_scores_gemma":[0.0001218316,0.0003489948,0.006603922,0.00004296411,0.00003829589,0.001143934,0.0009588438,0.007821897,0.01206159,0.953901,0.01688566,0.00007112516],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9468762,0.0005121552,0.02360772,0.0002125318,0.00006769038,0.00004238869,0.0001074503,0.0001078997,0.02846593],"genre_scores_gemma":[0.9927588,0.0001054006,0.003307846,0.00003260926,0.00006137465,0.00001791406,0.0001160811,0.000007939899,0.00359207],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.001964431,"threshold_uncertainty_score":0.006571651,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1963598054","doi":"10.1007/s11083-012-9281-1","title":"Notes on Planar Semimodular Lattices. VII. Resections of Planar Semimodular Lattices","year":2012,"lang":"en","type":"article","venue":"Order","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Manitoba","funders":"","keywords":"Distributive property; Planar; Combinatorics; Mathematics; Distributive lattice; Computer science; Pure mathematics","authors":[{"name":"Gábor Czédli","is_ca":false},{"name":"George Grätzer","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02726602632467901,"gpt":0.2746508667821295,"spread":0.2473848404574505,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003093775,0.0004994358,0.0003220525,0.0009511499,0.0009231903,0.001522531,0.0005077873,0.0005278569,0.01177494],"category_scores_gemma":[0.0009985084,0.0002826106,0.0005923175,0.001174308,0.002700611,0.003087551,0.001596379,0.002845272,0.003047945],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001139492,"about_ca_system_score_gemma":0.0004265387,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001377544,"about_ca_topic_score_gemma":0.001569056,"domain_scores_codex":[0.9997335,0.00004266224,0.00001771894,0.00005010921,0.0001087294,0.00004729689],"domain_scores_gemma":[0.9996792,0.0001457529,0.00003653274,0.00004903305,0.00005369401,0.00003565023],"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.00003099304,0.000009028648,0.00005804483,0.00008559976,0.000005118046,0.00008794809,0.0002074855,0.0008345811,0.001594292,0.9731367,0.006634317,0.01731593],"study_design_scores_gemma":[0.000007560013,0.00002294199,0.0002336829,0.00002140244,0.00000656472,0.0001496013,0.000236124,0.0005954221,0.001644878,0.9250368,0.07203395,0.00001101287],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.05996724,0.01640453,0.2013647,0.009186684,0.00271638,0.00008910024,0.001418454,0.0005483046,0.7083046],"genre_scores_gemma":[0.6433243,0.01944178,0.0875422,0.0030341,0.002157969,0.0001474589,0.001585776,0.0003146858,0.2424517],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01177494,"threshold_uncertainty_score":0.03939104,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W17485640","doi":"10.70930/tac/3t10x9pb","title":"On extensions of lax monads","year":2004,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false},"ca_institutions":"","funders":"Fundação para a Ciência e a Tecnologia; Universidade de Coimbra","keywords":"Monad (category theory); Ultrafilter; Mathematics; Pure mathematics; Morphism; Descent (aeronautics); Extension (predicate logic); Section (typography); Tensor product; Algebra over a field; Discrete mathematics; Computer science; Functor","authors":[{"name":"Maria Manuel Clementino","is_ca":false},{"name":"Dirk Hofmann","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.007629653076829406,"gpt":0.2417868340842249,"spread":0.2341571810073955,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002018237,0.0005565452,0.0005511007,0.00146346,0.002076214,0.002460211,0.0006360824,0.000723937,0.003707267],"category_scores_gemma":[0.002603272,0.0003943415,0.001045626,0.000839942,0.003942196,0.007522213,0.004963432,0.002335798,0.0006281326],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00125382,"about_ca_system_score_gemma":0.0005304858,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007124565,"about_ca_topic_score_gemma":0.0009841467,"domain_scores_codex":[0.9985312,0.0005047861,0.00007589385,0.0002415979,0.0003607998,0.0002856424],"domain_scores_gemma":[0.9984347,0.0004806597,0.0001636962,0.0002132101,0.0003256651,0.0003820531],"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.00003162498,0.00001187062,0.0002655134,0.00003709987,0.000005586316,0.0001265744,0.0005929006,0.0003881859,0.001070353,0.9945595,0.000277815,0.002633034],"study_design_scores_gemma":[0.0000188165,0.00005310393,0.0004840093,0.00006032385,0.00001524961,0.0003820221,0.0005020757,0.002802913,0.001010988,0.9776563,0.01698963,0.00002455624],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.484893,0.004986998,0.3649592,0.002603152,0.001044998,0.0001113308,0.0004217532,0.0009503685,0.1400293],"genre_scores_gemma":[0.9355035,0.001052584,0.04296243,0.0006150614,0.0004002747,0.0001322237,0.0002171272,0.0001413611,0.01897533],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003707267,"threshold_uncertainty_score":0.012402,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2738364938","doi":"10.4153/s0008414x19000397","title":"On the Combinatorics of Gentle Algebras","year":2019,"lang":"en","type":"article","venue":"Canadian Journal of Mathematics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université du Québec à Montréal; Université de Sherbrooke","funders":"","keywords":"Bijection; Basis (linear algebra); Construct (python library); Torsion (gastropod); Realization (probability); Algebra over a field","authors":[],"retraction":null,"screen_n_in":null,"score":{"opus":0.01407944305457705,"gpt":0.203820856828005,"spread":0.189741413773428,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009385571,0.0004908321,0.0005428197,0.002430961,0.002630597,0.003458146,0.001092058,0.0005831345,0.01264718],"category_scores_gemma":[0.001930242,0.0004865181,0.0006884529,0.001965581,0.004332553,0.005625851,0.003026956,0.001382117,0.001447202],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001471915,"about_ca_system_score_gemma":0.000659389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001820693,"about_ca_topic_score_gemma":0.002970461,"domain_scores_codex":[0.999051,0.0002204568,0.00006246906,0.0001345425,0.0003380719,0.0001933324],"domain_scores_gemma":[0.9990471,0.0003032275,0.0001039898,0.0001438789,0.0001529522,0.0002488889],"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.00001442033,0.00001418762,0.0001940016,0.00001866837,0.000003124046,0.00009100956,0.0002100127,0.0002786843,0.0005853568,0.9947823,0.0005441096,0.003264234],"study_design_scores_gemma":[0.0000164549,0.00001601119,0.0003453084,0.00001570366,0.000007145225,0.000167338,0.0002749216,0.001974917,0.0008830584,0.9863493,0.009931093,0.00001874685],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5465807,0.001112007,0.1868995,0.00175461,0.0003105837,0.0001684674,0.000488998,0.0007729933,0.2619122],"genre_scores_gemma":[0.9447388,0.000509308,0.02570986,0.0003107944,0.0002156163,0.0001324052,0.0002598322,0.0001719261,0.02795146],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01264718,"threshold_uncertainty_score":0.04230905,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2166460071","doi":"10.1109/3477.938269","title":"A decomposition of fuzzy relations","year":2001,"lang":"en","type":"article","venue":"IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Mathematics; Fuzzy logic; Fuzzy number; Fuzzy classification; Decomposition; Defuzzification; Fuzzy set operations; Fuzzy mathematics; Fuzzy set; Algebra over a field; Algorithm; Computer science; Artificial intelligence; Pure mathematics","authors":[{"name":"Witold Pedrycz","is_ca":true},{"name":"Kaoru Hirota","is_ca":false},{"name":"Salvatore Sessa","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01729282291372276,"gpt":0.2487628811630452,"spread":0.2314700582493224,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001365955,0.0005786965,0.0005613393,0.001366698,0.0008917821,0.002255171,0.0006414182,0.0008191773,0.005060635],"category_scores_gemma":[0.002979919,0.0003144314,0.0009487655,0.001183108,0.002487982,0.00368769,0.001408524,0.001795723,0.001071677],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009063386,"about_ca_system_score_gemma":0.000705453,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009969177,"about_ca_topic_score_gemma":0.0007272051,"domain_scores_codex":[0.9986817,0.0003591256,0.00009681252,0.00035565,0.0004092816,0.00009745084],"domain_scores_gemma":[0.9990655,0.0002898942,0.00009047537,0.0002581012,0.0002193003,0.00007679043],"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.00002411299,0.00001234117,0.0001240461,0.00006606718,0.00001168688,0.00006311435,0.0003710261,0.007487624,0.004033037,0.9469801,0.001209634,0.03961721],"study_design_scores_gemma":[0.00001014911,0.0000534496,0.0001968334,0.00005426671,0.00001614011,0.0002156467,0.0001566217,0.06071358,0.002196816,0.9072466,0.02912217,0.00001768777],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01495685,0.0009419186,0.9594972,0.0005924823,0.0001204119,0.00006605963,0.000129554,0.0001188886,0.0235766],"genre_scores_gemma":[0.2720566,0.001276809,0.7122208,0.0003298861,0.0002929169,0.0001402933,0.0003862947,0.00007993383,0.01321643],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005060635,"threshold_uncertainty_score":0.01692957,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2038424818","doi":"10.1017/s0963548303005765","title":"Canonical Vertex Partitions","year":2003,"lang":"en","type":"article","venue":"Combinatorics Probability Computing","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Arity; Countable set; Mathematics; Vertex (graph theory); Partition (number theory); Signature (topology); Binary number; Discrete mathematics; Finite set; Combinatorics; Graph; Arithmetic; Geometry; Mathematical analysis","authors":[{"name":"N. Sauer","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02439963554927065,"gpt":0.248925663942766,"spread":0.2245260283934953,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008962209,0.0004938659,0.000721527,0.001755712,0.002218845,0.005452708,0.001344949,0.00103515,0.0146958],"category_scores_gemma":[0.00726438,0.0004991714,0.0008051236,0.001284268,0.002662806,0.004924136,0.002644503,0.001041587,0.001978106],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001928616,"about_ca_system_score_gemma":0.001052222,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001976141,"about_ca_topic_score_gemma":0.002797931,"domain_scores_codex":[0.998357,0.0002307446,0.00006190714,0.0004105789,0.0004010227,0.0005386535],"domain_scores_gemma":[0.9966925,0.001179264,0.0002366351,0.0007752827,0.0005719111,0.0005443113],"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.0001013031,0.00002591225,0.001152638,0.00003862343,0.00000907887,0.0001236709,0.0004221974,0.003593575,0.00239035,0.9829355,0.001474243,0.007732909],"study_design_scores_gemma":[0.00001632712,0.00002183661,0.0004948404,0.00002078946,0.00001617965,0.0002097681,0.0004045915,0.02499873,0.005156335,0.9621139,0.00651958,0.00002710277],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6146016,0.0007819477,0.2597499,0.0006000489,0.0001595034,0.0001819031,0.001530627,0.00171342,0.1206811],"genre_scores_gemma":[0.9501911,0.0003199416,0.03186931,0.000100089,0.00004642795,0.0001016131,0.0009388442,0.0004701862,0.01596243],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0146958,"threshold_uncertainty_score":0.04916233,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2037036822","doi":"10.1007/s11229-009-9667-9","title":"On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others","year":2009,"lang":"en","type":"article","venue":"Synthese","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Dedekind cut; Axiom; Epistemology; Philosophy of science; Philosophy of language; Metaphysics; Perspective (graphical); Mathematics; Axiomatic system; Algebra over a field; Calculus (dental); Philosophy; Computer science; Pure mathematics; Artificial intelligence","authors":[{"name":"Dirk Schlimm","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.008420275351095527,"gpt":0.2279796315742306,"spread":0.2195593562231351,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003857985,0.0007509964,0.0008498904,0.002817006,0.002951788,0.00517608,0.001115056,0.00275735,0.003929268],"category_scores_gemma":[0.01024866,0.000751383,0.0007094987,0.002183806,0.02162399,0.01540433,0.003398556,0.005554467,0.0009405652],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002515794,"about_ca_system_score_gemma":0.00153294,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001524198,"about_ca_topic_score_gemma":0.001932326,"domain_scores_codex":[0.9975427,0.001440041,0.00009019164,0.0002313264,0.000585577,0.0001102756],"domain_scores_gemma":[0.9903604,0.007595775,0.00034541,0.0007025516,0.0007500143,0.0002457949],"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.000005548588,0.000002696728,0.00001908758,0.00001864154,0.000002382338,0.000008252232,0.0001561303,0.00007210067,0.00004080539,0.9896152,0.006562647,0.003496464],"study_design_scores_gemma":[0.000005903625,0.000001987667,0.00001925562,0.00002616912,0.000001586801,0.00002445627,0.00005788338,0.000285127,0.00007257918,0.9738657,0.02563427,0.000004942802],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0108577,0.2907497,0.1596739,0.2138502,0.0131208,0.00004680426,0.0004566089,0.0003727473,0.3108716],"genre_scores_gemma":[0.6401243,0.1070279,0.1294595,0.03922594,0.01929647,0.0002397602,0.0003834582,0.0003911559,0.06385148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00517608,"threshold_uncertainty_score":0.02040321,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2082754577","doi":"10.1016/j.aim.2007.11.008","title":"Ghosts in modular representation theory","year":2007,"lang":"en","type":"article","venue":"Advances in Mathematics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Western University","funders":"","keywords":"Mathematics; Modular design; Representation (politics); Algebra over a field; Representation theory; Pure mathematics; Computer science; Programming language","authors":[{"name":"Sunil K. Chebolu","is_ca":true},{"name":"J. Daniel Christensen","is_ca":true},{"name":"Ján Mináč","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01318076718387868,"gpt":0.3109328257629224,"spread":0.2977520585790437,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00221539,0.000767946,0.001050865,0.002486903,0.002657279,0.003637483,0.001241435,0.00212218,0.008364436],"category_scores_gemma":[0.004271638,0.0005876709,0.0008495519,0.002052889,0.006047648,0.01098476,0.003259774,0.004625663,0.001174771],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001411234,"about_ca_system_score_gemma":0.0008089816,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005438778,"about_ca_topic_score_gemma":0.0004135565,"domain_scores_codex":[0.9992052,0.0003034036,0.00004043028,0.00009337119,0.0002405583,0.0001171277],"domain_scores_gemma":[0.9982418,0.0007309099,0.0001825368,0.0003339253,0.0002462253,0.0002645736],"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.000005856612,0.000003976349,0.000017141,0.000006103239,9.448487e-7,0.00001024958,0.00006286156,0.00007349849,0.00005807471,0.9985097,0.0003703983,0.0008812748],"study_design_scores_gemma":[0.000004993128,0.000002768835,0.00001314526,0.000002540034,0.000001208646,0.00001672926,0.00001155578,0.0004288894,0.00003074389,0.9988268,0.0006583334,0.000002269929],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.3235481,0.005453825,0.3218856,0.02073851,0.00418926,0.00009962778,0.0003577713,0.001032141,0.3226953],"genre_scores_gemma":[0.9256682,0.001160553,0.02511179,0.001094362,0.00201659,0.00007289179,0.0001495004,0.0002073391,0.0445188],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008364436,"threshold_uncertainty_score":0.02798182,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2609553806","doi":"10.1090/crmm/013/07","title":"Tilings, 𝐶*-algebras, and 𝐾-theory","year":2000,"lang":"en","type":"book-chapter","venue":"CRM monograph series","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Mathematics","authors":[{"name":"Michael Baake","is_ca":false},{"name":"Robert V. Moody","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.009761516551065644,"gpt":0.2003399792815027,"spread":0.190578462730437,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003238536,0.0004822846,0.0005079004,0.0008728461,0.00146262,0.002612012,0.0005894618,0.0007894153,0.009577258],"category_scores_gemma":[0.0008122389,0.0002905828,0.0004967168,0.001698001,0.003774606,0.004976916,0.0007891418,0.001890574,0.001621695],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001233881,"about_ca_system_score_gemma":0.0006039655,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001204989,"about_ca_topic_score_gemma":0.001407066,"domain_scores_codex":[0.9997779,0.00003977125,0.00001416578,0.00004967814,0.00008539628,0.0000330565],"domain_scores_gemma":[0.9998185,0.0000704842,0.0000238765,0.00003307709,0.00003180385,0.00002224928],"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.000004602911,0.000004042512,0.00002496687,0.00001947298,0.000001473732,0.000009693552,0.00008921525,0.0002216162,0.0001023441,0.9884446,0.004415589,0.006662424],"study_design_scores_gemma":[0.000001677656,0.000003218003,0.0000261944,0.000008995013,0.000001307817,0.00002183539,0.00004788416,0.0002259998,0.00007669217,0.9792415,0.02034249,0.00000205168],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.03493457,0.04329206,0.1120863,0.006531092,0.002528292,0.00004522083,0.0002995996,0.0003825705,0.7999004],"genre_scores_gemma":[0.6153778,0.02592689,0.03552589,0.001710745,0.003980248,0.0001527225,0.0006602709,0.0001824297,0.316483],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009577258,"threshold_uncertainty_score":0.03203905,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2913086526","doi":"10.1023/a:1026218512171","title":"Hazard Algebras","year":2003,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Hazard; SIGNAL (programming language); Ternary operation; Computer science; Energy (signal processing); Algorithm; Computer engineering; Electronic engineering; Arithmetic; Mathematics; Engineering; Programming language; Statistics","authors":[{"name":"Janusz Brzozowski","is_ca":true},{"name":"Zoltán Ésik","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06146538210206001,"gpt":0.3461092963738174,"spread":0.2846439142717574,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001289329,0.0006547247,0.0005858207,0.001160736,0.001366483,0.002119409,0.0009458294,0.0008241683,0.03440813],"category_scores_gemma":[0.003558156,0.0004002652,0.0008605476,0.0007761939,0.001876183,0.003561656,0.001736057,0.002274972,0.005632033],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001087357,"about_ca_system_score_gemma":0.001105572,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007836176,"about_ca_topic_score_gemma":0.0005405322,"domain_scores_codex":[0.9990421,0.0002070511,0.00005081492,0.0001870034,0.0003894423,0.0001235671],"domain_scores_gemma":[0.9985586,0.0005001893,0.0001374728,0.0003700839,0.0003091197,0.0001245555],"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.00001191863,0.000009446447,0.00004395812,0.00001905015,0.000004670243,0.00001377565,0.00004663204,0.0007424688,0.000255606,0.989572,0.001593972,0.007686484],"study_design_scores_gemma":[0.00001224831,0.00001330148,0.00004979254,0.000009761294,0.000008037772,0.0000423641,0.00003523776,0.004845128,0.0007595248,0.9739096,0.02030636,0.000008457208],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01352382,0.000867627,0.7817199,0.001639544,0.0004814656,0.0002131633,0.0005951651,0.0009119357,0.2000474],"genre_scores_gemma":[0.6235626,0.001693623,0.09952934,0.001098665,0.0008192022,0.0003949892,0.001032321,0.0004131807,0.2714561],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03440813,"threshold_uncertainty_score":0.1151066,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1966370644","doi":"10.1007/s00012-008-2089-6","title":"A note on planar semimodular lattices","year":2008,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematics; Planar; Simple (philosophy); Product (mathematics); Combinatorics; Computer science; Geometry","authors":[{"name":"George Grätzer","is_ca":true},{"name":"Edward Knapp","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01666100391834197,"gpt":0.2261664119373824,"spread":0.2095054080190405,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007993188,0.0007196557,0.00103611,0.001018582,0.002733485,0.003082549,0.001483333,0.00116838,0.0138473],"category_scores_gemma":[0.002683675,0.00049646,0.001060185,0.002705725,0.003987291,0.01276818,0.004184745,0.005930142,0.002332564],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001740453,"about_ca_system_score_gemma":0.0007136192,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001692055,"about_ca_topic_score_gemma":0.001862754,"domain_scores_codex":[0.9992979,0.0001743105,0.00003817882,0.0001476572,0.0002329936,0.0001090482],"domain_scores_gemma":[0.9990025,0.0005334642,0.00005749615,0.0001603308,0.0001482019,0.00009807708],"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.0000209466,0.000006475206,0.00002810487,0.00004288223,0.000003087815,0.00003110605,0.00006521714,0.0003191133,0.0002045307,0.9848596,0.007626309,0.00679266],"study_design_scores_gemma":[0.000006116255,0.000008595723,0.00004989526,0.0000112037,0.000005480818,0.00005724253,0.00005442672,0.0005889809,0.0002559133,0.9664825,0.03247211,0.000007453479],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.05754177,0.01703635,0.2584955,0.0463141,0.009517688,0.00009909811,0.001413696,0.0009475733,0.6086342],"genre_scores_gemma":[0.6620185,0.0223539,0.1262202,0.00905193,0.01376801,0.0002265317,0.00138942,0.0007141985,0.1642571],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0138473,"threshold_uncertainty_score":0.04632378,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}