{"entities":{"Q1677040":{"pageid":1687781,"ns":120,"title":"Item:Q1677040","lastrevid":72491829,"modified":"2026-04-14T05:17:13Z","type":"item","id":"Q1677040","labels":{"en":{"language":"en","value":"A cut-free calculus for second-order G\u00f6del logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6805413"}},"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":"Q1677040$543E3FAC-56F6-4DFB-AAD7-A8637F9C8A8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"194fd2444891f61fa218e3b426c4cba245aba4e5","datavalue":{"value":{"text":"A cut-free calculus for second-order G\u00f6del logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1677040$D2FEEACF-A060-4940-96EA-9F7CC8870E08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d553c51be0742f7201f8b5ae6f6e27b5b088d91c","datavalue":{"value":"1388.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677040$8C4FFA14-5172-4AD1-8734-DFF480230B93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$74944CE7-4699-4728-AD4B-3E924B65BFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$665DF5BA-6160-42A1-8F83-CBAD886DE241","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$9A17AAA3-64B7-4D4B-95B0-24AA8AD0666A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c851dddc18687fa1af98fb94fafafdff8d946b43","datavalue":{"value":{"time":"+2017-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1677040$78AA7BDB-3A35-44B3-91B8-C87FFFE76F12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677040$F3CC08D9-4D99-4ED5-9975-A168C6B257C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677040$03619C2B-7D09-4999-9791-126DFDC48F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677040$295D43D4-4FA9-4E07-9F19-D62CAFBE0C0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d617b0bad4a3737d2fe6fe8c9740bc5865bdc77","datavalue":{"value":"6805413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677040$BF00A979-856F-4316-9182-1C6E80A41B53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1677040$548B91C0-4165-486C-9E67-B7C022434ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b01143ed29785f07f8b15716fa83fdff452868e3","datavalue":{"value":"cut-admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1677040$36A90929-60A3-4AB7-BFD3-D1E6DC5136E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1677040$F050F297-00C9-4375-B069-9BD0B155C8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c92926836d113aee1a308ad83e72230bf6a493","datavalue":{"value":"non-classical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1677040$6D9318F8-4C4F-42A2-BBB4-0776F3E92C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2c79c8682fbe274fc16872eded01e22ad6da24","datavalue":{"value":"fuzzy logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1677040$501DFD0D-7D72-4F0F-BE3C-1750659B41E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1677040$28985C7F-6F43-483A-9D0C-6C2717F45E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b9973e3b06473381d8df2748e6ea2128b03fb","datavalue":{"value":"non-deterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1677040$7C4B87E1-2D7C-4A11-8AAE-E56223060E4A","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":"Q1677040$F69BAD1C-4313-438D-8025-8AB7FCE5EE0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"709922fdfc4a1d877effbfefc16f979e71970fec","datavalue":{"value":"https://doi.org/10.1016/j.fss.2015.01.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q1677040$CCE0F9F7-17FA-4A55-90E1-6ECC01ADB664","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7d6e56ae58dde96770c00e745ff59b674bf2fce","datavalue":{"value":"W2023659949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677040$80E625A8-92FC-458E-9806-65AA54D9A348","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$873E93BF-473A-4938-B3A1-2EFD97322480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0c9c54f14f787f70785a2d58375ca21d25ce68","datavalue":{"value":{"entity-type":"item","numeric-id":2871197,"id":"Q2871197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$EBBE33D9-E810-42F4-9CB3-8FBB5EE4B2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ace31db1f296da1ce366e00315b63f7c024ee5","datavalue":{"value":{"entity-type":"item","numeric-id":703370,"id":"Q703370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$67F3B835-9562-40D5-BCF3-F7887FBAF135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$A5218795-81BD-488D-8CD0-B671B7398F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$27597786-380D-44FF-A5F5-A9B9535B4D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$67BBBEB9-409D-4799-BA8A-6B743DF78FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564367dda2d50860bb7dff01a2d84ec437758ded","datavalue":{"value":{"entity-type":"item","numeric-id":2753673,"id":"Q2753673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$A8BFDB36-2AEF-48D9-B472-E5A9728C46E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efb96bfde8b762e137f880295bd8eb971905b16","datavalue":{"value":{"entity-type":"item","numeric-id":2870155,"id":"Q2870155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$F46F0FA1-75C5-4B71-A1BF-40FFDB1CD953","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":"Q1677040$8E950DA1-60DA-4F4A-955F-1751CC2E28F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$CB097831-625A-4FF0-A223-1F9A6FC8971D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"429694951286d3f4eec2de0635f807b257d3320e","datavalue":{"value":{"entity-type":"item","numeric-id":2386239,"id":"Q2386239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$26895764-A6C4-4094-952A-8F3C91BC6346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce875bf4c23c130ee5eb898d3934ba95b90224","datavalue":{"value":{"entity-type":"item","numeric-id":5822068,"id":"Q5822068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$998DD663-F523-452C-8B2F-69E38C8F5DE0","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":"Q1677040$B8154C85-A770-4EA8-970A-233CAE4AE3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6424e891ec3320cd9100f08f39833a24c09ba9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596744,"id":"Q5596744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$0252C6F2-B606-4BD1-95E7-69DCD9EEBD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd2a049d33f04ab34711f81d44e0ee1c673a454","datavalue":{"value":{"entity-type":"item","numeric-id":4914412,"id":"Q4914412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$30EB9078-D379-4DA2-93E5-9B35B656C19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a607d73d0bf40776cd344c489e7b2ce5be0680d","datavalue":{"value":{"entity-type":"item","numeric-id":2804332,"id":"Q2804332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$7D165346-F9F1-4EFB-AAC8-553C938EA044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a12822542f74d596df040f611f0d0398d31d50","datavalue":{"value":{"entity-type":"item","numeric-id":3535607,"id":"Q3535607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$C1A11B84-B36A-42F3-B4BA-F3C8F15CE033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c01d73898bf38981e692fd47db002c079f10b2","datavalue":{"value":{"entity-type":"item","numeric-id":4812316,"id":"Q4812316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$BCF3175C-5012-411D-8F22-D86A6958EEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e9a7126fd3647b4929f8ad5e5b5d84f4d827a2","datavalue":{"value":{"entity-type":"item","numeric-id":2542723,"id":"Q2542723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$ADA0872F-2021-41AD-ABFC-6FC4C31ED9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341cf25e1331e9c3d9b625066b41f81f88fc1449","datavalue":{"value":{"entity-type":"item","numeric-id":5549033,"id":"Q5549033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1677040$A2A35306-AC49-4057-81B4-5FE0757E9447","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3f1d4da8e97e51848241063b93e9cdf814a802a","datavalue":{"value":"10.1016/J.FSS.2015.01.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1677040$ACB72F2B-62CD-4149-AB32-28566FEDB74D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2660d0fa2e5a3c9181d19758450070c5f4bf5b3a","datavalue":{"value":{"entity-type":"item","numeric-id":4412849,"id":"Q4412849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e396ed9369400fbf00bbfcb85b10b31b9d72ed","datavalue":{"value":{"amount":"+0.89734745","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":"Q1677040$AE1AB235-A663-4072-8334-E8D853EF3BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d28c86a920167957a04c40173fd3d56eea7a49","datavalue":{"value":{"entity-type":"item","numeric-id":1982008,"id":"Q1982008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4a2b8980960fe44b6ef4f36b472d92e926f95a","datavalue":{"value":{"amount":"+0.8969277","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":"Q1677040$F4BBD725-6EAC-41B3-BCF8-F9AC27C75DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a195dc3816293cc96c1c7077a8bebc888efe75","datavalue":{"value":{"entity-type":"item","numeric-id":2721191,"id":"Q2721191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a4f0383a203fae7bbed178e1af37389e030c67","datavalue":{"value":{"amount":"+0.8954231","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":"Q1677040$72E6ABE0-471F-4233-9512-B236DFA8A516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736cff3ce74ebe8e4e7be4b9344f691ed0650afa","datavalue":{"value":{"entity-type":"item","numeric-id":4914412,"id":"Q4914412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6cbbacf0362749ac390bb5742908d5265e7029","datavalue":{"value":{"amount":"+0.8951125","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":"Q1677040$8445E336-3952-49CA-B5DF-6DD2B1CA63F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6bad4292e19ffd364fb1bbb2afe4aa06bbf2cd","datavalue":{"value":{"entity-type":"item","numeric-id":4812316,"id":"Q4812316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20f2ef5a63299e6c00bf6c2b494dfa5e4437a16","datavalue":{"value":{"amount":"+0.89169633","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":"Q1677040$1DF0812B-4DD3-4F32-B533-D8EBAC3CBE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2de34afdb9b082773bacb814a8bd7b9258df53ec","datavalue":{"value":{"entity-type":"item","numeric-id":5505574,"id":"Q5505574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b818055df581debb832de042a60e2e85b53971","datavalue":{"value":{"amount":"+0.8875836","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":"Q1677040$11281A83-8CB0-4D7A-8ADD-2D13FEA65972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32172d5b0fd562ee6c87aba9e59cf108f60e47f1","datavalue":{"value":{"entity-type":"item","numeric-id":4255973,"id":"Q4255973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ac1ba104ef5243fab0a47f053611a55338d289","datavalue":{"value":{"amount":"+0.8861121","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":"Q1677040$BB7FD63B-278D-418A-B094-44E4E329F52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e57d5451a04a9b0d54ced53f9985b8973935e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d4fde788631e20dbd063f9a70d96271c9568079","datavalue":{"value":{"amount":"+0.8825562","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":"Q1677040$4BE47689-470A-449D-9DED-2F8F1725A714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f4aa76627d2b340c34ba7babf330caabd1b5bc8","datavalue":{"value":{"entity-type":"item","numeric-id":5872863,"id":"Q5872863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5b773ea8a99c05d290c41f8ba062cfe1137fc9","datavalue":{"value":{"amount":"+0.87869066","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":"Q1677040$3EF79F14-DEF1-463D-AA05-224D10566751","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A cut-free calculus for second-order G\u00f6del logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_cut-free_calculus_for_second-order_G%C3%B6del_logic"}}}}}