{"entities":{"Q5079741":{"pageid":7109317,"ns":120,"title":"Item:Q5079741","lastrevid":55409710,"modified":"2026-02-17T15:49:01Z","type":"item","id":"Q5079741","labels":{"en":{"language":"en","value":"Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533342"}},"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":"Q5079741$A57EA042-09AB-4B4D-A523-2B28999C4ADA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fca002f5263bf37cd78527dfba7fca450ce3c4eb","datavalue":{"value":{"entity-type":"item","numeric-id":1694468,"id":"Q1694468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$AC4DA8E6-FF40-4F0E-89F6-88054890F45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"604e2732b1b9634c7f23f07fef29c6e42547c2b5","datavalue":{"value":{"entity-type":"item","numeric-id":387989,"id":"Q387989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$CAABFA17-595F-4D2A-9175-0D27CA7A53E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079741$271882FE-C137-4216-864B-E7DCCBBCFC14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079741$C317C101-792D-4830-94F0-D6C57AE2B551","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57de5a2cb3b116d758898b709f5a777fbe760caf","datavalue":{"value":"7533342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079741$C3F36168-95E6-44ED-94E0-A3FD6BD84CDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079741$84D23052-83EA-4D7E-9E95-FDD841F94432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2efd6ca2e632b6ca823bc98fefd73c07a1f518da","datavalue":{"value":"transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079741$572B6CB5-4312-4040-8315-9DF5EACABCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8469082ea1f8302aae278d64c08d88fdabe375fc","datavalue":{"value":"infinitary proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079741$BCAF8437-0803-4039-855B-D22A4D19E15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22aae21b425cb205eb17e6f6eca9f1698835c3f","datavalue":{"value":"cyclic proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079741$5BD7FF9E-B687-4E8B-AA95-990738B6576A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079741$8B9325D9-01CA-48E1-A9B2-A1F2ED9E06B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079741$8E5B6E9C-2A04-4197-8DF5-E8D4339AFDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e28c9a5fbaf9860437c25c75aff405b0d1414a29","datavalue":{"value":"standard semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079741$63640B3D-B77E-4292-8CB1-B1586E4D23FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"002982bb907e4a861c15eb4f738de7828a18f908","datavalue":{"value":"henkin semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079741$D4F51592-1583-443D-8823-72DE3E8EE3C0","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":"Q5079741$701D614C-0FA1-4A68-9B2A-31F658613455","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f972e3641c3a0ae702912ca836cccd8294c221","datavalue":{"value":{"entity-type":"item","numeric-id":2988375,"id":"Q2988375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$DB9DD061-96C6-483F-9F1F-9B77DA672201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a4af602b522c2682b2c35cb1b488e8e6a412b3","datavalue":{"value":{"entity-type":"item","numeric-id":5144661,"id":"Q5144661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$F64DEC7B-5841-438D-A97E-87B68D8CAAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9e8e1fe138d59390014af6d7c1a08c93029421","datavalue":{"value":{"entity-type":"item","numeric-id":3611996,"id":"Q3611996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$86C69027-BF36-4B5C-87DD-D5B738CE081D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8839917919f90fa144382a094d8dea8f58a77f","datavalue":{"value":{"entity-type":"item","numeric-id":3189830,"id":"Q3189830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$9D6CEA18-7638-4479-8A76-A6B0E99C26A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$216A2BF7-3E99-433C-9BF6-F579A44F6AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$11BEA29B-1235-48C3-8FE6-F51750A3CD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30359e436d3d0c1b0ccb469e9e49b4f58a3c2cc9","datavalue":{"value":{"entity-type":"item","numeric-id":1694469,"id":"Q1694469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$1F8DE81A-709B-4A94-BFFC-7435F9718D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94eafebcfbc7eb6a25b9e64821ba38a986983678","datavalue":{"value":{"entity-type":"item","numeric-id":2938136,"id":"Q2938136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$E3C5E46B-9B65-41D3-BE11-F3533DEE6FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$37E92FAA-C84A-4576-A501-74D51773C7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$1128D363-DB8F-4A1B-BB32-7FA487C47608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba3cf41f46f0763793828a02b8681c747ac449a","datavalue":{"value":{"entity-type":"item","numeric-id":1694471,"id":"Q1694471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$EC92B587-6797-4543-B6CE-0F2102FDC9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$331E8BCE-740E-43ED-9DAE-D9283EE7F165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$A21B681E-FACD-4BB4-9313-574C50967EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$2DAE009B-79BB-492D-8C29-38261276AFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5465786b60ae030073493df3ca11b79b2925d6","datavalue":{"value":{"entity-type":"item","numeric-id":3520232,"id":"Q3520232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$07141DE1-5239-4832-9379-B59004E80615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$954D7F08-8A1F-4E22-A954-D0352B2AAC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$3C290FD6-A52E-4867-9B17-DEE6E5FCCB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9363e79fa8e536824709fd691a9d6976fe6f88","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$C6955B79-A632-4382-87C4-CB8994790C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b34a3bbe6833c1249dbe3ebbfcdb81d97201d76","datavalue":{"value":{"entity-type":"item","numeric-id":2649136,"id":"Q2649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$88060C3F-E4E3-4076-804E-17F65A26ECA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae3640b114c508cb6127b07d35c2876cd21a98c","datavalue":{"value":{"entity-type":"item","numeric-id":2988374,"id":"Q2988374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$E3999892-C717-4146-8CC6-40B3C6C1D35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79af7c6c26413e6cf62b9d55caa06072ad927ad","datavalue":{"value":{"entity-type":"item","numeric-id":4417874,"id":"Q4417874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$3DEA34E6-25D7-45D5-ABA8-986FB8C0E5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$D505BC23-F509-4429-8E62-09D4748AEBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42f666afe3b457071a11357bcb42a2f8e00fe0","datavalue":{"value":{"entity-type":"item","numeric-id":5920091,"id":"Q5920091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079741$3D48B56A-28C9-41C4-B384-21146683698D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f45092ef4109a1bc5aef000f3073d4bbcf6f494","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/csl/csl2018.html#0001R18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5079741$2796D386-524B-4FF0-95B4-4AFAEC5A1749","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d18d836975375d953fe39a9b56bd15e52bd31d2f","datavalue":{"value":"W2888803631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079741$CC3726D8-D0AD-45D6-9B4B-322DE6C7D7B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf536c7f077d34d91244468db55eda4c445d6a0e","datavalue":{"value":{"text":"Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5079741$E36D01F3-9AF3-4663-9EAA-57B615C526F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73884b39210afaab9fbf34d5b8c63fce7bcd5fa8","datavalue":{"value":"10.4230/LIPICS.CSL.2018.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079741$941DB360-5F59-4201-B810-97604CDAEC5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29022f8e9fb53a35168412b735fdc6e9f9e0723b","datavalue":{"value":{"entity-type":"item","numeric-id":5121282,"id":"Q5121282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0ce6bdb7ef7e2678ef3ad9d2eadb4df753df44","datavalue":{"value":{"amount":"+0.916507601737976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079741$C4A252C7-1058-4131-BEAC-29DF0F90A385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111987797771664757c3f9431859571a63da9e17","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00116185c07b8310bd8b8bf62a632f5647c1b09e","datavalue":{"value":{"amount":"+0.7613872289657593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079741$B3C7C2DC-16FC-42BC-806A-2BD94C633719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0357dc4758fc57e52ad9769232b0c536e42dae","datavalue":{"value":{"entity-type":"item","numeric-id":2938136,"id":"Q2938136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15590ac0b6d01392b8ab3c4984916adf90765363","datavalue":{"value":{"amount":"+0.7520622611045837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079741$D51E0807-A867-41BF-BA90-89989831F22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67569a8d36820a4f5d562613552274ade326408","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31012781713e1f588f60efff562e104c8c2fe35a","datavalue":{"value":{"amount":"+0.7374388575553894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079741$580613E4-7A11-423E-AD06-2D00DB5B934E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774ef65a46726415f894b24305c68bc0ab61c093","datavalue":{"value":{"entity-type":"item","numeric-id":4202939,"id":"Q4202939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7af08faac220e579bbf64c149c2d616eaafbb64","datavalue":{"value":{"amount":"+0.7322292327880859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5079741$D9B94E85-B1C1-41BB-B445-AA8E8E6DAD03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079741"}}}}}