{"entities":{"Q1310291":{"pageid":1321041,"ns":120,"title":"Item:Q1310291","lastrevid":67134306,"modified":"2026-04-12T15:31:25Z","type":"item","id":"Q1310291","labels":{"en":{"language":"en","value":"Computational logic and proof theory. 3rd Kurt G\u00f6del Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 479613"}},"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":"Q1310291$6E4F7E71-B129-4E33-B0F4-59F5E6E64CB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31c3b8cf95eb662c63c822ca2d58e36eee3a91fc","datavalue":{"value":{"text":"Computational logic and proof theory. 3rd Kurt G\u00f6del Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1310291$EDECE646-49F4-4460-B9BC-44EE3A5FA41E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de3d3465a69611a7fd3cbd31c146fd6d29b92e1a","datavalue":{"value":"0866.00036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1310291$04122C2E-A938-4BD2-9B61-30E203F39863","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":"Q1310291$8EA12A46-8934-4094-8AF9-28D700D5AD5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ab279b130be828e6561f0e8c2345f71e46791e","datavalue":{"value":{"time":"+1993-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1310291$1AEF757E-0C5A-46F3-926F-8FD6D18D7FD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1310291$BF622668-320D-42AE-9068-6EA7D3488AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1310291$71C51AF5-A483-45A9-A4AC-C65D9F105E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1310291$D3B61C4C-F5A6-4E02-8CBC-09E619C3F482","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7da284b3dbf5b09843c56cd85f19b3e3ebb75fe","datavalue":{"value":"479613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1310291$C939BD19-5827-4161-9BA1-0E404DB0EDFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedd5f8eea7268cf542e8a6dfda61795949a09c6","datavalue":{"value":"Brno (Czech Republic)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1310291$AB9935A6-0417-40E1-9E45-E5FBFD878714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85413872e180f82c5b8a578e96e74f0315026938","datavalue":{"value":"Colloquium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1310291$2FA48CC9-D645-4D5D-941C-AB5639D89BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1310291$688361E8-278D-40BD-A320-C47D149231B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac54fc4d1b003cf557ccd833c52539c2010b6d2","datavalue":{"value":"KGC '93","type":"string"},"datatype":"string"},"type":"statement","id":"Q1310291$2D3A9422-28CC-4031-8E71-3B97698D13A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd031671ade5ded8e55b1b60bafd1349f9e60ad2","datavalue":{"value":"Computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1310291$FE4B53BB-4DB9-4782-AB48-61A4B8A20C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0cbbc442fcc127d9fa405ab5ed2ad80336e2fc","datavalue":{"value":"Proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1310291$53C9C68D-7661-4F66-A4F2-460BAB4AB533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7da5f519ad2bff9c74130af117660429ed6b66af","datavalue":{"value":"Kurt G\u00f6del Colloquium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1310291$40CB3F39-239B-4105-842B-166365433F89","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":"Q1310291$684CC6AE-2F55-451F-B44D-5EDAA5AD6448","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a31dd19b3961086dcaacaef4cc7da8b514e94d98","datavalue":{"value":"https://doi.org/10.1007/bfb0022546","type":"string"},"datatype":"url"},"type":"statement","id":"Q1310291$079E61A8-D6C5-4CE1-8B60-521BA4F19C2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5469e583a5c23f5ec2d645082d4b4f011ef3c097","datavalue":{"value":"W4256104696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1310291$2528D093-8ECE-429D-8A7B-85B93232BD1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b460340791359407f791aaebdca31b7363f5bf0","datavalue":{"value":"10.1007/BFB0022546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1310291$48F453B1-B72F-4E9D-A2AF-67940B03733E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd4aee7f92d65cd69d4b94714e0bad905ad5df9e","datavalue":{"value":{"entity-type":"item","numeric-id":1365518,"id":"Q1365518"},"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":"Q1310291$7DB600C3-55BE-4973-8706-2294519435D2","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":"a4cbf4ecbfd290727a5b10b6203345514a57cb51","datavalue":{"value":{"amount":"+0.8920153","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":"Q1310291$054A7DE1-B43A-4098-AF1A-2298CB402E77","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":"fe0844949042a2decb9c6f0178bb11475b163ea0","datavalue":{"value":{"amount":"+0.88851345","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":"Q1310291$D7EF02E7-F8B8-4B70-A61A-6764C9F52526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09e4f4bdd445d8520e6505c4a79bf3106c70ba1","datavalue":{"value":{"entity-type":"item","numeric-id":3174683,"id":"Q3174683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d4b901d340e23d860ce28c132c9317d17dc356","datavalue":{"value":{"amount":"+0.8858371","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":"Q1310291$B224421F-AEF5-4682-80EE-2C0237E3F9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b998045183bc172f6d875b8cb42acad892a33921","datavalue":{"value":{"entity-type":"item","numeric-id":4889580,"id":"Q4889580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e8d50cc6e5b89a0488ed247b8e3137305a8424","datavalue":{"value":{"amount":"+0.8743802","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":"Q1310291$2FD1D515-5BC4-4588-A11F-197AEFF421ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645efca8c5541150d6178b601ddb6ca587622c9f","datavalue":{"value":{"entity-type":"item","numeric-id":3997483,"id":"Q3997483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2c3983b4b69538646c47b2dc55300e45c17538","datavalue":{"value":{"amount":"+0.8686067","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":"Q1310291$ABA91110-F3B7-46AF-B427-81FFC860A620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077952448a28571378fcdf413278792ce6cd89fd","datavalue":{"value":{"entity-type":"item","numeric-id":2715689,"id":"Q2715689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b133dcccff728b282055a41faf5d76112a5bc8","datavalue":{"value":{"amount":"+0.8587662","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":"Q1310291$5F7E9FD4-215A-4CF4-982D-99F11E345460","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":"986482ac77fcb93f80e0eb602fc14ec10459f6e4","datavalue":{"value":{"amount":"+0.8467711","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":"Q1310291$495B7513-6DC4-4EF0-9E8D-443B26264475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070bca43d659bb1c1acee00c1d6d902daa318c24","datavalue":{"value":{"entity-type":"item","numeric-id":1899139,"id":"Q1899139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab3ce79cffe6097d6f4e84eed75a380fc8853ea","datavalue":{"value":{"amount":"+0.84675616","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":"Q1310291$9D290F6E-7E52-4111-A8A7-CD291CCB6D99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational logic and proof theory. 3rd Kurt G\u00f6del Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computational_logic_and_proof_theory._3rd_Kurt_G%C3%B6del_Colloquium,_KGC_%2793,_Brno,_Czech_Republic,_August_24-27,_1993._Proceedings"}}}}}