{"entities":{"Q2104551":{"pageid":2115294,"ns":120,"title":"Item:Q2104551","lastrevid":56991753,"modified":"2026-03-25T13:40:10Z","type":"item","id":"Q2104551","labels":{"en":{"language":"en","value":"Finite two-dimensional proof systems for non-finitely axiomatizable logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628213"}},"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":"Q2104551$3B5DEB64-2AEC-4E84-9655-573C98650335","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17e148d1cc49735e0ed65919d40133bc95dcd0fc","datavalue":{"value":{"text":"Finite two-dimensional proof systems for non-finitely axiomatizable logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104551$19B2AB60-D582-4068-9432-0835BFC1AD27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0edee8b2b273999c8f021188bafbfa28df970ca4","datavalue":{"value":"10.1007/978-3-031-10769-6_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104551$0A26B046-DDBD-4008-8BBD-0E046221B1F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d030b3ca23a17fa350f18c44179f35f62342dec","datavalue":{"value":{"entity-type":"item","numeric-id":2104550,"id":"Q2104550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$2AFA3A53-CD38-49AE-AE27-C7CC53620E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c98628b33c8dc5226ed1ac3a7bf7845cc81598dc","datavalue":{"value":{"entity-type":"item","numeric-id":276031,"id":"Q276031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$CBC77BA8-FDC2-4AFC-A2B7-1C89595BF64F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104551$A82380F2-4269-4BD9-A53F-8DD384E096AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e82f4cb4bfe8cf1f55b1a5695317933bb0c0b1ef","datavalue":{"value":"https://arxiv.org/abs/2205.08920","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104551$6396B3A7-98E0-4DF9-829C-1306841E3BCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104551$1673A507-00B3-49F9-A6D7-F4D5CDE248BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0084792be27eb9a73aca56f9db7f0dbb661997f1","datavalue":{"value":"7628213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104551$4CA2B2EF-4BF1-47CB-A7B1-5EEB9CC6C4ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e5076a24726f35009139b04fdf4a3f6981e7f64","datavalue":{"value":"Hilbert-style proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104551$5F5C08D6-EB83-48CF-9539-6584128FEA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104551$2DC08A98-A31C-4FD1-A1BB-CBD40FC1592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626d328638f0e8bfd2c7f65d2308e670728a3d77","datavalue":{"value":"consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104551$07206665-E259-4F42-84E0-78B79CB631C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b9973e3b06473381d8df2748e6ea2128b03fb","datavalue":{"value":"non-deterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104551$711FA8FB-CCEF-4FE1-B1B6-8E65670F18D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf50e81767295ee9013bf102588a950860da455a","datavalue":{"value":"paraconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104551$E6EE2EC1-4E9D-4C50-90E0-A4F65C8F2F23","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":"Q2104551$598060FB-0C9D-4729-81E8-0494AE3901C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f36f6368d85ab21474e6d58ae9a9dcc49ccc7f4","datavalue":{"value":"W4289103995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104551$146FAE60-8046-49ED-B13A-5CAC2062053E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d82ab32ab75b607b3d2eb19144a798b3dbf566","datavalue":{"value":{"entity-type":"item","numeric-id":5311061,"id":"Q5311061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$A12BDF5E-4078-498B-A0F9-85046A49F0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6cdb2b765f973a0f9222ca8bd9da646898a07b2","datavalue":{"value":{"entity-type":"item","numeric-id":874747,"id":"Q874747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$17EEA36F-31B9-40CE-B89B-B851E8977A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d7992e583cf45900673369824994739769f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":5703736,"id":"Q5703736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$0C6852B4-56D7-455E-AC68-5A7818549400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ae24754f75a802a2da40737e8cd0fedd5ca062","datavalue":{"value":{"entity-type":"item","numeric-id":3025337,"id":"Q3025337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$3A0679A1-5AF5-4586-BB19-A1CC826D7F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72fe39e08bc18bc0a483b7750a615d4176ca318","datavalue":{"value":{"entity-type":"item","numeric-id":2351396,"id":"Q2351396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$573801BC-A449-4FEB-A296-7C9050008351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893a2d018063cd0919bdfca071d7e5017c2bf268","datavalue":{"value":{"entity-type":"item","numeric-id":3386887,"id":"Q3386887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$D0A9487C-31F0-4B9A-AFC8-28AE408105DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2732dbb9965adc5cbc1eba9a9ed1474cf003f30a","datavalue":{"value":{"entity-type":"item","numeric-id":6067100,"id":"Q6067100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$A979AA87-2CC9-470A-8592-C7A4182FD3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5faa2fbc23b35d2b6f2fb9c00cded5e597df14bf","datavalue":{"value":{"entity-type":"item","numeric-id":4576064,"id":"Q4576064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$238785A5-2B33-4248-83A9-00DBA0FF07BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$D7FD3CB1-DAD6-45F5-A910-9ED34F154760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d46702fcc0d49e571de7762fc2e4120444393d","datavalue":{"value":{"entity-type":"item","numeric-id":2303582,"id":"Q2303582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$B2D357DD-6415-498D-8B7A-96C152BC8C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$689E4BB4-BF40-4F03-9EDF-5F722E654582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"968595f8b8911805e37211157da870cd8e5354b6","datavalue":{"value":{"entity-type":"item","numeric-id":701299,"id":"Q701299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$98ADC840-6F86-4AA1-998C-763178371F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc2a340689cd4a51316914e0735d5e3f35abd188","datavalue":{"value":{"entity-type":"item","numeric-id":2142069,"id":"Q2142069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$CC4124CA-39E0-4756-A22B-BD1F20C64D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53fcd86f9d7685db09f3f5d7e1292265d5abf40f","datavalue":{"value":{"entity-type":"item","numeric-id":6088603,"id":"Q6088603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$8FD5DF13-D751-474D-9300-7FAB2C76A25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7e3cdb0a0b1cba04779bfd3600e651d48355a6","datavalue":{"value":{"entity-type":"item","numeric-id":2169126,"id":"Q2169126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$288AD661-468B-4609-A7D9-6CAA583276D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059dd89a45c8f4f35ffad8fcd66570d17d2c8f97","datavalue":{"value":{"entity-type":"item","numeric-id":3647284,"id":"Q3647284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$E6B345D3-3A26-4A7D-BEC0-583E70751B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5a6ad65774536346bcfff115a10ca4717e208b","datavalue":{"value":{"entity-type":"item","numeric-id":1168307,"id":"Q1168307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$466E445C-AD80-4B42-BC1C-996FC5777413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$EC891A27-0CC4-4767-B342-DC0555F29690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31b46f2d3e184e0ce2f4ab0cd192d06ae329400","datavalue":{"value":{"entity-type":"item","numeric-id":5606564,"id":"Q5606564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$215BDB2C-0CB0-4219-BF65-3BFDC4781D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$D984C4F4-611A-4B85-9EBF-42FD7D3F3AFC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104551$325903A5-17F9-4427-AAE2-BA6E9DDB1C27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104551","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104551"}}}}}