{"id":"W4233495392","doi":"10.1007/978-0-85729-277-3_11","title":"Temporal Logic","year":2011,"lang":"en","type":"book-chapter","venue":"Texts in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005050116,0.0009359434,0.0004754565,0.001145359,0.0008355269,0.002574398,0.0007992823,0.0007525893,0.03835784],"category_scores_gemma":[0.001026541,0.0004283415,0.0005508336,0.001311356,0.002040263,0.003612775,0.0006914292,0.002092695,0.01219671],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001767021,"about_ca_system_score_gemma":0.0009859308,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001480539,"about_ca_topic_score_gemma":0.001656647,"domain_scores_codex":[0.9996312,0.00007447218,0.00002191617,0.00008775762,0.0001559247,0.00002876259],"domain_scores_gemma":[0.9997289,0.0001444169,0.00001391381,0.00004418047,0.00005544422,0.00001316156],"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.000009185032,0.000009256436,0.00001814363,0.00009075812,0.000003880529,0.00002344505,0.0001195927,0.000349828,0.0003458956,0.9300163,0.02483551,0.04417834],"study_design_scores_gemma":[0.000008842062,0.000008617589,0.00005036358,0.0001053228,0.000008482448,0.0001039399,0.00003634516,0.001102404,0.0006451412,0.5761683,0.4217553,0.000007068168],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001124366,0.01189998,0.1554779,0.002487575,0.0008888437,0.00006401206,0.000440376,0.0005960328,0.8270209],"genre_scores_gemma":[0.08633711,0.01904184,0.08153123,0.002102659,0.001428899,0.0002546498,0.001235184,0.0006465219,0.8074219],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.03835784,"threshold_uncertainty_score":0.1283197,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07963219756282458,"score_gpt":0.3031907489324207,"score_spread":0.2235585513695961,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}