{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":52,"n_cols":5,"rows_kept":52,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[8,2,8,3],[9,2,9,3],[15,2,15,3],[15,4,15,5],[16,2,16,3],[16,4,16,5],[17,2,17,3],[17,4,17,5],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[30,2,30,3],[30,4,30,5],[31,2,31,3],[31,4,31,5],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[45,2,45,3],[46,2,46,3],[49,2,49,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996387311303316"]
[null,null,"Autore",null,"Whitehead George <1636?-1723.>"]
[null,null,"Titolo",null,"The cause and prevention of great calamities national and personal [[electronic resource] ] : demonstrated, and recommended to the consciences of all concerned; especially keepers of taverns, inns, and other houses of entertainment, to read and consider in the fear of the all-seeing God. / / [by] G.W"]
[null,null,"Pubbl/distr/stampa",null,"[London], : Printed and sold by T. Sowle at the Crooked-Billet in Holywell-Lane, in Shoreditch, 1692"]
[null,null,"Descrizione fisica",null,"1 sheet ([1] p.)"]
[null,null,"Soggetti",null,"Temperance - Quaker authors"]
[{"$nulls":4},"Society of Friends - Social problems"]
[{"$nulls":4},"Broadsides17th century.EnglandLondon"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Signed at bottom of sheet: G.W."]
[{"$nulls":4},"Imperfect: creased, with slight loss of text."]
[{"$nulls":4},"Reproduction of original in: Friends' Library (London, England)."]
[null,null,null,"Sommario/riassunto","eebo-0080"]
[null,"2.","Record Nr.",null,"UNISA996383906603316"]
[null,null,"Autore",null,"Hammond Henry <1605-1660.>"]
[null,null,"Titolo",null,"An ansvver to the animadversions on the dissertations touching Ignatius's epistles, and the episcopacie in them asserted. By H. Hammond, D.D [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed by J.G. for Richard Royston, at the Angel in Ivie-lane., 1654"]
[null,null,"Descrizione fisica",null,"[4], 219, [1] p"]
[null,null,"Soggetti",null,"Episcopacy"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","A reprinting of and reply to part of: Owen, John.  The doctrine of the saints perseverance, explained and confirmed."]
[{"$nulls":4},"Title page in red and black."]
[{"$nulls":4},"The first leaf is blank."]
[{"$nulls":4},"Annotation on Thomason copy: \"Nou: 4th\"."]
[{"$nulls":4},"Reproduction of the original in the British Library."]
[null,null,null,"Sommario/riassunto","eebo-0018"]
[null,"3.","Record Nr.",null,"UNINA9910768459603321"]
[null,null,"Titolo",null,"Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / / edited by Didier Galmiche"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997"]
[null,null,"ISBN",null,"3-540-69046-8"]
[null,null,"Edizione",null,"[1st ed. 1997.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 380 p.)"]
[null,null,"Collana",null,"Lecture Notes in Artificial Intelligence ; ; 1227"]
[null,null,"Disciplina",null,"006.3/33"]
[null,null,"Soggetti",null,"Computer architecture"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Computer System Implementation"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,"Nota di contenuto",null,"MGTP: A model generation theorem prover — Its advanced features and applications — -- Three faces of natural deduction -- Tableaux for logic programming with strong negation -- Generalized tableau systems for intermediate propositional logics -- Lean induction principles for tableaux -- Tableaux for diagnosis applications -- Free variable tableaux for propositional modal logics -- A sequent calculus for skeptical Default Logic -- A fast saturation strategy for set-theoretic tableaux -- Hintikka multiplicities in matrix decision methods for some propositional modal logics -- Automated natural deduction prover and experiments -- Non-elementary speed-ups in proof length by different variants of classical analytic calculi -- Ordered tableaux: Extensions and applications -- Two loop detection mechanisms: A comparison -- Subgoal alternation in model elimination -- Projection: A unification procedure for tableaux in Conceptual Graphs -- On quasitautologies -- Tableaux methods for access control in distributed systems -- Proving correctness of labeled transition systems by semantic tableaux -- Tableau methods for PA-processes -- A tableau "]
[{"$nulls":4},"proof system for a mazurkiewicz trace logic with fixpoints -- ileanTAP: An intuitionistic theorem prover -- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models -- A framework for using knowledge in tableau proofs -- A sequent calculus for reasoning in four-valued Description Logics -- Tableaux for functional dependencies and independencies."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic."]