{"entities":{"Q6079240":{"pageid":13213547,"ns":120,"title":"Item:Q6079240","lastrevid":55502443,"modified":"2026-02-17T17:49:59Z","type":"item","id":"Q6079240","labels":{"en":{"language":"en","value":"Is Impredicativity Implicitly Implicit"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7756114"}},"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":"Q6079240$DEB1DE23-09D7-449E-ADD7-F8ECC7E0410C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa5bdc8a2141af5d730d4053f7a88e47b1b74a08","datavalue":{"value":{"entity-type":"item","numeric-id":1826463,"id":"Q1826463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$D3F074CA-5B56-47D9-9642-99BFFB197DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e5ebd1a43194256bfcc9eebea05ebfab06903f5","datavalue":{"value":{"entity-type":"item","numeric-id":6079239,"id":"Q6079239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$C8AA819F-5813-4D02-9854-BCD641C5FD4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85e9fa56e4bc3415a8bc443701bc1ff7ec8b61a3","datavalue":{"value":{"time":"+2023-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6079240$F9648E80-3D53-4236-980F-3252F542DC6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079240$FB4002C0-E956-41DF-B3E3-6C188B0E921F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079240$72761347-8D94-4D57-9008-C2B9F5CAD2C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea0ec03773014e6bb04a93ed60256db5c25b0471","datavalue":{"value":"7756114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079240$BB2B0B17-20C4-4B91-B523-20532468E283","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5795787683dc16a0e892761f65c085daecc3346","datavalue":{"value":"impredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079240$11345910-B473-44B5-85F0-AD1AC6A175D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079240$02017DA5-32A8-419C-B97E-19AEC00E8E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079240$6C0810BF-DB47-400E-8D76-6F03360B2F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aabb598aad0368d650a026f64b9976531d792b5f","datavalue":{"value":"erasable arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079240$127B0565-32F9-44FE-8F02-BABAF6B1173A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fda5d8057392e50193b0eca80d9562ae727873ec","datavalue":{"value":"proof irrelevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079240$4CBA452B-B0AB-4054-AC66-2164FA5857EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"753e8bd21ec0ca258d12a5f723876451b5a31680","datavalue":{"value":"implicit arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079240$786F118D-D7B0-4529-8AF7-20212FE72A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1159aa73cd8daf4c43043be733617a1e49169dd","datavalue":{"value":"universe polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079240$EEBE1E75-A9E7-4DC8-A02D-A6408D4CD45A","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":"Q6079240$A4F2F58E-78AE-464C-B83C-A9B83A3E34F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87259379e0cfd8b5c3e284ec4abd4b80a2672c15","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2020/13073/pdf/LIPIcs-TYPES-2019-9.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q6079240$B960CFDE-3BF0-464F-964D-438E21EA785B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f953c9b920bb769c9dad95b425dea9e69ede27ed","datavalue":{"value":"W3169999972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079240$60056E99-97A6-4F55-892B-81A03F816B4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc42791d6d66f0f17bcc2fd6247dcf7bfbf27442","datavalue":{"value":{"text":"Is Impredicativity Implicitly Implicit","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6079240$EB5A8C63-A43A-4B62-8C0B-7D9C27572F1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"833079337a3c2f303ddbc3fe894c26799c99160e","datavalue":{"value":{"entity-type":"item","numeric-id":2881097,"id":"Q2881097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$9FE7E62E-F8D0-496F-A073-CD6A1B5B49A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc19f055d55f9abb4a7f436135735a8657522ac2","datavalue":{"value":{"entity-type":"item","numeric-id":5234272,"id":"Q5234272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$CE8F76FF-D927-4AD9-9C8B-04F8DA4A6A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2b382496704c69d4ddd122d1fda39bebf3ce71","datavalue":{"value":{"entity-type":"item","numeric-id":4939699,"id":"Q4939699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$C1569424-18F0-48E2-8D62-CE6BBCC9ADF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f804ba9bd933e99538ba26edc67730d9ee308ef","datavalue":{"value":{"entity-type":"item","numeric-id":5458373,"id":"Q5458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$08D397CD-C044-475E-8E6B-E34DBE46BCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fab8824d82d4ca6fefb7d000ea15dc3e260bd1","datavalue":{"value":{"entity-type":"item","numeric-id":2844694,"id":"Q2844694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$B35539E3-6CE3-4B1A-88EC-380F9F159548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1903be4a36187a0a0e197e708bc72f62f93b28bd","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$E1E8D870-44BF-4116-8139-C0D098CE45B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367ef177c9ab91da57ee385240218ffe15eeadc2","datavalue":{"value":{"entity-type":"item","numeric-id":5178760,"id":"Q5178760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$BFB5BD1B-8169-4FBC-AA52-82CE6FC219CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff58268d0c43ac1a7d8c98b208d3b98cc4f79452","datavalue":{"value":{"entity-type":"item","numeric-id":4325789,"id":"Q4325789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$0F9203B8-502C-438D-924C-24C88AAC1E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97c57dd2cf4ac35f89f7aacb8876d085e3aa1d85","datavalue":{"value":{"entity-type":"item","numeric-id":4941988,"id":"Q4941988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$687A145F-0BA3-4FD5-8CDE-02127C0DBA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7ab0bef98f3dafd356831c56f39b6e31577416","datavalue":{"value":{"entity-type":"item","numeric-id":3612441,"id":"Q3612441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$13E31F3D-8D2E-4F5B-8257-AD321887E186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d623a8e65d7930da0f4edbbd56cfd23f3252fedf","datavalue":{"value":{"entity-type":"item","numeric-id":3024841,"id":"Q3024841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$1A9F2E5E-6C2B-44AB-9203-F10CBDC0B4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7259d016ca92453c50c1ff693c3d07830155a5","datavalue":{"value":{"entity-type":"item","numeric-id":2757819,"id":"Q2757819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$5BD8AEE5-61A7-444A-A9EE-6AABC771F7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28d48517ea43dcf1dc2bbbada71a7d7b49291bd","datavalue":{"value":{"entity-type":"item","numeric-id":2778831,"id":"Q2778831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$BC8AA6B3-87A7-4BF0-95F3-433CEC5DD2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5e06440707ca6152cde9cf3ed60059f573beac","datavalue":{"value":{"entity-type":"item","numeric-id":5458371,"id":"Q5458371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$4B1056B7-4494-48B8-8FBD-23FDA68E9BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d568636dc034cf5bea0b01c0319383e3edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5410698,"id":"Q5410698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$259ED92B-7150-4437-9F46-FDD514F8CF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$4404EF38-801C-483E-82DC-EDF4F7BFC2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a9f0f8ce3b35cc0b444d4b1990fb14ecebca32","datavalue":{"value":{"entity-type":"item","numeric-id":5091148,"id":"Q5091148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$D3F665E7-584D-4F5E-B31C-653E25A4BB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6697396baac487786d81d5cd06b90fdf18fe687e","datavalue":{"value":{"entity-type":"item","numeric-id":3613437,"id":"Q3613437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079240$B6813586-0886-441B-BB28-C023ECD8E9F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d28092cfa9883b5b6c86e64587be79c61617741","datavalue":{"value":"10.4230/LIPICS.TYPES.2019.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079240$42624419-5A4F-4FEF-94DE-A7314354A248","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b81882067cce034c320bb6995fe83cc924aaf83","datavalue":{"value":{"entity-type":"item","numeric-id":2778831,"id":"Q2778831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5068d8358307c459fcbb0526709df262f409672f","datavalue":{"value":{"amount":"+0.6859680414199829","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":"Q6079240$4ACCA105-B560-4E02-AC71-8C25F6D26398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6172530086cbdfd801de3c54c600547ff67b95f6","datavalue":{"value":{"entity-type":"item","numeric-id":5934287,"id":"Q5934287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa2fc5ee66d45a5dd308713c2e1ff74a557eb13","datavalue":{"value":{"amount":"+0.6848067045211792","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":"Q6079240$2C4C651A-9549-4040-B18F-F302325ABF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245dbece8e6fedbffc260e11245b3b084c03b6e5","datavalue":{"value":{"entity-type":"item","numeric-id":4647565,"id":"Q4647565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5edb3b4d0e45f0b3d5e2d51097b60d7b91a1e54a","datavalue":{"value":{"amount":"+0.6814208626747131","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":"Q6079240$D9CD67A8-EED9-4793-80C2-9F72AD65A16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47bef344b9c790ef06cb3a4312f5fd036c402f8","datavalue":{"value":{"entity-type":"item","numeric-id":4731167,"id":"Q4731167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196962e5f2fa616a0f9eb72576c80ff08d991424","datavalue":{"value":{"amount":"+0.6707397103309631","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":"Q6079240$F111DA47-444B-41EA-B9B1-19CBD149CA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"239e0ba13fb7a5c8241b9150312ee6f49cfbb32d","datavalue":{"value":{"entity-type":"item","numeric-id":4649560,"id":"Q4649560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98b56e6b381464f16f687817312c1c86763057f","datavalue":{"value":{"amount":"+0.662989616394043","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":"Q6079240$230205B0-018C-4242-8C4F-2A18645CC961","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6079240","badges":[]}}}}}