query: AIC doesn't agree with model checking
positive_passages.docid: 24952
positive_passages.text: Prerequisites for AIC model comparison
negative_passages.docid: 5220
negative_passages.text: Immutability, Association and typing
negative_passages.docid: 141201
negative_passages.text: Simple CHECK Constraint not so simple
negative_passages.docid: 146741
negative_passages.text: The effect of auto on compile time
negative_passages.docid: 128111
negative_passages.text: Why is a deductive closure an intersection of maximally consistent sets?
negative_passages.docid: 140682
negative_passages.text: Proving a property of a Logic Formal Language
negative_passages.docid: 135983
negative_passages.text: Atomic domain that doesn't satisfy ACCP
negative_passages.docid: 134480
negative_passages.text: AIC/BIC and data transformation
negative_passages.docid: 118189
negative_passages.text: Proving the pairing axiom from the rest of ZF
negative_passages.docid: 30733
negative_passages.text: Negation as failure in Prolog is a procedural behavior?
negative_passages.docid: 40048
negative_passages.text: Finding the fallacy in this broken proof
negative_passages.docid: 116537
negative_passages.text: Model.IsValid always returning true
negative_passages.docid: 99415
negative_passages.text: Implementing a safe ValueQ that does not evaluate its argument
negative_passages.docid: 46430
negative_passages.text: A simple decision problem whose decidability is not known
negative_passages.docid: 89851
negative_passages.text: Has any previously unknown result been proven by an automated theorem prover?
negative_passages.docid: 152146
negative_passages.text: Pattern matching Association in rules
negative_passages.docid: 81259
negative_passages.text: Proving a different version of MVT