{"entities":{"Q1413054":{"pageid":1423794,"ns":120,"title":"Item:Q1413054","lastrevid":68646999,"modified":"2026-04-13T01:09:51Z","type":"item","id":"Q1413054","labels":{"en":{"language":"en","value":"Automated reasoning with analytic tableaux and related methods. International conference TABLEAUX 2003, Rome, Italy, September 9--12, 2003. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2003033"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1413054$0F0F6E84-3BAD-40A8-AC14-09DF8D8D113C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dc109ffe7e3184668b26b6ed821f2ab53a41137","datavalue":{"value":{"text":"Automated reasoning with analytic tableaux and related methods. International conference TABLEAUX 2003, Rome, Italy, September 9--12, 2003. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1413054$F315C19F-220D-44A7-8043-824880A560F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4897d6e67f92d080e946eeaa74db1fbdf3c06e6c","datavalue":{"value":"1024.00047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1413054$5E9CB677-DEF3-4BB6-8A34-7295E0FFE5AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1413054$34A1333F-620C-4AD9-942B-D7591E4E73D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49e45237da2fe232f4acd12dcd23ea3c471f3778","datavalue":{"value":{"time":"+2003-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1413054$62CB3738-23F7-4750-AA9C-F0DBD4C021FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cfa26171835969f79b1f9b29f3e7f9317310858","datavalue":{"value":"http://link.springer.de/link/service/series/0558/tocs/t2796.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1413054$A7968F70-91F7-4446-BA50-FC9A1CFF6E84","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"519a895cd2f78589f586da20a8c3800d8f017f96","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0993.00044).  Indexed articles:  \\textit{Avron, Arnon}, Tableaux with four signs as a unified framework, 4-16 [Zbl 1274.03018]  \\textit{Brunet, Olivier}, A labelled sequent-calculus for observation logic, 17-31 [Zbl 1274.03036]  \\textit{Ciabattoni, Agata; Metcalfe, George}, Bounded \u0141ukasiewicz logics, 32-47 [Zbl 1274.03042]  \\textit{Ferm\u00fcller, Christian G.}, Parallel dialogue games and hypersequents for intermediate logics, 48-64 [Zbl 1274.03052]  \\textit{Giese, Martin}, Simplification rules for constrained formula tableaux, 65-80 [Zbl 1274.03020]  \\textit{Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Schwind, Camilla}, Tableau calculi for preference-based conditional logics, 81-101 [Zbl 1274.03021]  \\textit{Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido}, A general tableau method for propositional interval temporal logics, 102-116 [Zbl 1274.03033]  \\textit{Letz, Reinhold; Stenz, Gernot}, Universal variables in disconnection tableaux, 117-133 [Zbl 1274.03022]  \\textit{Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael}, A tableau algorithm for reasoning about concepts and similarity, 134-149 [Zbl 1274.68411]  \\textit{Marx, Maarten}, XPath and modal logics of finite DAG's, 150-164 [Zbl 1274.03038]  \\textit{Murray, Neil V.; Rosenthal, Erik}, Tableaux, path dissolution, and decomposable negation normal form for knowledge compilation, 165-180 [Zbl 1274.03023]  \\textit{Peltier, Nicolas}, A more efficient tableaux procedure for simultaneous search for refutations and finite models, 181-195 [Zbl 1274.03024]  \\textit{Velev, Miroslav N.}, Automatic abstraction of equations in a logic of equality, 196-213 [Zbl 1274.03025]  \\textit{Waaler, Arild; Antonsen, Roger}, A free variable sequent calculus with uniform variable splitting, 214-229 [Zbl 1274.03026]  \\textit{Abate, Pietro; Gor\u00e9, Rajeev}, The tableaux work bench, 230-236 [Zbl 1274.68404]  \\textit{Brown, Frank M.}, Decision procedures for the propositional cases of second order logic and Z modal logic representations of a first order \\(L\\)-predicate nonmonotonic logic, 237-245 [Zbl 1274.68405]  \\textit{Brown, Frank M.}, Logistica 2.0: a technology for implementing automatic deduction systems, 246-251 [Zbl 1274.68406]  \\textit{H\u00e4hnle, Reiner; S\u00f6rensson, Niklas}, Fair constraint merging tableaux in lazy functional programming style, 252-256 [Zbl 1274.68409]  \\textit{Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi}, SOLAR: a consequence finding system for advanced reasoning, 257-263 [Zbl 1274.68412]  \\textit{Olivetti, Nicola; Pozzato, Gian Luca}, CondLean: a theorem prover for conditional logics, 264-270 [Zbl 1274.68414]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1413054$88217E6F-797F-419F-A35B-CCEC019D7733","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1413054$1E973564-9FF0-4787-8D7E-96DD5A56F906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1413054$66BDCC85-6F6A-4D04-8E35-DF05F5A38A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1413054$B13F9283-3C58-47BE-800D-E7EA67FFD57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1413054$092B1FEB-C6E0-4270-9BC8-187E3F298ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1413054$022EDA37-D590-4632-9098-9B12E081BD21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02f1e958de7f4b930622d235b7c8689714ab1852","datavalue":{"value":"2003033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1413054$D4E5CB72-CA96-4990-871D-A363E398A25C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3971ee52cc98a88e4d13233657f8338e7e6b622d","datavalue":{"value":"Automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1413054$2B6F9DF2-B24A-472F-90A7-7B013D9953BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"243af76eae4ee477bb30a74063423330c3e376ec","datavalue":{"value":"Analytic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1413054$0FD41D44-6D76-4BFB-8087-50747FF58824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eefcfca8dfe03d94fa802011d26943c87bbdc2b5","datavalue":{"value":"TABLEAUX 2003","type":"string"},"datatype":"string"},"type":"statement","id":"Q1413054$9127553C-DF1E-474B-B046-242AB0264723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3958f519a889669d2007ab47b229d16ba351a996","datavalue":{"value":"Rome (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1413054$EBB9F95A-885C-426C-AA13-0CF587C307EA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1413054$BA86DDD6-1EF8-40C9-B390-6A0B5BD2A1EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b99a32ae23bc1fe15be315156d2dbee79ab0437","datavalue":{"value":"W4302076531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1413054$8AE9DC7F-0ACC-457D-ABA9-2247E3FCA2D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a73b1d98a3e71a2a07d6ed394188ffd66acb12b2","datavalue":{"value":"10.1007/B12030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1413054$F9BD5AC4-5654-444E-9CDC-2553AE9D0BBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated reasoning with analytic tableaux and related methods. International conference TABLEAUX 2003, Rome, Italy, September 9--12, 2003. Proceedings","badges":[]}}}}}