{"entities":{"Q3475264":{"pageid":5467811,"ns":120,"title":"Item:Q3475264","lastrevid":49371697,"modified":"2026-01-07T01:24:02Z","type":"item","id":"Q3475264","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143971"}},"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":"Q3475264$195E1BD9-F3BD-41EC-B2C1-F8C85F91052D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daeb2610893044f9445dc8d1d9302237cd6f7d39","datavalue":{"value":"0698.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3475264$4D4E5EB3-CD70-43B2-AD85-9576369FFD6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41f9d7f7d5de70cd5eeccd67a5d46d526eaff00","datavalue":{"value":{"entity-type":"item","numeric-id":1896753,"id":"Q1896753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3475264$76D394C6-09EB-4384-8AF4-E4D7E7A819B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3475264$E690EF1D-D3F7-4480-AD9E-21E913CFADD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3475264$1173971A-C0B4-4379-A7A2-23C46EAE5C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3475264$67A5AC3B-1923-4273-BB92-47EC4BC90DA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c25c824596f1f61ce019f788a7db9031cb5ce6c9","datavalue":{"value":"4143971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3475264$930AA221-486C-463C-A90A-2377F7C82638","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3475264$C51D170F-7C93-4D0B-9362-EDF77132A182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53b53fadad63b335e13331b69454543022e5687","datavalue":{"value":"classical higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3475264$F7459752-9B3C-4B19-95C4-2E8CE0FA8F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f3ab08c6a9f6fb1fee0976626544fcdd8d41520","datavalue":{"value":"intuitionistic metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3475264$4F58C035-CC55-4FE2-8E8D-375AE8A37780","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":"Q3475264$E513AE27-E31D-4EAE-BDA4-55EDA6C15469","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47adc29f5016c79fa420997aa20f4e099a89c304","datavalue":{"value":{"entity-type":"item","numeric-id":1901891,"id":"Q1901891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7785cfae7ddbc06a96b5ce2427cbfcfb7f42d5dd","datavalue":{"value":{"amount":"+0.8266646862030029","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":"Q3475264$FB5B5FFB-4764-47BE-A9ED-59A9E20E1D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df23d500e74dc945f6be08bcb0f92700a2ea5c8","datavalue":{"value":{"amount":"+0.8252317309379578","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":"Q3475264$06F5F51D-AEC2-48B5-B93E-486235F1D180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1e82d7c33a908c91ea9a97d1825da8daf0e9c2","datavalue":{"value":{"entity-type":"item","numeric-id":3481700,"id":"Q3481700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7093cee4fa05d9bc72c617e048c072b20b7f495a","datavalue":{"value":{"amount":"+0.7916831374168396","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":"Q3475264$A2B53E6F-F37A-42E3-8AE5-6C1B5433F41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"093dc2e6655d9dad58c1804e795e875aa09220d7","datavalue":{"value":{"entity-type":"item","numeric-id":1349247,"id":"Q1349247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88956b1008d0eb407036109fd9b4891cbd279994","datavalue":{"value":{"amount":"+0.7864882349967957","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":"Q3475264$5ECF1E30-0CAA-44B5-B34C-6254E1E85669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c76f77ea149ac341d5cf455fcbd6b85ee4566ec","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca98d74b6c58decb2185990540f3e651271c03c6","datavalue":{"value":{"amount":"+0.7818068861961365","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":"Q3475264$527647B1-6918-46CB-8CF9-F3C9DC7B98B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3475264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3475264"}}}}}