{"entities":{"Q3340848":{"pageid":3351556,"ns":120,"title":"Item:Q3340848","lastrevid":48744475,"modified":"2026-01-05T18:38:33Z","type":"item","id":"Q3340848","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3873314"}},"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":"Q3340848$C0FA3DD5-C922-4892-B3EA-3F4AC24E8016","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44ac12ec33a812f786f5fc589a096ec3fac10b04","datavalue":{"value":"0548.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340848$A32EB810-D336-40FA-BC22-3B2230E07BE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf0714ac4b21a4fec9f4c1ddda1a2652bf0653a1","datavalue":{"value":{"entity-type":"item","numeric-id":3333025,"id":"Q3333025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340848$3CD6390C-67CD-4F70-AAE4-9E119B344888","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3340848$AD06B9E3-606C-4E70-98FB-FD0FE8BCE636","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340848$8C2E7011-C767-4F1D-A8F7-EE99A168F251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340848$38CEB603-776F-4E1C-80DD-A200D7150C54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01c16b75bdb5be3b595bb682dea8afa2ea118547","datavalue":{"value":"3873314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340848$78937492-19C4-49A8-B183-5617F8FE2618","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10764f457816f234c77b18be941b1d7cceff2f34","datavalue":{"value":"extension of classical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340848$726667C0-1010-4705-8846-BEB718D2F416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d01f78cb33543a4f75a1cfe530d68a9f88c2da2","datavalue":{"value":"game quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340848$DD7446F7-DEB8-4542-8462-608D7398E9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1688addd85926691adfb026644c6cb257f34f23","datavalue":{"value":"extension of G\u00f6del's functional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340848$BDEAADD2-CB8F-45E6-85E7-580DA7A0C3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18640cbbd5d3560a26f28ef06653f7ccd3da783a","datavalue":{"value":"step projection functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340848$B089BA49-A401-476B-B867-467127E12E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62fbdee8b586e53a270a85a0bd5ea395ce86307d","datavalue":{"value":"generalized bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340848$8BF69A9F-38B0-4903-B07B-9D182AF7FC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1122fb48b6941548bf03545247f13657e65a4d39","datavalue":{"value":"term-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340848$746AF9F2-3817-4287-8763-BF5C5B3A7707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340848$0F630B68-C392-48D3-B1C5-A0B3AF802C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"650a19cbde44aa9db101051ec9f41c839438a67c","datavalue":{"value":"general continuity principle in finite types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340848$7330B4E0-6E63-421C-BD6E-6B7656880595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543aabeb2674d8d84aa3e19dc700b7ac199e59e8","datavalue":{"value":"functional extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340848$AB482E7C-6A2F-4B12-A1B2-E353E680BC4F","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":"Q3340848$527CDF83-407B-4EF7-AD59-E4A1C45C9699","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b936655913d3650eb3bd5d23da216835b195968a","datavalue":{"value":{"entity-type":"item","numeric-id":3333026,"id":"Q3333026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab767c192786b09639cb8cf75b208123e7edebc","datavalue":{"value":{"amount":"+0.8416965007781982","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":"Q3340848$8F751B8F-3240-4731-9783-EAC31F55B9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a8dd623b2765c91675fdfefd6fc0fcca8224f3b","datavalue":{"value":{"entity-type":"item","numeric-id":3655246,"id":"Q3655246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067436127d59d107c51314d97f1561b6404c5da6","datavalue":{"value":{"amount":"+0.7723709344863892","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":"Q3340848$F8A5EF1B-9ADF-4572-A918-338397E8BA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7ece1c04276edf21fa91a8377e563644ec3448","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcce691832776184fdf9c8b8be5fb7e816837da8","datavalue":{"value":{"amount":"+0.7617068290710449","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":"Q3340848$86EE5CC4-C024-470E-9F14-4915A5DBC9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7a9cee27635f48dbe32c2b39a0e90d50d8fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fe8a3d9877ef2b98bf3d0b6c8c922ca79aecdc","datavalue":{"value":{"amount":"+0.7601615190505981","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":"Q3340848$8AF5A2D2-DEB7-45C5-8ACD-E263292BCDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0c2655456339de4599b5367a3a8b9920d862a2","datavalue":{"value":{"entity-type":"item","numeric-id":3081643,"id":"Q3081643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11933544f53e94b7b433931dded989c94d407a2c","datavalue":{"value":{"amount":"+0.74643874168396","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":"Q3340848$B63E0D09-3507-4565-8A2F-E007116D7AB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3340848","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3340848"}}}}}