{"entities":{"Q3146246":{"pageid":3156962,"ns":120,"title":"Item:Q3146246","lastrevid":47983789,"modified":"2026-01-03T06:36:27Z","type":"item","id":"Q3146246","labels":{"en":{"language":"en","value":"Impredicativity entails untypedness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1799474"}},"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":"Q3146246$584E32FD-10D3-4719-AC45-95C2DD63BD9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99ee96c8eb17eb794c3667fb8843db0654ddbb47","datavalue":{"value":{"text":"Impredicativity entails untypedness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3146246$08DB923A-877B-4500-B65A-1EC15B306A59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55647c192ba8dabc8d98febd516d33ddab9daa52","datavalue":{"value":"1001.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146246$8499F882-3F23-4C7F-9808-B1FD17E5B0A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f6b4680ee9e9140e4216c1f87ef3f98ee1efe13","datavalue":{"value":"10.1017/S0960129502003663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146246$C3140309-CE20-4960-A410-AA7CE6D65185","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91ed42438ad55cf52af258d5cb58a4fd9ac2caee","datavalue":{"value":{"entity-type":"item","numeric-id":714713,"id":"Q714713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146246$F4F70AFF-96AF-400F-A7E4-479F8FD2A4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146246$C0831441-F5CB-458E-B561-9C58CA6C288A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146246$3334A7D3-9B0F-456C-815E-CFBF5B7ED142","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c46a1848186a989e845a7b08e6b4d15724d6aca","datavalue":{"value":{"time":"+2002-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3146246$0B82D6FF-DB0D-4028-B1BB-D985555E8099","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146246$763DF3EB-E283-4C58-8B9B-BA3CB4148159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146246$D9A6079F-DD12-412A-B179-7FED592BF721","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"878ccc25d45006d5721dcdb36f76b2a511d60851","datavalue":{"value":"1799474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146246$F110845C-D1AD-43F0-9A9E-70B994236078","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9da08db227520948f4cd2086e7fabda495e08e5","datavalue":{"value":"category of assemblies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146246$87F640E0-117D-482B-AF2B-36A5AAF5CABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c95942ab172c120cf5c0a061ffa7c68c666aad","datavalue":{"value":"partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146246$2BD208F7-78BB-4317-B0F8-14D76382F527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"576e2e1b92bed5f1e81c98c488976d6dd3fc0580","datavalue":{"value":"impredicative type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146246$FABACA82-6D7E-408C-AE2A-EA7049F17E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca2b5c737ee56fd946f97692aa845e7fcee555d","datavalue":{"value":"realizability models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146246$EBCED61E-A74D-4206-98C6-742E5CD2196D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"473bf46b90758e28ff7c8fc69f414be08e8f4a1a","datavalue":{"value":"universal type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146246$35FD25AA-E6CE-41FD-A148-80BC796F1150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65baa80c66ffd926eb7c090c0cc443ecc29865b","datavalue":{"value":"realizability topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146246$0AF1ACF3-B4D7-4D99-ADE3-3BE164F55DD1","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":"Q3146246$7DEE35AD-89D5-4E97-8EE9-2AC2F5606E91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd99ad1114a05c72e92b0c3b5133d62397fda83d","datavalue":{"value":{"entity-type":"item","numeric-id":4499146,"id":"Q4499146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caca7aa645e69082560f2062de0fb6e189619eff","datavalue":{"value":{"amount":"+0.7449253797531128","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":"Q3146246$AA0EE24A-BD6A-410A-BCEF-B2E251532D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ccd8d62bc07eeb7dc47fcb777194d3ff4f05e1","datavalue":{"value":{"entity-type":"item","numeric-id":4681810,"id":"Q4681810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caca7aa645e69082560f2062de0fb6e189619eff","datavalue":{"value":{"amount":"+0.7449253797531128","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":"Q3146246$2A093391-F9E0-4A6A-B412-0EE8E155044F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5548dd73af9efafe816790ea9afa7a3044aaa80c","datavalue":{"value":{"entity-type":"item","numeric-id":4513585,"id":"Q4513585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92aa12d36cd979791ec1e60976eeefdeb41f63e","datavalue":{"value":{"amount":"+0.7382851243019104","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":"Q3146246$EF39FD1E-D30F-4F59-80ED-5F97CCD7FB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b229fdf3be6e29888a59c1cd99bc0786aab224e","datavalue":{"value":{"entity-type":"item","numeric-id":556819,"id":"Q556819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61df566995c76185a887a4249f56c04fb5af4bb9","datavalue":{"value":{"amount":"+0.7382848858833313","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":"Q3146246$31A5CBF1-50DC-47C5-96B5-3054F4A799E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778c0a29ef9e6fe34e75f55c073358c64089e920","datavalue":{"value":{"entity-type":"item","numeric-id":3178273,"id":"Q3178273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562cf3159da60bb0371357f83429b29f8c3ee502","datavalue":{"value":{"amount":"+0.7322059869766235","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":"Q3146246$28A77FEF-F0C9-471A-B595-3578E761C750","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3146246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3146246"}}}}}