{"entities":{"Q5950500":{"pageid":8127302,"ns":120,"title":"Item:Q5950500","lastrevid":93518774,"modified":"2026-06-05T04:32:17Z","type":"item","id":"Q5950500","labels":{"en":{"language":"en","value":"Foundations of mathematics in polymorphic type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1683791"}},"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":"Q5950500$42D1FA51-1298-45B8-B4BD-049D46151914","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9ba3fcc6542fb2dc341c42381db289f908a4ee2","datavalue":{"value":{"text":"Foundations of mathematics in polymorphic type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950500$D0FCD481-B670-49A3-95D2-3DB8F4379579","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a900c0c1464b884414e5731e39223bc0f7d69e7c","datavalue":{"value":"0992.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950500$16A37F5B-D985-4536-B8BF-E7EA0E31A602","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa4e4f152730cf3b939c7f43b2e7c96bad8d35e9","datavalue":{"value":"10.1023/A:1010652812660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950500$824A8050-A342-4FAE-AE06-22E6A3BBB180","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a400620885450b6d61e4734ea975ed48418e403a","datavalue":{"value":{"entity-type":"item","numeric-id":190346,"id":"Q190346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950500$51E185FA-B6AF-4297-A219-ED3D5B201FAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd05317874c93cb20da293114ffa998a3e7b1b1d","datavalue":{"value":{"entity-type":"item","numeric-id":218483,"id":"Q218483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950500$01FA4BE7-1E4E-4659-A5DE-6681E9A5A0D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f8c686acf111f5870bb8b8a79eaa7f4f60ee12e","datavalue":{"value":{"time":"+2002-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5950500$27126A7D-8E1A-444B-9E45-E779CC7F4F07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950500$CD084FC4-95B1-483C-9A73-165CBE956651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950500$E8A46547-1150-4AD8-AD51-13C1F469D7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950500$83879543-06AC-4B9B-B9F9-F2D52745DEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950500$B11C8D8F-8DE2-4A6B-A4EE-D9CA0F7BBA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950500$2A21B822-4695-44AC-93A7-9E4C6FBD2969","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c704d5891de56a6978f905924cbd94e01e71ef0","datavalue":{"value":"1683791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950500$7C5CE2D4-9A2F-4B7E-9876-7D1D2ABAEBF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951efe4cdbbac9e8ecf007ff8be01df53f81b535","datavalue":{"value":"New Foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950500$14BC8351-A092-4484-8C12-453807924A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c7f75ee04958e1ad12a8457962f176f5603153","datavalue":{"value":"NFU","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950500$1C8C0DBB-5F5E-4ECD-B6A0-0499AE5111E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294ce292240a6f433049300002b95cd141bb363b","datavalue":{"value":"foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950500$72B1F078-D540-446E-9327-0F7A46E35579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a639b5e2146899c9511786e8495b567baeddfe","datavalue":{"value":"Theory of Types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950500$D7253CA6-B9FD-4AD4-83FD-93FE654401B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f48f96289cc93497e566c3dd05980bd91acfc65","datavalue":{"value":"urelements","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950500$41CC7184-A33D-4BA9-84D0-29305C42F9B6","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":"Q5950500$A7DDDDBD-CC22-4030-A33F-A9C0AC62863D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b4cfdf60bc832356fbbfc537c6215c3a5dabbc5","datavalue":{"value":"https://doi.org/10.1023/a:1010652812660","type":"string"},"datatype":"url"},"type":"statement","id":"Q5950500$E0E41BD2-9386-4608-950C-AD89F3749285","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"957d4a8ebe2516922bae792801360e5810902330","datavalue":{"value":"W2162583822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950500$FE4B2923-8F24-4479-891B-E4C7B3FE9C29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ee6f886ef0705827062d0a4c87d655476ba33e","datavalue":{"value":{"entity-type":"item","numeric-id":4204148,"id":"Q4204148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074a6bb66838a0563e304bd92f9c046b2d44cec5","datavalue":{"value":{"amount":"+0.9218081","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950500$8D39833A-D656-4D25-8A9B-E33A836CD2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b91750fdfefe485a95ba9cf3541d5b694251b9","datavalue":{"value":{"entity-type":"item","numeric-id":2399357,"id":"Q2399357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e520978cdd32a1b415e80abbd9195ae363b147","datavalue":{"value":{"amount":"+0.92078334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950500$13367934-C4A0-4905-9C4D-22035C7FDC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad20f16206e4d01638c4bc1a493882c0177221dc","datavalue":{"value":{"entity-type":"item","numeric-id":4793025,"id":"Q4793025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86d92beac67bfe6e98a8aba5b61a2aea5fdcdf9","datavalue":{"value":{"amount":"+0.91256696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950500$A37F4D3A-01CA-47DD-929B-1BEE47F98B73","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":"099a909e5231dae8e96c6cd26297a0702c0076ea","datavalue":{"value":{"amount":"+0.9021368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950500$60D789FE-81F6-4F6A-9CC2-187FEA3E57AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b42dcb24ab2a07d91d02ef91aaa1dfcd2863bb9e","datavalue":{"value":{"entity-type":"item","numeric-id":5501458,"id":"Q5501458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aae79eedfc02d25d4382ad5b0e84194467bf600","datavalue":{"value":{"amount":"+0.90089387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950500$24A20520-C787-4F20-8F99-B7ECA0332253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5531ee82428d164e989bcf3a0461f04bdc72c74","datavalue":{"value":{"entity-type":"item","numeric-id":4252873,"id":"Q4252873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22bbe584e2d99ba5ec9f4700765fb01f483c4eda","datavalue":{"value":{"amount":"+0.8980228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950500$7685D1C0-A32E-4F39-A07E-4CB7F886B4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1023319a3c923778a20db752caf09082c25636df","datavalue":{"value":{"entity-type":"item","numeric-id":688850,"id":"Q688850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d275ec377aa8a57bf1c944a1ad675e7b7eafe3","datavalue":{"value":{"amount":"+0.8957199","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950500$8CBA8B83-D019-4175-8DB3-7AD52440626C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ee28c935680583520f591a20d7c0f057ae42e5","datavalue":{"value":{"entity-type":"item","numeric-id":5370902,"id":"Q5370902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f06c2ce15b98a5133a9daf27d28e0ec83678f134","datavalue":{"value":{"amount":"+0.89546394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950500$F2D09226-CFF9-4678-8165-81EAAEF22B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd55ab847dbe5dfeed8053cbf4423da1ed7d6da","datavalue":{"value":{"entity-type":"item","numeric-id":2985787,"id":"Q2985787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16449f83d6395d52981d747c582d5186cd2d2a79","datavalue":{"value":{"amount":"+0.8942491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950500$CB1B1350-2EEE-410B-888B-0B1AB090F16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c47880516f707ba6410e1a576d8d82dd772390e","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5eadd6fe0e537a5cff16a11acc3e969bdb70564","datavalue":{"value":{"amount":"+0.89285505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5950500$86F1FDA0-4A79-451F-9BDB-16FD730EBE83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Foundations of mathematics in polymorphic type theory","badges":[]}}}}}