{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":1,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":1,"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":"996769e82088","filters":{"venue":"L objet"}},"results":[{"id":"W2091601951","doi":"10.3166/objet.9.4.115-134","title":"Theorem Proving Support for View Consistency Checking","year":2003,"lang":"en","type":"article","venue":"L objet","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"York University","funders":"","keywords":"Consistency (knowledge bases); Calculus (dental); Computer science; Automated theorem proving; Mathematics; Programming language; Discrete mathematics; Medicine","authors":[{"name":"Richard F. Paige","is_ca":false},{"name":"Jonathan S. Ostroff","is_ca":true},{"name":"Phillip J. Brooke","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04430847552953394,"gpt":0.3107443345924043,"spread":0.2664358590628704,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0145285,0.001322352,0.001470524,0.002527304,0.001682617,0.005061352,0.004545609,0.002080906,0.01361587],"category_scores_gemma":[0.06647494,0.001563799,0.003097483,0.001824203,0.003591395,0.009711544,0.005850773,0.003823942,0.002817355],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001687656,"about_ca_system_score_gemma":0.002137183,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001236251,"about_ca_topic_score_gemma":0.001224304,"domain_scores_codex":[0.9851929,0.005824757,0.00129916,0.001638707,0.004845103,0.001199295],"domain_scores_gemma":[0.9276953,0.05533586,0.001927156,0.01036144,0.004023087,0.0006571531],"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.0003802166,0.0001792973,0.001217943,0.0006250433,0.0001178655,0.0008377214,0.0006134108,0.02656336,0.01009454,0.8387716,0.009194974,0.111404],"study_design_scores_gemma":[0.0003562241,0.0001216516,0.0002277986,0.0001949259,0.0001212295,0.0006270671,0.0001136429,0.2749697,0.03773389,0.6518673,0.03359387,0.0000727569],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00535946,0.0001128243,0.982219,0.0004718584,0.0001036804,0.00006641715,0.0001930955,0.007447427,0.004026217],"genre_scores_gemma":[0.2590915,0.0003749747,0.7335367,0.0005540693,0.0002857585,0.0003652659,0.001230303,0.001509357,0.003052047],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0145285,"threshold_uncertainty_score":0.07683498,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}