The Skolem machine is a Turing-complete machine model where the instructions are first-order formulas of a specific form. We introduce Skolem machines and prove their logical correctness and completeness. Skolem machines compute queries for the Geolog language, a rich fragment of first-order logic. The concepts of Geolog trees and complete Geolog trees are defined, and these tree concepts are used to show logical correctness and completeness of Skolem machine computations. The universality of Skolem machine computations is demonstrated. Lastly, the paper outlines implementation design issues using an abstract machine model approach.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
A high-performance thin-layer chromatographic method has been developed for the quantitative determination of the muscle relaxant carisoprodol (Soma) in tablets. Chromatography was on silica gel plates with inorganic binder, detection by charring with sulfuric acid-methanol reagent, and quantification by densitometric scanning of zones of samples and standards. The method was applied to tablets containing carisoprodol as the only active ingredient and to tablets containing carisoprodol with aspirin and with aspirin plus codeine phosphate. Tablets were analyzed and the results compared with the label declarations; all results were within the š10% range specified in the US Pharmacopeia. Accuracy was validated by recovery from a blank sample spiked with a known concen-tration of carisoprodol and by standard addition analysis of a carisoprodol tablet solution before and after spiking to double its label content; errors for both methods were below 1.0%. Precision (RSD) was 1.0% for a sample analyzed four times on separate plates.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.