{"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":"d5ddb31203f1","filters":{"venue":"Zahnarztliche Welt"}},"results":[{"id":"W14931976","doi":"","title":"Partial-order verification in SPIN can be more efficient","year":2002,"lang":"en","type":"article","venue":"Zahnarztliche Welt","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":"University of Ottawa","funders":"","keywords":"Partial order reduction; Model checking; Computer science; Reduction (mathematics); Concurrency; Set (abstract data type); Programming language; Formal verification; Linear temporal logic; Temporal logic; High-level verification; Algorithm; Theoretical computer science; Mathematics; Software","authors":[{"name":"Hans van der Schoot","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04558110259136665,"gpt":0.3031753412705201,"spread":0.2575942386791535,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002584883,0.0007716666,0.0009093952,0.0008016744,0.0007316832,0.002689067,0.001197453,0.0007279238,0.0121757],"category_scores_gemma":[0.005285146,0.0005692225,0.001452307,0.0008419552,0.00176548,0.004826798,0.001784025,0.002554567,0.002523744],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009126298,"about_ca_system_score_gemma":0.001952945,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002414808,"about_ca_topic_score_gemma":0.006291944,"domain_scores_codex":[0.9980723,0.0005530406,0.0001208517,0.0002602054,0.0008412068,0.0001523874],"domain_scores_gemma":[0.9957654,0.001377546,0.0001979175,0.002241916,0.0003634676,0.00005375112],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004332321,0.0001715287,0.001490068,0.0008248336,0.0001631845,0.0003019041,0.0005920079,0.07898303,0.02991244,0.6116957,0.008957199,0.2664749],"study_design_scores_gemma":[0.0002130307,0.0001756551,0.0004802264,0.0002122119,0.000169431,0.0002787763,0.0002097938,0.3215274,0.04004047,0.5395705,0.09703153,0.00009099639],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01923973,0.0005414462,0.9426773,0.001265379,0.0003051173,0.000176076,0.0002697884,0.007791552,0.02773357],"genre_scores_gemma":[0.2959859,0.0008278999,0.6872293,0.0004517308,0.0001245982,0.0003196239,0.000625873,0.001548437,0.01288665],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0121757,"threshold_uncertainty_score":0.04073179,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}