{"entities":{"Q5089027":{"pageid":7118603,"ns":120,"title":"Item:Q5089027","lastrevid":91338764,"modified":"2026-06-04T22:55:07Z","type":"item","id":"Q5089027","labels":{"en":{"language":"en","value":"Pointers in Recursion: Exploring the Tropics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559291"}},"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":"Q5089027$BA4EB783-C398-4037-9C66-7153F318022F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7cbc48b481a6b830ab14eacad20738b43bab2e0","datavalue":{"value":{"entity-type":"item","numeric-id":2176676,"id":"Q2176676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$59F31956-9366-41D2-9F00-6A0AED994D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14376caa07db3f1fa1adc4be796c3dca3ec648ce","datavalue":{"value":{"entity-type":"item","numeric-id":2311882,"id":"Q2311882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$F8C8139F-4CED-49E8-B4AB-06A57ACA1C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc7fdb135258dcfe93ae25455681fbed1804f031","datavalue":{"value":{"entity-type":"item","numeric-id":2013547,"id":"Q2013547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$09861A99-5BA0-4DF4-83A7-D930982EE4EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089027$786C1109-4D11-4067-9135-0C4C973346C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089027$78B1D2C4-45A1-4E58-844B-40D1C5CA915D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089027$7D2BA97C-FA4C-4592-BEA7-01563403A22D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9301a516e56a452607843a3f2f17a4486a97ed5f","datavalue":{"value":"7559291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089027$25E54DAD-7AFF-45CC-A9E3-A437CB120651","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089027$352B3BFD-84FD-4DCF-9C3D-34754051BD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089027$7E1477AF-E8D1-4689-9F4C-0DFCDB7C85F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089027$1203E253-2F6C-4D2A-84EA-CEC5A92F5F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089027$324C02B7-7867-446C-A7B3-979344857CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"044652d5f26029074bb40747b62382dcce60f703","datavalue":{"value":"quotient inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089027$5B452121-D80E-4DCF-B023-D1004A5CB737","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":"Q5089027$B3E08C72-2619-4C43-A1E1-C54AF54A3A80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a544eff9bd65de4592fa7b247517554bcdddd5","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$9FCA6AA2-3307-4B83-9760-B3733E0B06D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227ed32b547e0189aa789e582cf93de4da5af35a","datavalue":{"value":{"entity-type":"item","numeric-id":5371043,"id":"Q5371043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$AD414CE4-49E4-4E1C-91D7-6FBC7CFC88B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e739d4e358cfe0bff089251671b51e298177305f","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$E649A211-F411-4323-88EA-11DCD53DCE42","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":"Q5089027$CE52AFBE-0EAD-4E0A-88A5-C8B75ED0EA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$5BA5D90D-AA65-48E4-9CF1-4206D42226B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a765e855228292779b4203bd15443a2ad99c5c33","datavalue":{"value":{"entity-type":"item","numeric-id":5740406,"id":"Q5740406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$209435E4-5D40-4AB0-B304-21588E21E9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636e6d370787b2be5b482356fd8848f9c09cf99f","datavalue":{"value":{"entity-type":"item","numeric-id":2422026,"id":"Q2422026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$D6AAD0F8-37F2-4100-9B86-556E51AFB963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$64791E24-EDEC-4CBE-AF20-D5F5B50A2EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$596FB362-56B2-466B-9CFD-7AC9E2C1AF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa599c9ffef40870c9e6ba774a39c215c885dc9","datavalue":{"value":{"entity-type":"item","numeric-id":4263868,"id":"Q4263868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$D7B98B59-26CB-4FCB-9E14-42E71DCEE6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0960af88a219be75a74665ab7538b65eed52d581","datavalue":{"value":{"entity-type":"item","numeric-id":280200,"id":"Q280200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$2825D1CB-5319-4142-9C51-8A356A9F91AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d846dce50adc7b6741cb464e66a4207934b87faa","datavalue":{"value":{"entity-type":"item","numeric-id":4647577,"id":"Q4647577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$8A639A21-D68C-447C-B0BD-BB9AAA5495A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$21DF2D99-CB3F-4785-A1F6-46586E0E4497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83074479990dad65c5e60818ba761a1f044aaadf","datavalue":{"value":{"entity-type":"item","numeric-id":5408538,"id":"Q5408538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$69345F17-E12A-4595-8AB9-A0D23AF44859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$A8F1112B-4955-424D-8B86-26014ADC3283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c7c2929e9715fc4b2f275523456488eeb1a6fe","datavalue":{"value":{"entity-type":"item","numeric-id":2946721,"id":"Q2946721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$8000F692-A4A3-4C1A-A392-EFE998106306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472fe6e79b503d14429d15ec73a6169d7420ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089027$490A92B0-2072-4448-9FF9-B8951A12B5F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d24e4e27f7d153217d099744304a9a8d337d1f2","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-01934791","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089027$E7D74B6D-EA68-4D88-BA4F-5BB26C8E1D55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bb6d329729f6d567fdcbf1558d96330f57d0edb","datavalue":{"value":"W2902687082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089027$22533A57-89A3-4D9D-9A6E-C9017322668F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a6a276df5de0ec4c463476c18ad1c5e685565ce","datavalue":{"value":{"text":"Pointers in Recursion: Exploring the Tropics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089027$2B28D7D3-7899-4EDD-8DED-385EEA7B23A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c945172be08b568edc9106c6add5482f2af90056","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089027$84243759-EA0F-423B-B973-DF1DD8E2C48B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7eb5647ec1313c1c3cee5a8c892d4de03af6ec3","datavalue":{"value":{"entity-type":"item","numeric-id":1398466,"id":"Q1398466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdbed09bd2a218c86f4fc73600db7726fc343967","datavalue":{"value":{"amount":"+0.7224758863449097","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":"Q5089027$2BC06913-7DFA-4799-8C6F-F3C7BA17700B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd599325f5a71199472ec813ade59ada70a51273","datavalue":{"value":{"entity-type":"item","numeric-id":1349670,"id":"Q1349670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdddf5e306b749ce18ffcc1a3c10d0ad85cbecb5","datavalue":{"value":{"amount":"+0.7090876698493958","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":"Q5089027$77669FDA-E177-4152-BA98-B78D97B9E672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0def169e864aa522a83e66cca1554b9e69b16568","datavalue":{"value":{"entity-type":"item","numeric-id":280200,"id":"Q280200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360ad55127884c321d72132222249824480e02dc","datavalue":{"value":{"amount":"+0.7042720913887024","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":"Q5089027$9E31597C-81A0-46E1-8135-D7E4EB806917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb8c9d29e705ede419a8583cb6fbf9e31b4179b","datavalue":{"value":{"entity-type":"item","numeric-id":2200828,"id":"Q2200828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01550825076bda9733de159f929b06775067b025","datavalue":{"value":{"amount":"+0.7040493488311768","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":"Q5089027$88FAABE9-3C57-4417-8C1D-C260366C1200","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pointers in Recursion: Exploring the Tropics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pointers_in_Recursion:_Exploring_the_Tropics"}}}}}