{"entities":{"Q1744444":{"pageid":1755186,"ns":120,"title":"Item:Q1744444","lastrevid":72418614,"modified":"2026-04-14T04:46:32Z","type":"item","id":"Q1744444","labels":{"en":{"language":"en","value":"From cut-free calculi to automated deduction: the case of bounded contraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862971"}},"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":"Q1744444$98EEAEE5-DBAF-49BC-9ED5-55D5B50B0623","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd0b2a78c16c82a4cefd8add133a3df33d3fffe3","datavalue":{"value":{"text":"From cut-free calculi to automated deduction: the case of bounded contraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744444$2885A5B7-FEEF-4268-A318-FAD233AB2F70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"394e5bb9131bd61b124a09909365ceaae2e0adb9","datavalue":{"value":"1401.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744444$31977B22-00A1-4342-BCE2-FBFBF987B619","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$E3E90D2C-A55E-4170-A065-3B4981161D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"900b948a3c89cfd527e771da7f94f9ede8bdc85c","datavalue":{"value":{"entity-type":"item","numeric-id":344800,"id":"Q344800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$46FAF288-9C4A-47D0-ADB4-30C7704334F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a291a40249c385e5a5b67f84938ffed092fc031","datavalue":{"value":{"entity-type":"item","numeric-id":281157,"id":"Q281157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$05B642B3-3816-4AAF-9AC2-B696DF635915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$CCC7D5BA-F822-4A28-BE27-74A153D0CE6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744444$08F743A5-AB4E-40FB-9528-4EE6DA168B39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744444$9AD319DD-BFB4-4A74-A303-DCBDD5ABB4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744444$B9FD3908-B9A2-47FC-BC9D-50D32F64609D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744444$C4E30F9F-1F3A-433E-BFDC-2B04E2CCCF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744444$61117FBD-2EE7-4ABC-95FA-FAF6E4644517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744444$495C5AAD-E932-4314-81E2-21682810654C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da2047427b967111a8ab45d254f53833a74b8a5a","datavalue":{"value":"6862971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744444$FD490DBC-8B3D-4EC0-B241-A1729BF52AC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744444$33815042-D615-4F65-A0D6-A620ED64C7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744444$7EBDF5F0-EAAD-4C49-AC0F-892328E4DED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744444$8EEF82E2-D05C-421B-A955-022851427F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08bcbb608f17741d932c02f06fa1d4a7d73a712d","datavalue":{"value":"bounded contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744444$3D8855D3-8C32-4621-9DE0-C5549E395AD3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bea83566ad047ec39e22bd8867e363c00af7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$C4046374-FE3D-4118-A1DD-E09CCAAF4367","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":"Q1744444$5054909A-0A01-4D1D-A8B2-0B8DA1D7FAB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"408232eaf3d280cb83ecd2c9cdb54e2e1b8f0237","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2017.04.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744444$1CA3C313-61CF-4E8F-B76C-8A6C4CE63A8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfda61867abcb0fc4f719d1654d89b04c4a6022d","datavalue":{"value":"W2627866801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744444$AD771B8E-FE9F-4DEA-B489-35D3E299E22C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"56787f180cc6af15bc28a1f4dee9efc02802b148","datavalue":{"value":"Q57850656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744444$1C15477E-3590-47E6-9195-24267835C7ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$8D7F527E-0BCE-4D45-A6D1-AE6B731E28CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850e6d661a6ce8bca3c194e5215ee87b6975e561","datavalue":{"value":{"entity-type":"item","numeric-id":1575929,"id":"Q1575929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$DE5F1083-D513-464E-B2EF-0C88A1A53AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c256830b4d47da8260c866dbd2bb7aa12c8ded4","datavalue":{"value":{"entity-type":"item","numeric-id":1744444,"id":"Q1744444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$C4A1F9DF-5B75-4B57-AABE-6213FC0704A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$CA8E39CF-1AD7-40EA-88CD-B4BCE3DD75C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$87B0B25C-009F-4CF3-8E08-BBAA90C58299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa8c8929c768f224e83dab433f989c2dc6bcac","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$584443C2-4E62-4905-99F8-865488BBED55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$F6980E13-4405-491F-9C97-88DC48535D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$DD167F76-C3E7-4D77-B0FA-84DF234735BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613196c1ebb5efd26c81cbdcd44f5b10522db4db","datavalue":{"value":{"entity-type":"item","numeric-id":1344438,"id":"Q1344438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$3A7C9E8B-49F6-40DB-A6EC-F433FEF3E8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1ccd3d769fdb42dba9811ce2da5b5721c1eda0","datavalue":{"value":{"entity-type":"item","numeric-id":549720,"id":"Q549720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$1D7A005D-291D-40AA-AC85-4DDC71451A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43879d35776caaa376a451572155c0288767a135","datavalue":{"value":{"entity-type":"item","numeric-id":4938433,"id":"Q4938433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$70F16E51-94DE-4A7E-B3F6-81B729D88881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640a1285c30f843eaafd6f39c5351d33d20f13d","datavalue":{"value":{"entity-type":"item","numeric-id":3608427,"id":"Q3608427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$60BF2A30-6D98-4231-A167-FAFAD9E0CCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e93ef4dc600baabf1caa2d6a4d97f42bc019d1","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$0DE502E7-2311-4EEC-A8B8-4663E6681F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1785c5247614edefd452dd242bbf025baf6dd7dd","datavalue":{"value":{"entity-type":"item","numeric-id":2563461,"id":"Q2563461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744444$C86BDDDE-FCA4-4CF3-9CE6-FF54673CF044","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"194429a5b62cb6ee010f1c5ae669f707447b052a","datavalue":{"value":"10.1016/J.ENTCS.2017.04.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744444$25977A79-EAE9-4AF1-A0C8-8B7956E80874","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050391e3f27b8bfab5af09f69bc4e968903fe067","datavalue":{"value":{"entity-type":"item","numeric-id":4871733,"id":"Q4871733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6728a66eba41b8420e80e8597c5fd3a5ac461c64","datavalue":{"value":{"amount":"+0.8844749","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":"Q1744444$E7C41EDA-C9CB-48BF-A446-132A1668A3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116c4306330c6241b9af38376bbcfc5a68634b08","datavalue":{"value":{"entity-type":"item","numeric-id":3086526,"id":"Q3086526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b230c8e37d2cfaadf1b699fe3aec4a8df5f370","datavalue":{"value":{"amount":"+0.8772299","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":"Q1744444$C4A8581A-23EB-43C2-A64A-54D2232A7B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc025492c3f688012f1576558ed7c64211309902","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b3ea61f3202aece2600006e64b95cf07cdfb32","datavalue":{"value":{"amount":"+0.8767643","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":"Q1744444$65D12761-2FC2-4F70-AF00-A1D4768A849D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cd1eaebabf377804e4b475cdec67d5b6dbac59","datavalue":{"value":{"entity-type":"item","numeric-id":2958392,"id":"Q2958392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"799770e261cd7bea682072513a651a2940ba299d","datavalue":{"value":{"amount":"+0.8749142","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":"Q1744444$7EC08AB4-41DD-4314-937C-335226A4A324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d9e026b6ee643cdea93c57f071c07dd3087f64","datavalue":{"value":{"entity-type":"item","numeric-id":3804237,"id":"Q3804237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1b6902904211e77b2bf223bd52a8f8ffc275d1","datavalue":{"value":{"amount":"+0.8727747","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":"Q1744444$8D522603-E574-44AA-9CFA-42D411E47A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb7e3496eaeebf49c85ec917e73c30283d0c57d","datavalue":{"value":{"entity-type":"item","numeric-id":2888635,"id":"Q2888635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1d460915a397fe19245c977f638ee31744de13","datavalue":{"value":{"amount":"+0.87231916","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":"Q1744444$603EF086-6EAC-4DAC-ABB0-C69FB65F763F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27b570b08caf64805665ad5d626e0965e16c643","datavalue":{"value":{"entity-type":"item","numeric-id":4649564,"id":"Q4649564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99b793560d625aaf6955832d8171b7033575b86","datavalue":{"value":{"amount":"+0.8708241","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":"Q1744444$A0F308BA-E40D-457A-8B89-9AD12BB4B0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a1363b9fb4769d2729b14d5535843556213fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5221860,"id":"Q5221860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61111bb466ce494a9ac70b6751fde0e7320e9d3d","datavalue":{"value":{"amount":"+0.8708132","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":"Q1744444$9D275663-D576-47CE-B21B-2A4B66150F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eacba26f64e9b0661a140d49fec758111680ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5425341,"id":"Q5425341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b03867eb7de07f0e84fdb8a51c1c3ca643d53dd","datavalue":{"value":{"amount":"+0.86746067","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":"Q1744444$9D26B54A-0359-4C08-B44B-43B16FF75EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c0d009c07d0cd15580458163aa2eb34621ec55","datavalue":{"value":{"entity-type":"item","numeric-id":4934883,"id":"Q4934883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb5086bdf1cac5b6193068b041021e8638fdc6d5","datavalue":{"value":{"amount":"+0.8665266","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":"Q1744444$0632927C-0CEF-421E-94F0-3BE0E7F3BEF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From cut-free calculi to automated deduction: the case of bounded contraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_cut-free_calculi_to_automated_deduction:_the_case_of_bounded_contraction"}}}}}