{"entities":{"Q1685571":{"pageid":1696312,"ns":120,"title":"Item:Q1685571","lastrevid":70791660,"modified":"2026-04-13T17:08:48Z","type":"item","id":"Q1685571","labels":{"en":{"language":"en","value":"Cut elimination, identity elimination, and interpolation in super-Belnap logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6818677"}},"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":"Q1685571$F52224E5-1BFD-4162-BAA5-009CE7D15819","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08f36325aa385da30cafb8680e764d2d1ef81ca1","datavalue":{"value":{"text":"Cut elimination, identity elimination, and interpolation in super-Belnap logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1685571$6EB9A268-4AFD-4097-B99D-99BB5433E75C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6846fabca49f1a25ba21830133bf753d129fdd70","datavalue":{"value":"1417.03287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685571$92CD0001-DC4F-4B4E-8A63-142E8B1DF694","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0579531bdb02a66b041694d6de10dba6a4f9707","datavalue":{"value":{"entity-type":"item","numeric-id":295912,"id":"Q295912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$B231C2D3-E339-43B8-964F-12733BD78237","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$A0D8A729-AAF8-45A3-AB59-82147502C325","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15a701ba4909851bd5f18ca1e277008b920dd0ba","datavalue":{"value":{"time":"+2017-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1685571$7F0F9203-18DA-4483-BCF0-F3A487C8F7D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d784477fcd2cd46da43be327225a28e2c35da1ff","datavalue":{"value":"https://arxiv.org/abs/1803.03822","type":"string"},"datatype":"url"},"type":"statement","id":"Q1685571$8DFF46E5-BCCE-42F5-B63D-9798843AAE34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685571$3F7CE7AB-29BC-4E10-A33C-164818A27E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685571$A573CD33-A1A1-4820-A14C-94DCA8479C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685571$0E11C33A-81D8-420A-B1EA-D82A48ADCAB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1899bdd0293acdd42a933d8eaf2c24491952c93","datavalue":{"value":"6818677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685571$B0D1459C-949B-4417-93C3-89D00FFD1676","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a839aea0516f497259e9d2e98e40e765ee00f78","datavalue":{"value":"super-Belnap logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685571$3C88E2B4-6E62-4A3F-AF55-467A9C2CBA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aa59695424083d5279f1baa6a0f5965f685d9ab","datavalue":{"value":"Dunn-Belnap logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685571$5B3AFE8A-EDAE-49B1-9BC9-608996AD914C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd2bbae042bf7bb24a34d5d3c3311f6cb0cfe348","datavalue":{"value":"logic of paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685571$5B0EFF5D-4339-46F5-A30E-808A5AE6A570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5ece53a59b89e60fe3094b19150e11c7099e910","datavalue":{"value":"strong Kleene logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685571$76B40A9B-AD4B-4038-ADFC-C0521B878514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ffc607239d00f1f45125a1e5ce018fafe26f1b1","datavalue":{"value":"exactly true logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685571$279F4C0D-458C-4540-9F03-7160BF05F0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fa4521f7ec6ed8084356633aae3e2434bffba9","datavalue":{"value":"Gentzen calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685571$A131D1D1-C9DC-4C5D-B09F-02BE45949BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685571$E1340FEC-EC4E-4AD3-B39E-48BADDFA06D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2661656047585392ebe8416995d34018df4b7d","datavalue":{"value":"identity elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685571$2F3FB45F-BA29-4E3F-8703-A35FE9E484A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685571$5D6941A3-D246-4264-9753-8F3FE1D54588","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":"Q1685571$BD8CBFB4-4A1A-4AC1-A1E2-C6E1089B19E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01c5130153aff4fee6141d53e4b34bde69cc2313","datavalue":{"value":"W2962686728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685571$BA1BBEED-ACEA-4E6B-9798-FBE0986AA8FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c10e76e8884382d7f9bd46bd2f9cab1ff9c9c2","datavalue":{"value":{"entity-type":"item","numeric-id":1685564,"id":"Q1685564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$5A55906A-EC37-4725-80A8-5172DDE5A0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$973AFF6A-128B-48C8-9F40-6803531330B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd01652400172f5345dd94db4ae614d6548d670f","datavalue":{"value":{"entity-type":"item","numeric-id":3392939,"id":"Q3392939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$D2304377-61D8-4ECA-A0FE-C1F84546F564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6415481719fb829e4fdb1a0fc45c0b74c74c88f","datavalue":{"value":{"entity-type":"item","numeric-id":3305607,"id":"Q3305607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$3C38062F-E2E8-4EF7-858E-433585524D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$72E86731-9EA9-43BA-86EF-B9002461E02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd12c8a018279c2c942fab01645e9f8997cdcba","datavalue":{"value":{"entity-type":"item","numeric-id":5488263,"id":"Q5488263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$BACA3139-3A60-460D-A51A-D8E623B61932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$BB20FCB5-0D06-4BC0-B8B1-D3D4A42300B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$3F48D30D-CCAE-4138-921C-D93077F49B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd620d0008ba1f194a2223cc251ad2d22349c39","datavalue":{"value":{"entity-type":"item","numeric-id":4340541,"id":"Q4340541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$F733A92D-E74D-4495-9839-060D35FECE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231c35167d2d6cb2de7e405681f0a9426aed9453","datavalue":{"value":{"entity-type":"item","numeric-id":3185647,"id":"Q3185647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$170AF489-4A81-4714-B9AB-119346818447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$69DB16DA-50E4-476E-BBEA-DAB60B739FA1","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":"Q1685571$554AE3BD-09A0-4065-9F95-560DD9206E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea2b734ad4a385574e3e00b27c1f36b71e7307c","datavalue":{"value":{"entity-type":"item","numeric-id":4302346,"id":"Q4302346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$D832B33F-159A-4776-B2C3-2CB978671B14","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":"Q1685571$CEB839BC-3074-4076-99A5-10E2F464957C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf5efaf63f9c462dcdd45d8bf21b25538f54951","datavalue":{"value":{"entity-type":"item","numeric-id":2946716,"id":"Q2946716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$8D05CBE0-1F14-44F1-863F-BE1E0568B6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e82d6d21a7b67f35aa4413780a740c7a99164e","datavalue":{"value":{"entity-type":"item","numeric-id":5283779,"id":"Q5283779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$BDC4470E-698B-4A39-A4A7-A38EECB00B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9c55587ddd5699a7963c16efecf058fd56ea87","datavalue":{"value":{"entity-type":"item","numeric-id":1947033,"id":"Q1947033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$16EB7038-D3DB-44F8-9283-F3D829259D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad7aa957620029efee9ebf83aba028e03749e52","datavalue":{"value":{"entity-type":"item","numeric-id":5880424,"id":"Q5880424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$0FA6FA5F-91B0-4154-9EC9-A453D41A8998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658fbffaf2ae85f06a398287b1897cc70567d3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4857857,"id":"Q4857857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$9607F003-9076-4FAD-8698-655954A70702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37e0fdd9422284bb8dcd4ef45ab276ea0e3ec04","datavalue":{"value":{"entity-type":"item","numeric-id":4508259,"id":"Q4508259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$87A0DDFB-D814-4D6C-A96E-DA33CA2A81C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228a229c4d9476b06bf8ed364f34b066467bb2ab","datavalue":{"value":{"entity-type":"item","numeric-id":5411466,"id":"Q5411466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$AC943443-095E-4171-8DB4-096E16C787B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1a1edb5d0f41a1e3c3a2fac7424dcfc28af114","datavalue":{"value":{"entity-type":"item","numeric-id":3410681,"id":"Q3410681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$690E9225-5C29-4EB5-9EFF-16A3D4401D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a13c58e9e35bcb75dfb07119a12edc3115f4e784","datavalue":{"value":{"entity-type":"item","numeric-id":1935866,"id":"Q1935866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$F1DFDFFB-CC8A-4DFB-873C-CE95A3C07971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7adaed06255ddfc406449206fd4877f29aaa1e","datavalue":{"value":{"entity-type":"item","numeric-id":4583174,"id":"Q4583174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$E4471D28-454B-4416-B9E7-9013129FF804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3dbb8e924086eb69a5a6a156183accae6efe07","datavalue":{"value":{"entity-type":"item","numeric-id":3845367,"id":"Q3845367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$57890BC0-4F26-4D6E-80B1-831D697BB1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556023de527f0a47926ace58f6081826c5c14adb","datavalue":{"value":{"entity-type":"item","numeric-id":5422301,"id":"Q5422301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$E7CE7B46-FD05-416D-A1EC-21C3DA078C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685571$75F2B35C-CFF1-47CD-9C4D-6C4DE315766C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfa3eb4707a70186d20fda6799218cb762c6e670","datavalue":{"value":"10.1007/S11225-017-9746-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685571$BA458B8A-2B9C-4CE7-A545-52246AC6430C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1089063f50edb205b25d124a3e5286b696d758fa","datavalue":{"value":{"entity-type":"item","numeric-id":1685564,"id":"Q1685564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26f66d22789ef8a6a2cbba70e82e2c16f08a3158","datavalue":{"value":{"amount":"+0.7598756551742554","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":"Q1685571$C70EA7E6-4838-492E-AC7B-5E063CF53547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3816da7661d1c3a31019f72c61f8f08e94122d","datavalue":{"value":{"entity-type":"item","numeric-id":4583174,"id":"Q4583174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0307dc3301ad52cbbfbfa717e0be8702d988804d","datavalue":{"value":{"amount":"+0.7567744851112366","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":"Q1685571$7A56DFBB-A1C5-4B7D-AEB9-3A29F88CDF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67232ceff77abb9cd80825d5cae020f93df0effd","datavalue":{"value":{"entity-type":"item","numeric-id":4700536,"id":"Q4700536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3aebc0a6b7112c7a45a5f0483068d2cac2b5d5","datavalue":{"value":{"amount":"+0.7513994574546814","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":"Q1685571$A475C839-7DC5-4FEA-8F94-B24D1E344811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02143ec1e8a84ac534419747fa9b81d46555c3a9","datavalue":{"value":{"entity-type":"item","numeric-id":3435246,"id":"Q3435246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3aebc0a6b7112c7a45a5f0483068d2cac2b5d5","datavalue":{"value":{"amount":"+0.7513994574546814","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":"Q1685571$88E9DB69-C6A8-46C7-A0E2-25ACE105EB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6306f0e0e82f3db9e3d8b660ff2108d7b68b70f3","datavalue":{"value":{"entity-type":"item","numeric-id":5224582,"id":"Q5224582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b36d561720065e4cf54333ce39c521989bf0cc0","datavalue":{"value":{"amount":"+0.7274828553199768","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":"Q1685571$6F24C2C6-EAA9-463E-B54F-E8827602C2D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut elimination, identity elimination, and interpolation in super-Belnap logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut_elimination,_identity_elimination,_and_interpolation_in_super-Belnap_logics"}}}}}