{"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":60,"n_cols":5,"rows_kept":60,"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],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[20,2,20,3],[21,2,21,3],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[41,2,41,3],[44,2,44,3],[44,4,44,5],[45,2,45,3],[45,4,45,5],[46,2,46,3],[46,4,46,5],[47,2,47,3],[48,2,48,3],[49,2,49,3],[50,2,50,3],[51,2,51,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466043803316"]
[null,null,"Titolo",null,"Web Reasoning and Rule Systems [[electronic resource] ] : 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011, Proceedings / / edited by Sebastian Rudolph, Claudio Gutierrez"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011"]
[null,null,"ISBN",null,"3-642-23580-8"]
[null,null,"Edizione",null,"[1st ed. 2011.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 308 p. 51 illus.)"]
[null,null,"Collana",null,"Information Systems and Applications, incl. Internet/Web, and HCI ; ; 6902"]
[null,null,"Disciplina",null,"004"]
[null,null,"Soggetti",null,"Application software"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Information storage and retrieval"]
[{"$nulls":4},"Data mining"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Multimedia information systems"]
[{"$nulls":4},"Information Systems Applications (incl. Internet)"]
[{"$nulls":4},"Information Systems and Communication Service"]
[{"$nulls":4},"Information Storage and Retrieval"]
[{"$nulls":4},"Data Mining and Knowledge Discovery"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Multimedia Information Systems"]
[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,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 5th International Conference on Web Reasoning and Rule Systems, RR 2011, held in Galway, Ireland in August 2011. The 13 revised full papers, 12 revised short papers presented together with 2 invited talks were carefully reviewed and selected from 36 submissions. The papers address all current topics in Semantic Web, interplay between classical reasoning approach with welll established web languages such as RDF and OWL, reasoning languages, querying and optimization and  rules and ontologies."]
[null,"2.","Record Nr.",null,"UNINA9910827797803321"]
[null,null,"Autore",null,"Blok W. J. <1947->"]
[null,null,"Titolo",null,"Algebraizable logics / / W.J. Blok and Don Pigozzi"]
[null,null,"Pubbl/distr/stampa",null,"Providence, Rhode Island : , : American Mathematical Society, , 1989"]
[{"$nulls":4},"©1989"]
[null,null,"ISBN",null,"1-4704-0816-3"]
[null,null,"Descrizione fisica",null,"1 online resource (89 p.)"]
[null,null,"Collana",null,"Memoirs of the American Mathematical Society, , 0065-9266 ; ; Volume 77, Number 396"]
[null,null,"Disciplina",null,"511.3/24"]
[null,null,"Soggetti",null,"Algebraic logic"]
[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","\"Volume 77, number 396 (third of 4 numbers).\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"\"\"Contents\"\"; \"\"Introduction\"\"; \"\"1 Deductive Systems and Matrix Semantics\"\"; \"\"1.1 The Lattice of Theories\"\"; \"\"1.2 Matrix Semantics\"\"; \"\"1.3 Deductive Systems as Elementary Theories\"\"; \"\"1.4 The Elementary Leibniz Equivalence Relation\"\"; \"\"1.4.1 Protoalgebraic Logics\"\"; \"\"2 Equational Consequence and Algebraic Semantics\"\"; \"\"2.1 Algebraic Semantics\"\"; \"\"2.2 Equivalent Algebraic Semantics\"\"; \"\"2.2.1 Uniqueness\"\"; \"\"2.2.2 Axiomatization\"\"; \"\"3 The Lattice of Theories\"\"; \"\"4 Two Intrinsic Characterizations\"\"; \"\"4.1 The Leibniz Operator\"\"; \"\"4.2 A Second Intrinsic Characterization\"\""]
[{"$nulls":4},"\"\"5 Matrix Semantics and Algebraizability\"\"\"\"5.1 Matrix Semantics and Algebraic Semantics\"\"; \"\"5.2 Applications and Examples\"\"; \"\"5.2.1 Modal Logics\"\"; \"\"5.2.2 Entailment and Relevance Logics\"\"; \"\"5.2.3 Pure Implicational Logics\"\"; \"\"5.2.4 Two Logics with the Same Algebraization\"\"; \"\"5.2.5 Intuitionistic Propositional Logic without Implication\"\"; \"\"5.2.6 Equivalential Logic\"\"; \"\"A: Elementary Definitional Equivalence\"\"; \"\"B: An Example\"\"; \"\"C: Predicate Logic\"\"; \"\"Bibliography\"\"; \"\"Index\"\"; \"\"A\"\"; \"\"C\"\"; \"\"D\"\"; \"\"E\"\"; \"\"F\"\"; \"\"G\"\"; \"\"H\"\"; \"\"I\"\"; \"\"J\"\"; \"\"K\"\"; \"\"L\"\"; \"\"M\"\"; \"\"P\"\"; \"\"Q\"\"; \"\"R\"\""]
[{"$nulls":4},"\"\"S\"\"\"\"T\"\"; \"\"U\"\""]
[null,"3.","Record Nr.",null,"UNISA996385300403316"]
[null,null,"Autore",null,"Henry, King of England, <1491-1547.>"]
[null,null,"Titolo",null,"Assertio septem sacramentorum, or, An assertion of the seven sacraments against Martin Luther [[electronic resource] /] / by Henry the VIII ... : to which is adjoyn'd his epistle to the pope, Mr. John Clark's oration, and the pope's answer thereunto : as also, the pope's bull, by which His Holiness was pleas'd to bestow upon K. Henry VIII (for composing this book) that most illustrious, splended, and most Christian-like title of Defender of the faith ; faithfully translated into English by T.W. Gent"]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed by Nath. Thompson ..., 1687"]
[null,null,"Descrizione fisica",null,"[30], 133, [3] p"]
[null,null,"Soggetti",null,"Sacraments"]
[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","Translation of Assertio septem sacramentorum adversus Martinum Lutherum."]
[{"$nulls":4},"Running title: King Henry VIII's assertion of the seven sacraments."]
[{"$nulls":4},"Marginal notes."]
[{"$nulls":4},"Errata: p. 133."]
[{"$nulls":4},"Advertisement: p. [1]-[3] at end."]
[{"$nulls":4},"Reproduction of original in Huntington Library."]
[null,null,null,"Sommario/riassunto","eebo-0113"]