{"entities":{"Q3776602":{"pageid":5806508,"ns":120,"title":"Item:Q3776602","lastrevid":52237709,"modified":"2026-01-21T05:39:02Z","type":"item","id":"Q3776602","labels":{"en":{"language":"en","value":"An ideal model for recursive polymorphic types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037169"}},"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":"Q3776602$8980FA45-A6F5-4A12-8DE3-5D08C09B508F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25fa1deccb87940757df9a5c9ec92380eca21acd","datavalue":{"value":{"text":"An ideal model for recursive polymorphic types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3776602$8F1E12DB-7F16-42B0-BA70-719B0E031A26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3544b3b24d3f0ae294f41a6223b22342a2540c3","datavalue":{"value":"0636.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776602$103B9050-4D4B-4B2C-88C4-58ADD0AC2BA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a91a265535f7f296b4d90f86b406ef789c574724","datavalue":{"value":"10.1016/S0019-9958(86)80019-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776602$7DB4AB60-B797-47BF-9E0C-55893DD1FCED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bb9dcdaeb781d4881f605361aa1b5039bd39915","datavalue":{"value":{"entity-type":"item","numeric-id":580982,"id":"Q580982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3776602$DAEAB980-C754-40B7-981D-D70E8F4CDA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"563f3cd1012fd72fb53fa6f7bab39a527097e8fe","datavalue":{"value":{"entity-type":"item","numeric-id":1317429,"id":"Q1317429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3776602$7CB4E8A1-0673-4860-8384-EA0D2055C1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3776602$F4ED8CF8-235B-4764-A7DB-63288B80269B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3776602$6634417D-9DFC-469B-BD54-E6C899DCC542","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3776602$4DA057C0-242D-4FE0-90B0-D16B84E95918","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776602$61215182-F153-4438-AA58-8DAEECB675ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776602$A645F331-54B6-4C82-ADDD-21C237E8C9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776602$88DDC35D-740B-483B-B57A-8209A6F97015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776602$F613C183-CFE8-4B70-88EF-16FEBAF5DC20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fae05fe37d003bfe63f0e2b1b71f62fefbff35d7","datavalue":{"value":"4037169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776602$30F02209-AA5A-4BBC-BB1A-B756C026F439","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e652caddfdc35f3dc780a5cbc5e497f463a413","datavalue":{"value":"metric space of ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776602$F8A074F1-EB42-426B-8FB2-75371708BD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776602$14336113-8149-4C81-AA61-B16A087BAAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b718e48fe341633490fa2ced729b418e18c3ad8","datavalue":{"value":"polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776602$FD312033-6B28-40EF-AFA3-C8EA764CE010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea686fd75d01d0dfdf5c0e60a1bfc58d42aa067d","datavalue":{"value":"complete partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776602$669814A0-51DE-4F66-910C-F5735E3AB85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3624fdd80a27cc35fe110e55115b15be6080f2b7","datavalue":{"value":"domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776602$4232A2AE-C72E-49C7-A6F6-07F230CA7551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776602$7C663151-76B5-4B21-ABC1-16D27A568E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ca59ecb159dee07385e18cbfaf82c4391f67c3","datavalue":{"value":"semantics of type expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776602$BCC25AC5-B441-425B-BAE6-0A459246EF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d665d66b68a931fc8f03014d78792897a253c34","datavalue":{"value":"type-inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776602$C111175A-8163-48C7-886D-74D9958E56FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3776602$E03E6308-0DC1-4D9B-A514-9488CA0EA4C0","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":"Q3776602$99EFB2A5-DCBC-4824-BE20-BE17453BD950","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2006566062a2eed915d7f27b4c8525ff57f0232","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(86)80019-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3776602$8F9EBF07-38E7-4EA8-B9C1-B8C93F44E887","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19656cdcfc52c958dbea7f9e5c78aff4d7770965","datavalue":{"value":"W2090415524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776602$611DF753-64D1-4B15-B1BA-316800EEB774","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba16a1ef22cef48b38519b54aa1446f63908cc9f","datavalue":{"value":{"entity-type":"item","numeric-id":3452249,"id":"Q3452249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bc7940c839f5c92e3ca50720743c70278d3a983","datavalue":{"value":{"amount":"+0.8516379594802856","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":"Q3776602$F6F84704-F299-4EF9-B923-EBEF6E4D6F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e26ef7ac46ca6ffa9c0d2bd243609233520aacd","datavalue":{"value":{"entity-type":"item","numeric-id":3988831,"id":"Q3988831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886b88de7d5fad7a4eb4c20e2033f61d5d6b2150","datavalue":{"value":{"amount":"+0.8221465945243835","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":"Q3776602$6F80D486-5909-41AA-8D38-D3AB01D4EC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42b13582039748547bca4af585df6c52a734c41","datavalue":{"value":{"entity-type":"item","numeric-id":3204052,"id":"Q3204052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923a0db2e7b1f0888088a6c831648c41a65562b8","datavalue":{"value":{"amount":"+0.8192701935768127","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":"Q3776602$0A7AEE0C-1AC2-4097-A98A-318113EB58DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c12e038160c10bf82ab699ff0555168cca5eb9","datavalue":{"value":{"entity-type":"item","numeric-id":4206095,"id":"Q4206095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd99a44ffcafeb370b80cb349c9b91ba73d2c2b","datavalue":{"value":{"amount":"+0.8187223076820374","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":"Q3776602$51F223C0-67FA-4627-9D58-E37AC91ABA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b2e2b1cf655d4350a1dc386fa2ddf9033a3f70","datavalue":{"value":{"entity-type":"item","numeric-id":3835041,"id":"Q3835041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e086c61420d5fec3d694b49b03fcd985cdc330a","datavalue":{"value":{"amount":"+0.8107030391693115","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":"Q3776602$CDA863BD-808D-4F31-9993-902BB24FF2B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3776602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3776602"}}}}}