{"entities":{"Q3322097":{"pageid":3332805,"ns":120,"title":"Item:Q3322097","lastrevid":48698122,"modified":"2026-01-05T15:50:52Z","type":"item","id":"Q3322097","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3853066"}},"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":"Q3322097$0268AEEE-3CA3-4E0A-A961-662CC62697BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1f5fc89a6dc1c2e2bb7f8f52189a1a354dc03fe","datavalue":{"value":"0537.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322097$4E9B97CE-DEF8-469A-9591-B8C9544EC50A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3322097$25ED4258-1EA3-4DF8-B95B-E09648DEA9D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3322097$FA0DA982-030F-4F3D-BF77-5EF674A1279D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322097$3F9C722E-4C04-4FFF-8993-7D6150CB27D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322097$53F737C5-9104-4D23-B45C-426A0755036F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322097$40D7B4BC-4347-4DA3-9958-D85EE4AF7382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322097$055371CB-C551-4D46-B7D9-1315FDD6AA9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9aaf8bf66ac4a9bd71d1218043c5cd26b097737","datavalue":{"value":"3853066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322097$9CD32AE4-0D32-42EF-A84E-F3179A08BA7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322097$E54F3FCB-2234-4399-A883-852AB8F127D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322097$AF92CACC-FBC2-4126-9BD4-BF5309C88A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322097$BD30CAC5-81A5-4568-AEDE-6715A89F97B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0362bd2f3b9393a7b482158f77da4053ef08159a","datavalue":{"value":"Martin-L\u00f6f's theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322097$EDF06F82-E540-4874-97F4-98C7A483FE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b71225e71f986d3a97175cbb307f83a71cdeaebe","datavalue":{"value":"Heyting's arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322097$C63BE16C-2F45-48BB-8B13-52EE7651F577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11e8d201eb977b7c44a6a155eae2a9037d74ce40","datavalue":{"value":"normalization theorem for derivations of finite rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322097$007B19EA-58CD-4AFA-8810-A5E97C80D579","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":"Q3322097$AFC4CEC5-CF34-453D-AB74-2FD503FA19EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c627492fd500f9c724d36db9e0f420687d667a","datavalue":{"value":{"entity-type":"item","numeric-id":4247302,"id":"Q4247302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a31ffe3478784215fee1a4c432879c933eee23d","datavalue":{"value":{"amount":"+0.818290114402771","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":"Q3322097$C1EF0864-3467-4CAB-BE07-311797FDBA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa2501c1573c6700d8d909a4d436e4b43980dda","datavalue":{"value":{"entity-type":"item","numeric-id":792319,"id":"Q792319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a31ffe3478784215fee1a4c432879c933eee23d","datavalue":{"value":{"amount":"+0.818290114402771","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":"Q3322097$48A40E31-BAC8-4B5A-A46F-C3B50321E6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39027ed63c2a2a68a2e6225028f9c1d4f4901f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef4867ffba80c520248f25ab5e2e2ec2616149f","datavalue":{"value":{"amount":"+0.8090963959693909","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":"Q3322097$9F27B9C0-C882-4D41-8328-FDFD0324DD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a1b71744fd00d5bbf8313571c248ee07708ffc","datavalue":{"value":{"amount":"+0.8030313849449158","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":"Q3322097$014C3C01-D1E2-4183-940E-AE2F4BC11DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0627095eea66db634fda4421e1e92d7c3f8e791c","datavalue":{"value":{"entity-type":"item","numeric-id":1192333,"id":"Q1192333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a1b71744fd00d5bbf8313571c248ee07708ffc","datavalue":{"value":{"amount":"+0.8030313849449158","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":"Q3322097$95791B4F-92D5-4A26-8823-DE6D93FBC4F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3322097","badges":[]}}}}}