{"id":"W2663918494","doi":"","title":"Resource models and proof-search in Intuitionistic Linear Logic","year":2000,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Petri net; Semantics (computer science); Completeness (order theory); Theoretical computer science; Operational semantics; Computer science; Mathematics; Programming language","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.006570468,0.001044204,0.00123653,0.00200909,0.001747968,0.005143082,0.002833109,0.002390575,0.01895992],"category_scores_gemma":[0.01754369,0.001222687,0.002452449,0.002909722,0.004622222,0.01460757,0.004634183,0.006495614,0.002257625],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005188664,"about_ca_system_score_gemma":0.003122715,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006022303,"about_ca_topic_score_gemma":0.006939371,"domain_scores_codex":[0.9946825,0.003049767,0.0002869887,0.0004321457,0.001086455,0.0004620982],"domain_scores_gemma":[0.9849251,0.01296415,0.0004333097,0.0007572162,0.0006494568,0.0002708974],"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.00004425948,0.00003684486,0.00009729971,0.0001544772,0.00003228651,0.00007981346,0.0001558481,0.01066605,0.0001625157,0.9728535,0.004219314,0.01149784],"study_design_scores_gemma":[0.00001431042,0.000008542988,0.00002330154,0.00003071787,0.00000996841,0.00002510565,0.00002775896,0.0210386,0.0001468757,0.9760464,0.002619094,0.000009341265],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01400159,0.006529996,0.8958167,0.009797451,0.0003635986,0.0001225962,0.0005078525,0.0008315881,0.07202851],"genre_scores_gemma":[0.6391365,0.005807065,0.319883,0.002104504,0.0007024431,0.0003913979,0.000993782,0.0004566323,0.03052469],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01895992,"threshold_uncertainty_score":0.06342721,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02450546743073856,"score_gpt":0.2287992909417009,"score_spread":0.2042938235109624,"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."}}