{"meta":{"query_hash":"d5ddb31203f1","filters":{"venue":"Zahnarztliche Welt"},"cohort_total":1,"direct_labels_cover":0,"predictions_cover":1,"exported":1,"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/d5ddb31203f1","api":"https://metacan.xera.ac/api/v1/cohort?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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.04558110259136665,"score_gpt":0.30317534127052015,"score_spread":0.2575942386791535,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W14931976","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.01923973,0.0005414462,0.94267726,0.0012653795,0.0003051173,0.00017607596,0.0002697884,0.007791552,0.027733574],"genre_scores_gemma":[0.29598588,0.0008278999,0.6872293,0.00045173077,0.00012459823,0.00031962385,0.00062587304,0.0015484372,0.01288665],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99807227,0.00055304065,0.00012085175,0.00026020544,0.00084120675,0.00015238737],"domain_scores_gemma":[0.99576545,0.0013775465,0.00019791753,0.0022419158,0.00036346755,0.000053751122],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0025848832,0.00077166664,0.00090939517,0.00080167444,0.0007316832,0.002689067,0.0011974529,0.0007279238,0.012175698],"category_scores_gemma":[0.0052851457,0.0005692225,0.0014523074,0.00084195525,0.0017654796,0.004826798,0.0017840253,0.002554567,0.0025237435],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"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.00043323208,0.00017152874,0.0014900679,0.0008248336,0.00016318448,0.0003019041,0.0005920079,0.07898303,0.029912436,0.6116957,0.008957199,0.2664749],"study_design_scores_gemma":[0.00021303068,0.00017565506,0.0004802264,0.0002122119,0.00016943099,0.00027877628,0.00020979377,0.3215274,0.040040474,0.5395705,0.09703153,0.000090996386],"about_ca_topic_score_codex":0.002414808,"about_ca_topic_score_gemma":0.006291944,"teacher_disagreement_score":0.012175698,"about_ca_system_score_codex":0.0009126298,"about_ca_system_score_gemma":0.0019529448,"threshold_uncertainty_score":0.040731788},"labels":[],"label_agreement":null}]}