{"entities":{"Q1176245":{"pageid":1186994,"ns":120,"title":"Item:Q1176245","lastrevid":66435978,"modified":"2026-04-12T10:03:43Z","type":"item","id":"Q1176245","labels":{"en":{"language":"en","value":"Recursive types for Fun"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13894"}},"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":"Q1176245$20090081-8C73-433F-BB31-925AB7D65823","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9da31e551ed3e2627fee3ae5e10a5e3325dc1359","datavalue":{"value":{"text":"Recursive types for Fun","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176245$E5DFB294-2E98-4EE8-AA04-DDF87A92001D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"743df528f4ce1c6ff6149b118aae055f9ea7e8bf","datavalue":{"value":"0746.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176245$1B9B9775-579D-48C2-BAF2-1208D0884E33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1c2403a587346b7aa69361d090dd8a9ef0a719a","datavalue":{"value":"10.1016/0304-3975(91)90038-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176245$A3A252B6-6778-47CA-960D-9D1DD39EADFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5c21980e0dc5f1ec323feae4d70ec206146ed62","datavalue":{"value":{"entity-type":"item","numeric-id":756434,"id":"Q756434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$03B93EAE-745B-4641-BF39-BEA378D69FAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$3AADB8E5-00AB-44D0-A315-1DC4B56FE852","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176245$EBFA1AAB-E2D9-47AE-9713-CE13236AC399","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176245$5979C47E-4640-4256-88B9-DB2FB32E7327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176245$70B4179E-305F-498C-A9C4-5624B567C34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176245$4165B579-3C90-46F0-A748-2935839FEC41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a946557c2d450bd4acaffe40168a906d5911bce","datavalue":{"value":"13894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176245$7F39AF78-7D50-4195-AB5D-D2FA6150C0E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5815dd704dcec6abe953bdd2e2ba408c4fa2c7cf","datavalue":{"value":"Fun","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176245$2D686BD5-D833-4CE8-BEE8-12A08AD25635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e48a5e79cdd5fcd5e74f0a11ac7537b2228ddecf","datavalue":{"value":"typed polymorphic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176245$B03E2675-7937-410D-B3F9-D5490B57B399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548557e70b7d99136a277de9cf7d49017ebdbcfc","datavalue":{"value":"interpretation of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176245$2003B315-149B-469E-A5D7-B5E6EE6A5284","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5de41cb066f6315975ff165b5ea0132d3a43d75","datavalue":{"value":{"entity-type":"item","numeric-id":33141,"id":"Q33141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$F35BDF56-BEFB-4C89-A044-C5896242E24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322a7fd2a2215f887a0cc889fa3e27a0703da0bb","datavalue":{"value":{"entity-type":"item","numeric-id":14267,"id":"Q14267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$B4ED4C93-7E4E-45D5-91B2-CEF4C946BE55","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":"Q1176245$3E8B48D9-20A5-4A94-BFD5-887CB38E1295","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"198575403ed06727db21f1914dc0fc2e7d77954f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90038-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1176245$263E983D-7FD2-44ED-98D6-D8AF73BE17FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31309279788a63ed29e850f40291755be14c4b4e","datavalue":{"value":"W2001517412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176245$E6A095F6-652C-4E7D-8A73-74257185A17D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986bdf2688f9a4f038ee0a9de427fe936094398","datavalue":{"value":{"entity-type":"item","numeric-id":1173956,"id":"Q1173956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$0D49C7AB-5D56-4E52-BA77-EAB968F98B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0550b530044499c9f631ac5917a28b2702c1ee71","datavalue":{"value":{"entity-type":"item","numeric-id":749518,"id":"Q749518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$78490725-C0AD-4443-A1C8-887FBB69EC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d3128c33a17fc4f3e7b89ceb3e22b9648f4405","datavalue":{"value":{"entity-type":"item","numeric-id":3204024,"id":"Q3204024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$EEFA6B5E-6B1B-4ECB-B59C-0F5402485423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3375fe95d64eb1965b010106ac93d2982d639c","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$3BC97228-82E1-4978-A132-4ABF44A4B819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7f876fb42c53e997157b1419d079fb01f54d06","datavalue":{"value":{"entity-type":"item","numeric-id":1106652,"id":"Q1106652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$86AC7815-ECCA-4CC4-9CD8-1E8E57A15939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45cd0b2e5e9a19ed05d74879b189bba280f95de8","datavalue":{"value":{"entity-type":"item","numeric-id":5096252,"id":"Q5096252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$E3BD06F4-DAFE-4EDD-B064-0DE22C097EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1ac07dd7e3937aa3ea6a06de1f75cfafba7b45","datavalue":{"value":{"entity-type":"item","numeric-id":3709890,"id":"Q3709890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$636268AF-1F7A-4E9A-8E3C-FE9FAADD2E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc936a1eb10b087e9844c9c3b2beea4fe5b96c33","datavalue":{"value":{"entity-type":"item","numeric-id":5514831,"id":"Q5514831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$419F56F4-E2CB-4F5A-9D38-06602B3AC8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"148a24ed77c369badb6d0956617c4690b3c26f79","datavalue":{"value":{"entity-type":"item","numeric-id":3795187,"id":"Q3795187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$BC2A5AA9-826C-42D6-8F81-7EED936D3BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a502a770025bb9705f462b1132920965df52f670","datavalue":{"value":{"entity-type":"item","numeric-id":3667910,"id":"Q3667910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$0EACF1AA-4BC9-403E-AE94-7BC9DA58019C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d41321dcd06c500928d412495d504ca366f01cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1093371,"id":"Q1093371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$93822475-ED17-4C31-BE77-9FF5AC6C3987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a61b7701da971a87c154b5ba63697136c95a92","datavalue":{"value":{"entity-type":"item","numeric-id":4385538,"id":"Q4385538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$7948870C-DAF7-4044-B69A-55DB41D26066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$7FC0B5AA-E4F2-4710-987E-DEEAFE101ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$427AAAEF-2D47-47E7-846A-E5B90A69A934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$480D247B-E510-492B-9CB1-66454DA6F46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573bf50881a638b8d1bc1330f0a3383e6e028b45","datavalue":{"value":{"entity-type":"item","numeric-id":4072829,"id":"Q4072829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$80814110-2F23-405D-84EB-045E5E5B2CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$1020E411-5747-4173-AC6A-68DE5197E386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$585667B3-1E18-4D16-8C8B-D9D58B884F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$0368A100-9D5D-46DC-875D-9962EF92E086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176245$BF473729-8BF2-44A2-9A04-8AE62D90ED78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb809402d697e2121d3f8072f5a8d478fae64b0","datavalue":{"value":{"entity-type":"item","numeric-id":1780453,"id":"Q1780453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b26f576c8e645724267fa8d84e5adacc8e5dc10","datavalue":{"value":{"amount":"+0.804679274559021","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":"Q1176245$561E4B02-F670-4D5C-B9FB-752CCCD97647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89755fe0749d629d3053e796f71b6f9a3079bdf2","datavalue":{"value":{"entity-type":"item","numeric-id":3340118,"id":"Q3340118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e88980f8bd51b1cbc2e98e7693300de4ac4d08","datavalue":{"value":{"amount":"+0.7879268527030945","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":"Q1176245$568EDEB8-DF10-4181-A25E-E1D3528C8C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f379da2a66f51fb79c607951bff40a686e057a18","datavalue":{"value":{"entity-type":"item","numeric-id":3702502,"id":"Q3702502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdef3faddeb42b4494ca7581ba6cf80beb13a9a5","datavalue":{"value":{"amount":"+0.7812232971191406","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":"Q1176245$DA69A9D1-6E62-431F-805D-071B63054C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d16cb9f0af4d15cf3bb572b022fc0d467b7e3e0","datavalue":{"value":{"entity-type":"item","numeric-id":4281478,"id":"Q4281478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98fa0954020da1566ad6a315eba2b06361eaf486","datavalue":{"value":{"amount":"+0.780982255935669","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":"Q1176245$E6B724EA-4943-40DB-9A77-D46E98B32872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11dba2f0aefd8e21577fab8944d1f95576fc2227","datavalue":{"value":{"entity-type":"item","numeric-id":685350,"id":"Q685350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146fd205af7fd476aecbf4f38ff39f756b5b4ede","datavalue":{"value":{"amount":"+0.7774359583854675","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":"Q1176245$D57FBA2D-6441-49DB-BC2C-E26B3342F776","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursive types for Fun","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursive_types_for_Fun"}}}}}