{"meta":{"query_hash":"3ee5f500e745","filters":{"venue":"The Australasian Journal of Logic"},"cohort_total":12,"direct_labels_cover":0,"predictions_cover":12,"exported":12,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/3ee5f500e745","api":"https://metacan.xera.ac/api/v1/cohort?venue=The+Australasian+Journal+of+Logic"},"results":[{"id":"W1529320093","doi":"10.26686/ajl.v4i0.1778","title":"Some non-standard interpretations of the axiomatic basis of Leśniewski’s Ontology","year":2006,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Axiom; Ontology; Meaning (existential); Functor; Statement (logic); Basis (linear algebra); Mathematics; Semantics (computer science); Constant (computer programming); Axiomatic system; Natural language processing; Epistemology; Computer science; Discrete mathematics; Philosophy; Programming language","score_opus":0.01658101990030346,"score_gpt":0.2585725854186751,"score_spread":0.24199156551837164,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1529320093","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.055654638,0.0026514234,0.7515208,0.023010936,0.0010392901,0.00014021895,0.00070444384,0.00048954383,0.16478881],"genre_scores_gemma":[0.71876454,0.0017442806,0.25054714,0.0041300524,0.0008849688,0.00041968422,0.0006700768,0.00021913834,0.022620123],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9976198,0.000774153,0.00023456888,0.00036414925,0.0007438144,0.00026362803],"domain_scores_gemma":[0.99826473,0.0005775435,0.0001959763,0.00034388024,0.00049180514,0.00012608226],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004627133,0.00073675456,0.0006480622,0.0029079197,0.0022817042,0.0042981673,0.0025039134,0.0021562662,0.0049429573],"category_scores_gemma":[0.0050480408,0.00058645173,0.0014035646,0.0021120904,0.010519558,0.013311118,0.003495507,0.004123992,0.0007120757],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000002993928,0.000004030746,0.000022507696,0.000007947435,0.000001452086,0.000020323656,0.00020234723,0.00008503678,0.00007781884,0.9985013,0.00037957224,0.0006946601],"study_design_scores_gemma":[0.0000055157548,0.0000036923823,0.00006754993,0.000011529527,0.0000035884068,0.000023528512,0.00007088881,0.0010209657,0.00017887646,0.991964,0.00664216,0.000007754885],"about_ca_topic_score_codex":0.0030551967,"about_ca_topic_score_gemma":0.003006882,"teacher_disagreement_score":0.0049429573,"about_ca_system_score_codex":0.0033532048,"about_ca_system_score_gemma":0.001692906,"threshold_uncertainty_score":0.024470925},"labels":[],"label_agreement":null},{"id":"W1535419843","doi":"10.26686/ajl.v2i0.1768","title":"Limiting Cases for Spectrum Closure Results","year":2004,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Spectrum (functional analysis); Closure (psychology); Mathematics; Class (philosophy); Image (mathematics); Function (biology); Limiting; Set (abstract data type); Sentence; Order (exchange); Pure mathematics; Spectral line; Combinatorics; Discrete mathematics; Computer science; Artificial intelligence; Physics; Quantum mechanics","score_opus":0.038826823084315766,"score_gpt":0.27515505416402564,"score_spread":0.23632823107970988,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1535419843","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.32899737,0.0042635137,0.46370003,0.009926615,0.00045857593,0.00023309115,0.0007915514,0.0015045751,0.1901246],"genre_scores_gemma":[0.96556205,0.0010627073,0.022917371,0.0012087505,0.0005843561,0.00031086992,0.00043845145,0.0003103125,0.0076050423],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9936727,0.0015432776,0.00046094373,0.0017562511,0.0015813219,0.0009854129],"domain_scores_gemma":[0.9709472,0.021585504,0.001388283,0.0024478713,0.0017501557,0.001881006],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006978875,0.00086398073,0.0014310688,0.0031096675,0.003520234,0.0068922485,0.0016797163,0.0026724264,0.011886929],"category_scores_gemma":[0.028811345,0.000706059,0.0026729717,0.0015138491,0.008030593,0.01906131,0.007923415,0.0057991166,0.0013910797],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000057583093,0.000043223357,0.0006952458,0.00005581028,0.00001484701,0.00036030373,0.00072576833,0.00042633017,0.000773416,0.99206275,0.0009389547,0.0038457676],"study_design_scores_gemma":[0.000026155189,0.000017875831,0.000219972,0.000033853623,0.000011261787,0.00035734414,0.0002548702,0.0037646291,0.00072038465,0.9916402,0.002938435,0.000014991499],"about_ca_topic_score_codex":0.00073519757,"about_ca_topic_score_gemma":0.00029443903,"teacher_disagreement_score":0.011886929,"about_ca_system_score_codex":0.002505419,"about_ca_system_score_gemma":0.0006527441,"threshold_uncertainty_score":0.039765716},"labels":[],"label_agreement":null},{"id":"W1559028082","doi":"10.26686/ajl.v12i5.3891","title":"First degree formulas in quantified S5","year":2015,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Degree (music); Context (archaeology); Mathematics; Modal logic; Modal; Algebra over a field; Algorithm; Calculus (dental); Pure mathematics; Physics; Chemistry; Geography; Medicine","score_opus":0.12320849640793666,"score_gpt":0.2971933102502508,"score_spread":0.17398481384231415,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1559028082","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.3816981,0.0023528144,0.4250203,0.0061494713,0.00089869247,0.00008474054,0.001124623,0.0017161515,0.18095508],"genre_scores_gemma":[0.9588973,0.0003487801,0.030329905,0.00073730544,0.00015793266,0.00002374981,0.00030134458,0.00009912983,0.009104519],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99817455,0.00028682285,0.00014038145,0.00039783432,0.00059822423,0.00040218412],"domain_scores_gemma":[0.99812347,0.0007884706,0.00019973596,0.00027199136,0.0004708299,0.00014547739],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0017591562,0.00049200695,0.00054406543,0.0015036087,0.0015109961,0.0035929896,0.0015031119,0.0010787905,0.006667412],"category_scores_gemma":[0.003603738,0.0005763483,0.0013867307,0.0010941994,0.004458451,0.007018874,0.0032563505,0.003100724,0.0006082005],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000034907986,0.000008978991,0.00022969376,0.000048704205,0.000010180295,0.00012362744,0.00028645914,0.0007872888,0.0012590208,0.99274385,0.00077673426,0.0036906137],"study_design_scores_gemma":[0.000028078352,0.000030745534,0.0004990001,0.000041227697,0.000032436616,0.00020217031,0.0002373332,0.006062172,0.0037378885,0.97564805,0.013449343,0.00003165517],"about_ca_topic_score_codex":0.007365825,"about_ca_topic_score_gemma":0.00643534,"teacher_disagreement_score":0.007365825,"about_ca_system_score_codex":0.0036738403,"about_ca_system_score_gemma":0.0014257834,"threshold_uncertainty_score":0.026655674},"labels":[],"label_agreement":null},{"id":"W1640057716","doi":"10.26686/ajl.v3i0.1769","title":"Justification of Argumentation Schemes","year":2005,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":45,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Winnipeg","funders":"","keywords":"Argumentation theory; Argument (complex analysis); Defeasible estate; Inference; Epistemology; Computer science; Scheme (mathematics); Key (lock); Argumentation framework; Artificial intelligence; Mathematics; Philosophy; Computer security","score_opus":0.04089321282050327,"score_gpt":0.2948102660106069,"score_spread":0.2539170531901036,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1640057716","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.013360611,0.0053752707,0.7455776,0.01057432,0.0009549933,0.00083293323,0.00080898986,0.00042730983,0.22208798],"genre_scores_gemma":[0.5183194,0.0033840076,0.44789457,0.0014887952,0.0009924625,0.0013032217,0.001312295,0.00021750088,0.02508774],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9719374,0.01602255,0.0027475106,0.0026380352,0.0056004943,0.0010540077],"domain_scores_gemma":[0.9659838,0.019665815,0.0026198002,0.0045882226,0.0063129175,0.0008295618],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.018820249,0.0014087335,0.0015537338,0.0061398814,0.004009444,0.010092977,0.0026975626,0.0067194114,0.012806737],"category_scores_gemma":[0.05929934,0.0008436526,0.0019217848,0.0038886357,0.011241873,0.013643784,0.005584592,0.004341669,0.0024727772],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00000769479,0.000004613624,0.00005970732,0.00006147639,0.000008640708,0.000026571304,0.00025114167,0.00039956934,0.00006855964,0.99474406,0.0006192341,0.0037487203],"study_design_scores_gemma":[0.000019164077,0.000008651084,0.00005387112,0.00008707954,0.0000070452174,0.00004775316,0.00010765241,0.0022882596,0.00015311266,0.9771887,0.020029828,0.000008845198],"about_ca_topic_score_codex":0.0009750875,"about_ca_topic_score_gemma":0.0009694171,"teacher_disagreement_score":0.018820249,"about_ca_system_score_codex":0.00483189,"about_ca_system_score_gemma":0.002556812,"threshold_uncertainty_score":0.09953213},"labels":[],"label_agreement":null},{"id":"W2167149036","doi":"10.26686/ajl.v6i0.1799","title":"Collapsing Arguments for Facts and Propositions","year":2008,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":1,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Quine; Epistemology; Axiom; Argument (complex analysis); Philosophy; Class (philosophy); Linguistics; Mathematics","score_opus":0.06306229818843614,"score_gpt":0.33214635819220356,"score_spread":0.2690840600037674,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2167149036","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.052531607,0.009792313,0.2854664,0.053775962,0.0021357895,0.00020307215,0.00051463,0.00039665788,0.59518355],"genre_scores_gemma":[0.9189266,0.0033286388,0.046983276,0.0077212076,0.0017338456,0.00034394092,0.0004768239,0.00039888298,0.02008672],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.97981834,0.0094441995,0.0010233618,0.003187106,0.0050893854,0.0014376588],"domain_scores_gemma":[0.96316993,0.0233762,0.0021582663,0.005701533,0.004189744,0.0014043129],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.017809918,0.001124359,0.0015424943,0.007269616,0.00690615,0.012810337,0.0025603909,0.003978886,0.019009743],"category_scores_gemma":[0.05093416,0.0012356709,0.0021541242,0.005536246,0.029101882,0.033009578,0.017746802,0.012207638,0.0018546652],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000012995708,0.0000041460753,0.00007420308,0.000024473968,0.000009901342,0.000051635045,0.0009781132,0.00008456489,0.000038023507,0.99651694,0.00074036163,0.0014645872],"study_design_scores_gemma":[0.000010696466,0.000004067858,0.000060398823,0.000055315242,0.000010548987,0.000025524423,0.00037840405,0.00032387004,0.00007360866,0.9867464,0.012306786,0.000004390164],"about_ca_topic_score_codex":0.0022493182,"about_ca_topic_score_gemma":0.0014930633,"teacher_disagreement_score":0.019009743,"about_ca_system_score_codex":0.007933797,"about_ca_system_score_gemma":0.0022476013,"threshold_uncertainty_score":0},"labels":[],"label_agreement":null},{"id":"W2295763493","doi":"10.26686/ajl.v13i1.3926","title":"Relevance Logic: Problems Open and Closed","year":2016,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Decidability; Relevance (law); Fragment (logic); Semilattice; Mathematics; Decision problem; Algebra over a field; Computer science; Discrete mathematics; Algorithm; Pure mathematics","score_opus":0.04184020616646513,"score_gpt":0.2815974418179703,"score_spread":0.23975723565150517,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2295763493","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.026739901,0.045894574,0.71256614,0.09886366,0.002783464,0.0002594789,0.0005769966,0.0005456773,0.111770086],"genre_scores_gemma":[0.5942761,0.037840325,0.28978458,0.015481304,0.021371514,0.0007811353,0.0013015502,0.0005295441,0.038633987],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.98623496,0.0060080555,0.0007413257,0.0028758992,0.003107488,0.0010324032],"domain_scores_gemma":[0.92351466,0.069189206,0.0014750536,0.002274256,0.0024898548,0.0010569864],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.015791845,0.0011058557,0.0024118894,0.003049393,0.007203937,0.0131784165,0.0042471797,0.0075122337,0.013457105],"category_scores_gemma":[0.047352895,0.0013417444,0.0029747016,0.0051343106,0.017131697,0.041130684,0.008945553,0.014690024,0.0018420604],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000050524435,0.00006826653,0.00023226794,0.00038888433,0.000024673147,0.00015531693,0.00064044533,0.001671307,0.00019802086,0.95641655,0.008442357,0.03171142],"study_design_scores_gemma":[0.000009886047,0.000009219047,0.000051121064,0.000050876613,0.0000059514064,0.00008859671,0.00013362631,0.0015180993,0.000090426525,0.99143606,0.006596028,0.000010072653],"about_ca_topic_score_codex":0.0023580256,"about_ca_topic_score_gemma":0.0011055961,"teacher_disagreement_score":0.015791845,"about_ca_system_score_codex":0.0049645174,"about_ca_system_score_gemma":0.0028434047,"threshold_uncertainty_score":0.0835163},"labels":[],"label_agreement":null},{"id":"W2620887081","doi":"10.26686/ajl.v14i1.4026","title":"Resolving Quine's Confict: A Neo-Quinean View of the Rational Revisability of Logic","year":2017,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Philosophy, Science, and History","field":"Arts and Humanities","cited_by":8,"is_retracted":false,"has_abstract":true,"route_ca_aff":false,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Quine; Argument (complex analysis); Epistemology; Philosophy; Exegesis; Subject (documents); Computer science; Theology","score_opus":0.09137614410707275,"score_gpt":0.28706338370695184,"score_spread":0.1956872395998791,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2620887081","genre_codex":"commentary","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.054492928,0.010807928,0.21864916,0.43308222,0.0017242662,0.00008380118,0.00015568736,0.00031516474,0.2806888],"genre_scores_gemma":[0.9450218,0.0014586804,0.02118144,0.017894804,0.0011262944,0.00012505171,0.00003772453,0.00018545093,0.012968682],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9850948,0.00890633,0.00058409444,0.0019688208,0.0026031635,0.0008428034],"domain_scores_gemma":[0.97721386,0.014121855,0.0012909294,0.0041921176,0.0025659637,0.00061525824],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.021434821,0.00047710468,0.00096539897,0.0017258478,0.005539789,0.009949885,0.0025467894,0.006515242,0.0026498516],"category_scores_gemma":[0.030110113,0.0005948554,0.0010105757,0.0010535447,0.062618285,0.018418076,0.005894546,0.010697638,0.0005919272],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000011976242,0.000004504989,0.000059450012,0.000014868245,0.0000049920977,0.00004748573,0.0026476157,0.00024713384,0.00005068031,0.9933756,0.0017417547,0.0017938428],"study_design_scores_gemma":[0.000009731582,0.0000044678463,0.000049309525,0.000025108628,0.0000020927298,0.000026526523,0.0003890132,0.0006290168,0.00007291042,0.9889649,0.009818058,0.000008788869],"about_ca_topic_score_codex":0.0051834215,"about_ca_topic_score_gemma":0.0027456954,"teacher_disagreement_score":0.021434821,"about_ca_system_score_codex":0.0065086624,"about_ca_system_score_gemma":0.003604365,"threshold_uncertainty_score":0.11335957},"labels":[],"label_agreement":null},{"id":"W2874049253","doi":"10.26686/ajl.v15i2.4066","title":"Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics","year":2018,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Relevance (law); Semantics (computer science); Proof-theoretic semantics; Relation (database); Set (abstract data type); Kripke semantics; Presentation (obstetrics); Mathematics; Computer science; Natural language processing; Epistemology; Algebra over a field; Artificial intelligence; Programming language; Operational semantics; Philosophy; Description logic; Pure mathematics; Denotational semantics; Data mining; Intermediate logic","score_opus":0.037993253544921106,"score_gpt":0.27567773915424004,"score_spread":0.23768448560931893,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2874049253","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.016755115,0.088576384,0.33717355,0.33649024,0.09185498,0.0002079771,0.0008982787,0.001140592,0.12690298],"genre_scores_gemma":[0.3659883,0.05673532,0.20999005,0.067334175,0.06311117,0.00061182084,0.0008683641,0.0029559245,0.23240484],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.996216,0.0017847314,0.000250878,0.00061697874,0.00096366263,0.00016769406],"domain_scores_gemma":[0.9903702,0.0049943808,0.000616325,0.0009108767,0.0025325778,0.00057566684],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005353141,0.0007973208,0.00056050345,0.002033307,0.00288868,0.006718002,0.0011211049,0.00247385,0.0041173506],"category_scores_gemma":[0.026792921,0.00044402762,0.0008792739,0.0017437082,0.00870277,0.0102355555,0.0027278946,0.006367108,0.0014960471],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00006130283,0.000019672461,0.000095140655,0.00015505837,0.000020351727,0.00012649439,0.0021156538,0.00033084306,0.00082631066,0.8681025,0.102182426,0.025964253],"study_design_scores_gemma":[0.000024949357,0.000038109643,0.00019442546,0.00029165376,0.000029735718,0.00022600814,0.000575576,0.00068145595,0.0018737064,0.40936112,0.5866303,0.00007293013],"about_ca_topic_score_codex":0.0020883738,"about_ca_topic_score_gemma":0.0019415019,"teacher_disagreement_score":0.006718002,"about_ca_system_score_codex":0.0043558693,"about_ca_system_score_gemma":0.0036997912,"threshold_uncertainty_score":0.03160417},"labels":[],"label_agreement":null},{"id":"W3130255400","doi":"10.26686/ajl.v18i1.6539","title":"Ehrenfeucht-Fraïssé games without identity","year":2021,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Game Theory and Applications","field":"Decision Sciences","cited_by":2,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Identity (music); Relation (database); Binary relation; Mathematics; Identity function; Binary number; Linguistics; Computer science; Discrete mathematics; Arithmetic; Philosophy; Data mining","score_opus":0.13659996050845932,"score_gpt":0.4161479154486735,"score_spread":0.2795479549402142,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3130255400","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.123620495,0.00064126315,0.67206764,0.0059239687,0.00033992447,0.00018822069,0.00046639075,0.00016968892,0.19658244],"genre_scores_gemma":[0.9033416,0.00047374723,0.07066239,0.0007802626,0.00017433462,0.00019192087,0.00020862617,0.000056566223,0.024110595],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9968761,0.0012368854,0.00019078083,0.00047613474,0.00060999463,0.0006101407],"domain_scores_gemma":[0.99727434,0.0015698597,0.00020330698,0.00038717999,0.00034711589,0.00021813279],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0031869386,0.0009880522,0.0013302155,0.0010425578,0.0019820349,0.0038142658,0.0013422761,0.002448866,0.0041984883],"category_scores_gemma":[0.0066484814,0.00037503205,0.0016267566,0.0009771981,0.0052355826,0.0099549,0.0032106172,0.00353018,0.00066929817],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00000599851,0.0000041379785,0.000027526701,0.000004779971,0.000001984593,0.000016418175,0.000050425184,0.0006223535,0.000049938622,0.9983694,0.00018128025,0.0006657026],"study_design_scores_gemma":[0.0000066748385,0.0000075884222,0.000026122361,0.0000067749365,0.0000035121136,0.000021507289,0.000030116385,0.004950903,0.000121415695,0.99297935,0.0018403424,0.0000056341087],"about_ca_topic_score_codex":0.0030211492,"about_ca_topic_score_gemma":0.0024720104,"teacher_disagreement_score":0.0041984883,"about_ca_system_score_codex":0.0027625798,"about_ca_system_score_gemma":0.0014921416,"threshold_uncertainty_score":0.020044029},"labels":[],"label_agreement":null},{"id":"W4317796404","doi":"10.26686/ajl.v19i5.7540","title":"Minimally Nonstandard K3 and FDE","year":2022,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":3,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Concordia University","funders":"","keywords":"Paraconsistent logic; Sequent; Propositional calculus; Mathematics; Sequent calculus; Classical logic; Many-valued logic; Logical consequence; Intermediate logic; Order (exchange); Intuitionistic logic; Computer science; Calculus (dental); Higher-order logic; Algorithm; Algebra over a field; Discrete mathematics; Description logic; Theoretical computer science; Artificial intelligence; Pure mathematics; Medicine","score_opus":0.03186449682996105,"score_gpt":0.30905431996620286,"score_spread":0.2771898231362418,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4317796404","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.08237206,0.0016648954,0.7745139,0.010929824,0.00035706954,0.00013130669,0.00042463315,0.0007521231,0.12885427],"genre_scores_gemma":[0.8120008,0.00052598194,0.17384993,0.0024682651,0.00012330509,0.0000787129,0.0002633317,0.00014938082,0.010540373],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9972498,0.00084829127,0.00020411772,0.0006155169,0.0007712184,0.0003111468],"domain_scores_gemma":[0.99512416,0.0023292731,0.00038024035,0.0008026281,0.0010461113,0.00031766377],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0039560106,0.00043824397,0.0005512987,0.0010915868,0.0018527677,0.0030063677,0.0017820504,0.001622556,0.004470438],"category_scores_gemma":[0.007788838,0.00040805907,0.00141276,0.0010226059,0.007996142,0.0073943995,0.0032903485,0.004387524,0.0006365078],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00001598089,0.0000097279035,0.0000869217,0.000024232098,0.0000063837565,0.00006429755,0.00017925206,0.0005373825,0.0002923511,0.9955772,0.00047715835,0.0027290364],"study_design_scores_gemma":[0.000011233935,0.000010219488,0.00006913042,0.000012601813,0.0000057611564,0.00010090631,0.00008791776,0.0030148905,0.0006834256,0.9908098,0.0051810723,0.0000129600685],"about_ca_topic_score_codex":0.002865406,"about_ca_topic_score_gemma":0.0030137056,"teacher_disagreement_score":0.004470438,"about_ca_system_score_codex":0.0028407923,"about_ca_system_score_gemma":0.0020852438,"threshold_uncertainty_score":0.020921588},"labels":[],"label_agreement":null},{"id":"W4366003179","doi":"10.26686/ajl.v20i1.8086","title":"Geometry of Relevant Implication II","year":2023,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Simple (philosophy); Mathematics; Fragment (logic); Variable (mathematics); Geometry; Algebra over a field; Calculus (dental); Pure mathematics; Algorithm; Mathematical analysis; Philosophy; Epistemology; Medicine","score_opus":0.03860147774022106,"score_gpt":0.2863669516867643,"score_spread":0.24776547394654325,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4366003179","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.15938689,0.0017835803,0.42093202,0.0062992983,0.000935097,0.0001962874,0.00102896,0.0006786199,0.40875924],"genre_scores_gemma":[0.932485,0.00066686474,0.049293976,0.0008910362,0.00031580485,0.00009621107,0.0005394228,0.00017900695,0.015532643],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9979674,0.0004424681,0.000143724,0.00054915244,0.00059711526,0.0003001742],"domain_scores_gemma":[0.99871254,0.00053314434,0.00015355831,0.00020218382,0.0003264524,0.00007209395],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0010327598,0.00042737552,0.00046199656,0.0015586459,0.002021498,0.0037772937,0.001184448,0.0010651951,0.011709327],"category_scores_gemma":[0.0035435641,0.0004919802,0.0010966846,0.0008750728,0.0043396223,0.0078010224,0.00300234,0.003599156,0.0014611537],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000019424922,0.000003994725,0.00009582752,0.000027208154,0.0000034755399,0.00015962111,0.00016787824,0.00042548357,0.0006282359,0.99610484,0.0005171679,0.001846747],"study_design_scores_gemma":[0.000011328933,0.000011456782,0.00016554685,0.000014161776,0.000010024931,0.00021850872,0.00022044504,0.0014425758,0.001186519,0.9860409,0.0106675215,0.000010995794],"about_ca_topic_score_codex":0.00098879,"about_ca_topic_score_gemma":0.00070198637,"teacher_disagreement_score":0.011709327,"about_ca_system_score_codex":0.0018171205,"about_ca_system_score_gemma":0.00072769524,"threshold_uncertainty_score":0.039171636},"labels":[],"label_agreement":null},{"id":"W4400722659","doi":"10.26686/ajl.v21i3.7409","title":"Condorcet-Style Paradoxes for Majority Rule with Infinte Candidates","year":2024,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Game Theory and Voting Systems","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Douglas College","funders":"European Commission; Yale University","keywords":"Condorcet method; Style (visual arts); Majority rule; Computer science; Mathematical economics; Mathematics; Artificial intelligence; Political science; Law; Voting; Art; Literature","score_opus":0.03478268939167749,"score_gpt":0.2533978271974986,"score_spread":0.2186151378058211,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4400722659","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.20809977,0.0009875735,0.4836348,0.01897617,0.0005554709,0.00031878945,0.00050434354,0.00028540724,0.28663763],"genre_scores_gemma":[0.94261074,0.00026750035,0.043135844,0.00096019404,0.00020614402,0.00032527166,0.00012856207,0.00004154852,0.012324164],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99323106,0.00326226,0.00041888308,0.0010812876,0.0013351757,0.00067131344],"domain_scores_gemma":[0.9887578,0.007714267,0.0006735456,0.0013989009,0.0007369919,0.000718536],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008365282,0.00062773377,0.0012354001,0.0011115909,0.003816618,0.005493032,0.0018617458,0.0037058776,0.010060016],"category_scores_gemma":[0.02252127,0.0005022642,0.001903831,0.00080143916,0.0064239986,0.009233881,0.0035528485,0.005236104,0.001082476],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00002159429,0.000011176387,0.000091723785,0.000017746232,0.0000058764863,0.00006369616,0.00010086202,0.00071385974,0.00010561754,0.99714726,0.000618577,0.0011019416],"study_design_scores_gemma":[0.000027041815,0.000009251793,0.00003881075,0.000008456259,0.000003890033,0.000066276625,0.000039976036,0.0050705154,0.00012707194,0.993291,0.001311723,0.0000058612345],"about_ca_topic_score_codex":0.00064844155,"about_ca_topic_score_gemma":0.0008668157,"teacher_disagreement_score":0.010060016,"about_ca_system_score_codex":0.0018033878,"about_ca_system_score_gemma":0.0012874268,"threshold_uncertainty_score":0.044240415},"labels":[],"label_agreement":null}]}