{"entities":{"Q1365518":{"pageid":1376258,"ns":120,"title":"Item:Q1365518","lastrevid":43060157,"modified":"2025-07-17T08:23:02Z","type":"item","id":"Q1365518","labels":{"en":{"language":"en","value":"Computational logic and proof theory. 5th Kurt G\u00f6del Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1057380"}},"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":"Q1365518$CF52AB37-05AD-416F-B406-840912D4B57B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52115dde9f17d5a1cdd55da691a8b708401bef82","datavalue":{"value":{"text":"Computational logic and proof theory. 5th Kurt G\u00f6del Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1365518$A0654801-66E0-4761-989B-2C4F66F9C13C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74aa0d88b39d8fdf17b1334ce00ffdae45ec9dcb","datavalue":{"value":"0870.00023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365518$0381D76A-E061-4521-A11F-35A0FBCB1E60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1980620791ac26d026edd3ea8198ef1b1e3d6a0","datavalue":{"value":"10.1007/3-540-63385-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365518$8C717CF3-145D-4A9C-83B7-DC42D04B9CFA","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":"Q1365518$9C087BAE-76C2-4C4B-8A8D-1973183BC124","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28b9596eafbe4f7af330e206cbe61b9813bd2dea","datavalue":{"value":{"time":"+1997-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1365518$9A4B25EC-511B-4DD5-9297-D54DEB4B0967","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"60ea54487e3f03ad222d2f4696335a1ae5487866","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Buchholz, Wilfried}, Explaining Gentzen's consistency proof within infinitary proof theory, 4-17 [Zbl 0887.03043]  \\textit{Buss, Samuel R.}, Alogtime algorithms for tree isomorphism, comparison, and canonization, 18-33 [Zbl 0884.68098]  \\textit{Carnielli, W. A.; Veloso, P. A. S.}, Ultrafilter logic and generic reasoning, 34-53 [Zbl 0884.03024]  \\textit{Robinson, J. A.}, Informal rigor and mathematical understanding, 54-64 [Zbl 0886.03002]  \\textit{Tammet, Tanel}, Resolution, inverse method and the sequent calculus, 65-83 [Zbl 0888.03004]  \\textit{Tiuryn, Jerzy}, Subtyping over a lattice, 84-88 [Zbl 0885.03016]  \\textit{Basin, David; Matthews, Se\u00e1n; Vigan\u00f2, Luca}, A new method for bounding the complexity of modal logics, 89-102 [Zbl 0886.03039]  \\textit{Beklemishev, Lev D.}, Parameter free induction and reflection, 103-113 [Zbl 0892.03023]  \\textit{Borchert, Bernd; Stephan, Frank}, Looking for an analogue of Rice's theorem in circuit complexity theory, 114-127 [Zbl 0894.03020]  \\textit{Ciabattoni, Agata; Luchi, Duccio}, Two connections between linear logic and \u0141ukasiewicz logics, 128-139 [Zbl 0884.03052]  \\textit{Egly, Uwe; Genther, Karin}, Structuring of computer-generated proofs by cut introduction, 140-152 [Zbl 0885.03012]  \\textit{Gilmore, Paul C.}, NaDSyL and some applications, 153-166 [Zbl 0885.03025]  \\textit{Khakhanian, V. Kh.}, Markov's rule is admissible in the set theory with intuitionistic logic, 167-171 [Zbl 0881.03031]  \\textit{Makowsky, J. A.}, Invariant definability. (Extended abstract), 186-202 [Zbl 0881.03022]  \\textit{Matzinger, Robert}, Comparing computational representation of Herbrand models, 203-218 [Zbl 0885.03013]  \\textit{Pape, Christian; H\u00e4hnle, Reiner}, Restart tableaux with selection function, 219-323 [Zbl 0887.03007]  \\textit{Plisko, V.}, Two semantics and logics based on the G\u00f6del interpretation, 233-240 [Zbl 0893.03021]  \\textit{Pliu\u0161kevi\u010dius, Regimantas}, On the completeness and decidability of a restricted first order linear temporal logic, 241-254 [Zbl 0885.03020]  \\textit{Po\u0142acik, Tomasz}, Propositional quantification in intuitionistic logic, 255-263 [Zbl 0887.03003]  \\textit{Preining, Norbert}, Sketch-as-proof, 264-277 [Zbl 0944.03053]  \\textit{Setzer, Anton}, Translating set theoretical proofs into type theoretical programs, 278-289 [Zbl 0884.03054]  \\textit{Tortora de Falco, Lorenzo}, Denotational semantics for polarized (but-non-constrained) \\(LK\\) by means of the additives, 290-304 [Zbl 0884.03053]  \\textit{Veanes, Margus}, The undecidability of simultaneous rigid \\(E\\)-unification with two variables, 305-318 [Zbl 0884.03047]  \\textit{Willard, Dan E.}, The tangibility reflection principle for self-verifying axiom systems, 319-334 [Zbl 0884.03056]  \\textit{Xi, Hongwei}, Upper bounds for standardizations and an application, 335-348 [Zbl 0888.03006]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365518$3B8DA4ED-3083-4E34-BAB9-A14D895699CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365518$49834023-C456-4F7E-A55A-E6758DD0EED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365518$41219766-04D6-4D52-8B58-6E18CCA5DEA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fb77f4e5acaa0702d4e84842975a7a88650293f","datavalue":{"value":"1057380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365518$114A8DF5-B039-48A8-9287-6D90E84C3151","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2c7e032c917f95bb51738915419d2f90496c72","datavalue":{"value":"Vienna (Austria)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365518$B593883E-E602-4F65-9EB4-F0DC75A420F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365518$667353C6-2FB7-4804-AD8F-713E2B734516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85413872e180f82c5b8a578e96e74f0315026938","datavalue":{"value":"Colloquium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365518$46735CF6-9E87-42EC-991B-080D7154D519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"330bdd1490a6462dd729638db9d8d882f19f27d6","datavalue":{"value":"KGC '97","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365518$79281079-1A9F-4111-A2EF-98FC8905EC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd031671ade5ded8e55b1b60bafd1349f9e60ad2","datavalue":{"value":"Computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365518$917D3282-4C5E-42D1-A00A-8063C93403FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0cbbc442fcc127d9fa405ab5ed2ad80336e2fc","datavalue":{"value":"Proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365518$2A1C1B79-E152-4F08-BF16-70588FB04C95","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":"Q1365518$AC36C60B-C59D-412D-B331-BC88E78829BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ea543c57a2962e6d0a36c6c7adf87c5ebf9b229","datavalue":{"value":"https://doi.org/10.1007/3-540-63385-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1365518$F49B02B5-F4F0-466D-9822-E7C82A4C5F61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5de3808f2954c5645ae48477da3a8de1a31d4b45","datavalue":{"value":"W2479925372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365518$6E4B7B5C-54DA-478E-AAFC-5613E37CDA21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1414814fb1aaf6120ac6631bdf2d9e6361809386","datavalue":{"value":{"entity-type":"item","numeric-id":1310291,"id":"Q1310291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2a13926893b34d1f69709b69cec2225172dc89","datavalue":{"value":{"amount":"+0.9119882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365518$92C90DA6-D4C9-4ABF-882E-3694C04DD317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"762d4e0bc1c9197846d74d4f75fd9c5bdd8c24ee","datavalue":{"value":{"entity-type":"item","numeric-id":1407206,"id":"Q1407206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2264f53f0af27821eaa1872a627fd3ba17fd381","datavalue":{"value":{"amount":"+0.9065795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365518$02B81515-3D6D-4CB3-ABBF-8ACB737D7E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d15483ac680b451539ebeb909141b50ef27cef6","datavalue":{"value":{"entity-type":"item","numeric-id":5108217,"id":"Q5108217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63755091b827d36832321d7ceac0f9ded3bb989b","datavalue":{"value":{"amount":"+0.88162905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365518$A3254FA1-3BBB-4153-BA98-E616DFA1EB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ecc2eeb707e89c3db839e033aaa5b9e08a22f3a","datavalue":{"value":{"entity-type":"item","numeric-id":798624,"id":"Q798624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff073c2f630011e990879e3fafc2efdd6e942ca","datavalue":{"value":{"amount":"+0.877096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365518$0BD83BA0-9E3C-4DA1-B1AE-F66552777ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a966939b213b14103edb44e5ae9e69d7de11ca98","datavalue":{"value":{"entity-type":"item","numeric-id":4348468,"id":"Q4348468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f9a97b3277effbcc8e27471272a759eaa5d98f","datavalue":{"value":{"amount":"+0.8592534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365518$1F3549EF-C431-4373-9A62-C8A2779AA076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e798b8e5c000c6f99b20154095c45dd890abe8b","datavalue":{"value":{"entity-type":"item","numeric-id":4231032,"id":"Q4231032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952478b6aade318bd0ff5c6a76d0754fb6cfc1b2","datavalue":{"value":{"amount":"+0.85494787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365518$8446855B-F08B-4A32-ACE9-8D0832CD1396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ce1360b4e17a0de5c4f99b408798d0e6f1e746","datavalue":{"value":{"entity-type":"item","numeric-id":4002242,"id":"Q4002242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e0e177e06ed6d34297b2c6b77542db62fa1f95b","datavalue":{"value":{"amount":"+0.85431176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365518$920E2A80-2423-472F-ABDD-4BE21ACE0411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f7d571511fb4f81ab9835360d50d2299624bcf","datavalue":{"value":{"entity-type":"item","numeric-id":3023831,"id":"Q3023831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9fde52e95bc2b1f5fa46dc6dc3b78a30d07729","datavalue":{"value":{"amount":"+0.8506288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365518$B532A051-F997-4F20-85A1-75FDFF357CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd1e04c84cef1fe98f32232ab1bb8189a191151","datavalue":{"value":{"entity-type":"item","numeric-id":4871627,"id":"Q4871627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c13e9de081638d4a170f69c09e8efe5e6e6bbd16","datavalue":{"value":{"amount":"+0.8480572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365518$00A55D2D-303A-4AAB-94F7-5938E87CC8D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1365518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1365518"}}}}}