{"entities":{"Q1688710":{"pageid":1699451,"ns":120,"title":"Item:Q1688710","lastrevid":72517785,"modified":"2026-04-14T05:27:39Z","type":"item","id":"Q1688710","labels":{"en":{"language":"en","value":"A more general general proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6824747"}},"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":"Q1688710$91AC41EE-DFFB-41F3-A261-4FEEA67412AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4d3f2ca5226a633dc01f0480e63be7137e20475","datavalue":{"value":{"text":"A more general general proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1688710$A7205FC3-7A1E-422A-89F1-C07A4B71812F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82de02eabb46987902b55779b25542da06848f96","datavalue":{"value":"1436.03294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688710$3C2417CB-4502-484D-91BB-CA81B3DA9A6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$4B5DFD07-A7DA-4A19-A264-F289C509034A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$A4C6731D-02D4-4B32-9D11-8D0BC89CA62B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"256848ce0dfd32b0c1f66d8f44fb1041feec461a","datavalue":{"value":{"time":"+2018-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1688710$AF0E2061-000A-4DD2-98A1-AE9D30DA8B58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688710$27B5814C-DBE8-4E43-9543-C977DE970772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688710$6EA24B3F-78EA-40DA-95ED-23B1DF3CFAF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fec134dbe6541cfc332736d9b0e96833c4fc13ae","datavalue":{"value":"6824747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688710$E012ACDB-BE8A-4EB7-BE90-D04946ADF549","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56e2bb29096bece740dc8e645256701aee83d754","datavalue":{"value":"proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688710$9AECFCC4-A186-4629-8B24-AD7D05131707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ea984cf4540c7d6fa09cd287e064920a173a66d","datavalue":{"value":"dual proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688710$3F0083F8-BA6A-40FF-8BEB-5167B6FF2E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688710$4F895622-270F-4EFA-81F2-1B5D7940F2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16366dd97fac686a51355ed7b55a557b65623c4c","datavalue":{"value":"co-implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688710$B82ABE07-E123-49DB-90D9-D7C5DB02D9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"575f784083a651d2e54c4fc363212848e9f2b7b3","datavalue":{"value":"2Int","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688710$4F1F060E-7169-48FE-8A84-8D61867B146A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ccf93cb9c2e611933cd444e5046de4e6d00d478","datavalue":{"value":"bi-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688710$99104226-DF5B-485C-9B34-8960147811F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27bb350f2862fe21410d80e308e5dd36c3f219e4","datavalue":{"value":"dual intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688710$AD730574-551F-4F3C-B4C2-3B913178B5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688710$00A12757-B9E4-4470-A222-CDBE1E7916C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211c0a282ed1c362ea9e705108f2140d599deb1b","datavalue":{"value":"assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688710$A9F08FB1-EA9B-4C2A-859F-BA69456AC98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c985bb8bb937ebd25cae70c171f70fa9fea9d86","datavalue":{"value":"denial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688710$8CF23122-8B81-4132-9A3B-DAC7EE10436D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688710$BE8266BE-0560-4B5B-950D-83CFEACDDECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351fefe46fc8e1de8e2d73f29074039dfa23818f","datavalue":{"value":"bilateralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688710$4F96DF86-8867-4D67-9159-B3695299BCD6","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":"Q1688710$8BC1BB81-8C2C-4291-8243-BE553171555F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d39a7293038d41a7c7f4b0beb749efc80c7f001d","datavalue":{"value":"https://doi.org/10.1016/j.jal.2017.01.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1688710$C238401A-E036-4360-91EC-B286ACA5EB29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5695385b79d7ad7e8fa5c122a6b0dd3120dc8b31","datavalue":{"value":"W2770391921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688710$A3E58DCB-A6AE-45E8-9E06-45F43A950E57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$20804049-B839-478E-80F5-2D8CF5C5EF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10eebb04f85e1318ef5d4acb0ecd0f1813598793","datavalue":{"value":{"entity-type":"item","numeric-id":4817205,"id":"Q4817205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$73A1D0A5-BD48-4EFE-89A1-3B727E7D0F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7c82b93dcbfa49beab905d212878d012544775","datavalue":{"value":{"entity-type":"item","numeric-id":4856189,"id":"Q4856189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$917A56E3-5403-41E0-8EA1-FE0975CCE862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd60aaa63a98a8f6b81f2f7609e56934d72e1ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3096823,"id":"Q3096823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$81112D08-7FBC-4024-9025-8BC63A0D35BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f0a2cf77b174e42853c03d75a923ff685e9de7","datavalue":{"value":{"entity-type":"item","numeric-id":2721200,"id":"Q2721200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$57F90960-E0BD-4EDE-A19F-E5D71CEDFC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$A3DE1B40-D6C4-4707-914E-11CA464EFCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd40713ac929df22dc670083e2a4362a4a6c67fc","datavalue":{"value":{"entity-type":"item","numeric-id":5274878,"id":"Q5274878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$8C320535-69A1-4680-A415-10D57DEC5F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de056e08e6e6fcfcc24a02883a59d592fdd4c979","datavalue":{"value":{"entity-type":"item","numeric-id":2410887,"id":"Q2410887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$79C37A24-6AC0-4872-A6C5-FA57C599CC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$D1F6A53E-C5C9-47CA-8FC7-1FC90DCA79F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36c5b54f92874d9afc5a5317193d2545b6af04c","datavalue":{"value":{"entity-type":"item","numeric-id":487555,"id":"Q487555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$C64F5A45-47E1-45B2-A8B7-8A35570FA625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36acd4a682e32105b6e11f8920d0722699021b33","datavalue":{"value":{"entity-type":"item","numeric-id":2904053,"id":"Q2904053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$911AECBF-350D-4FA1-BC10-883B45C51C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$8B003893-DC41-41A1-B411-84C2158BCB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$31852AA6-42DB-4BD0-8067-0C0CC06DD914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86573b15240d5803ac646abc1b4964ec65f2787e","datavalue":{"value":{"entity-type":"item","numeric-id":1222646,"id":"Q1222646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$AFAB6211-C21B-441C-953F-2E028B79D4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2671f822e3eeebd78d802daa72e812c4aaec7ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5213606,"id":"Q5213606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$C6E9A67F-8555-492F-9F09-53E340FAF53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dff60391c96483608c5f67c369e50646c57cab5","datavalue":{"value":{"entity-type":"item","numeric-id":2854363,"id":"Q2854363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$35D768D6-EB9A-4B4E-B729-A773C8D29AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$399FBBF6-E2A5-4ADB-BFE5-796518C44D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37959abe365ef80037a753de9cc6df3d3f8fa2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3884093,"id":"Q3884093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$418E41F3-4316-43DE-8EB2-B322A5A1F453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd4fe078402ae4d23269474c9171faf3a7ed586","datavalue":{"value":{"entity-type":"item","numeric-id":5483305,"id":"Q5483305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$2D399844-55A3-4916-A83F-AA7458D95590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef99ce0422f6ffe01f7826651bb5796d62b92de","datavalue":{"value":{"entity-type":"item","numeric-id":4903811,"id":"Q4903811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$820201B4-B3A7-47CD-B1A5-B93BAA9002A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058c2d698b304297790a0f2fa2c5c4812ff56ec2","datavalue":{"value":{"entity-type":"item","numeric-id":656420,"id":"Q656420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$89E69F90-098D-4B15-A1CA-F35125E9A5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb35ce6cfbf41d9dbba2e75ee878ba62ed90031b","datavalue":{"value":{"entity-type":"item","numeric-id":383072,"id":"Q383072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$CE29765A-1FC3-4F22-AB81-C9062A431573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b837d80f785356c5cdc5211c3b9fa55515950df","datavalue":{"value":{"entity-type":"item","numeric-id":694491,"id":"Q694491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$0E7146A8-607E-4062-A81F-F2754FCF42D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90b14006522509129d31f0cd522d98218fa2222","datavalue":{"value":{"entity-type":"item","numeric-id":3643320,"id":"Q3643320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$196D34CF-C8A0-42F6-9369-06D031570744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5825148a961f228afc865f1cecca329397f40a5","datavalue":{"value":{"entity-type":"item","numeric-id":2904071,"id":"Q2904071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$1FEC6B18-CB88-4C22-AD45-85547D429091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426768d3d5594345361285607e01ab3b49279bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2804337,"id":"Q2804337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$C715DF6B-4CA7-4B62-B69B-BE6E150E9933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26e19404c892aaf59161898ae0ab99a365fdb8c","datavalue":{"value":{"entity-type":"item","numeric-id":3305426,"id":"Q3305426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688710$DD13F0F7-49B2-4C6D-AE43-8A0F48B3882C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35bb4c524ff2ad08d1e24b53c9a513b158050e92","datavalue":{"value":"10.1016/J.JAL.2017.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688710$EC200CE0-AB4B-49FA-A050-EE0B8F9CC5F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffdb33832fc6670c0bd45715744daf4a48a794b9","datavalue":{"value":{"entity-type":"item","numeric-id":1693594,"id":"Q1693594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4902c14b9eb8a9ce7ef93b8671b91e3f043cae","datavalue":{"value":{"amount":"+0.9748544692993164","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":"Q1688710$11C56624-C68D-49BF-88AE-A0E24C7C6515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf1751c23be45486b0b1cec1596b176c67b96af","datavalue":{"value":{"entity-type":"item","numeric-id":2804337,"id":"Q2804337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368a50a55df2488a135e4a59b3e7413fd48646f3","datavalue":{"value":{"amount":"+0.760198175907135","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":"Q1688710$FF77EA94-34BA-40A9-8120-C0843C543276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e978bb9f5abdbe98aa13af5dde6b9088161a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1693596,"id":"Q1693596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9658074d2aab5800b6ca165f1e7d7d116045ebe6","datavalue":{"value":{"amount":"+0.7451668381690979","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":"Q1688710$4151374D-73A3-4FF3-9828-637DBD43B813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62d0950f3b1226e6997e75c70690bc4d4b1bcced","datavalue":{"value":{"entity-type":"item","numeric-id":4650310,"id":"Q4650310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413d53dd9a9d8c560fffc37d887cbb24ab7f964b","datavalue":{"value":{"amount":"+0.7327460050582886","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":"Q1688710$980D92A3-1F1C-4199-97E7-7988CB015587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c93873d0ced2daf3b52bcb0b27792709f218adb","datavalue":{"value":{"entity-type":"item","numeric-id":4939407,"id":"Q4939407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591182da6948741a0055cd01021003d6596d1470","datavalue":{"value":{"amount":"+0.7195318341255188","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":"Q1688710$DEE04A2F-D8A3-4A9B-B4DA-63F87B129B45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A more general general proof theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_more_general_general_proof_theory"}}}}}