{"entities":{"Q3617747":{"pageid":5647653,"ns":120,"title":"Item:Q3617747","lastrevid":90387464,"modified":"2026-06-04T20:03:09Z","type":"item","id":"Q3617747","labels":{"en":{"language":"en","value":"Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535612"}},"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":"Q3617747$C60FA75A-24A6-44E3-9952-C176BC60A5AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf287f189be3b258536a2e5838c1edd85f8fd199","datavalue":{"value":{"text":"Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617747$AC400B8A-9EE2-41D9-BB9E-3F41E040FE34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eafbfa6fff1aad774fa2ac0e06c184c611716d66","datavalue":{"value":"1234.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617747$A1B74B1A-04F4-4A46-8E6B-914B1AB951BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adb2ba4d0a3585e0035246bb404d6ec08f705d6a","datavalue":{"value":"10.1007/978-3-642-00596-1_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617747$CC709893-2094-41F7-8588-3F73DFA424D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35399beeafcf6ceacecd20cc40f92da70c2d6eb6","datavalue":{"value":{"entity-type":"item","numeric-id":444498,"id":"Q444498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$A9404F9C-42CB-41A3-B8FD-172B30D5ACA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"762c14c2030dd3ad29959bb2de51a0d6a2d43cac","datavalue":{"value":{"entity-type":"item","numeric-id":444499,"id":"Q444499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$380D0A89-2247-4876-B0E8-375E654EAB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$584C7800-F0FB-4DE4-82FA-517728BBE8D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$3D39DC53-1940-4E2B-8C81-CA6461CD49BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617747$E36F86F2-A8C7-4540-93AB-DCB41B03B16C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617747$8876491B-00EA-49CB-8D1F-11ACD1FCA05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617747$FDCD2B6B-4311-4A3A-AF96-33BF219F3958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617747$36677CDD-AAED-49D0-A1CE-2974E45B11B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7241b4c113533cb66f801118a7938e6e4811f603","datavalue":{"value":"5535612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617747$3B9C23FA-6876-4127-A120-0D8742300734","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":"Q3617747$7F67A327-FECA-47FB-AF0D-BC8948805896","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08bdcc6193d90089e7e5679db64c8ade8c6d627e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00596-1_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617747$E154F2C0-7F3F-435A-B50C-0CF26DC27A29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edf086cf8ef5501cc38163d43b2960ee03dea15d","datavalue":{"value":"W203992540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617747$7E4C6F18-03D3-4350-9078-8DD751FE0D9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c1fa64958228ae7d285c0ee400a31f94f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5261531,"id":"Q5261531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$FD6BF7BD-425E-4DF6-B8E0-8CFA7947175D","rank":"normal"},{"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":"Q3617747$99519256-9B6B-4FDC-AA5A-BFFACDA65866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$AC9D1A0F-204E-4F70-A798-F4BB47ECCEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$E2D41751-AF91-4DAF-8421-80ECB7D70734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab9adda359a74593427d87a3469f37ca8f86229","datavalue":{"value":{"entity-type":"item","numeric-id":5704031,"id":"Q5704031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$0F61854B-F9F7-4B42-9851-FD13822197A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a17c4379c86a96dcc7980a8094e17013458d89a","datavalue":{"value":{"entity-type":"item","numeric-id":3583027,"id":"Q3583027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$41B9BC30-597F-4C38-8A8B-89EC13D0A7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be2b55c26066558b2b0eab18ba7aff923244432","datavalue":{"value":{"entity-type":"item","numeric-id":5385588,"id":"Q5385588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$32D809D7-E7DD-4649-81A0-FD35B11888BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3637f322544aae9daf432caf7314a879834a0e","datavalue":{"value":{"entity-type":"item","numeric-id":2864153,"id":"Q2864153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$1429CAE0-1BC1-4A5D-880E-691F7B7E3DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e61ef78a2ac35e332b4ecc523df23636244889f","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$1961DCCA-1146-4844-8717-0EE6362369B3","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":"Q3617747$025E94DB-BFF6-4CED-92F9-493FAB42CF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$15201E7B-53E7-43C8-9430-BBCD7A4411A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae00c8b64dee152c2a634a511b72a1ade6ad1221","datavalue":{"value":{"entity-type":"item","numeric-id":5458408,"id":"Q5458408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$3AF63521-E2C2-4777-8FFA-E0ACD8AF073B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$C2AD6A5A-C70F-492F-A94C-0B2047B818BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$F9F2BC6D-8916-4DF6-8DE5-CAFE949FA978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6adb107bdfe6d7d78cd50627b681655c7f3b8a5","datavalue":{"value":{"entity-type":"item","numeric-id":2851544,"id":"Q2851544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$27B80154-AB52-42CF-B86F-98D0B44EBF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0850109990f76806e2b81468aba1becd49b2bda","datavalue":{"value":{"entity-type":"item","numeric-id":672055,"id":"Q672055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617747$CE1AC0DC-F28F-44B8-A74C-EFB4E480473C","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":"Q3617747$6A529A6D-DF6B-4D77-AD78-B0DDBC7852EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc022c9d34a9abcde9904bbcb0f8e30f0d20bf4","datavalue":{"value":{"entity-type":"item","numeric-id":3583027,"id":"Q3583027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0bb4634bbbeb90b75225774fb6a1272712caae","datavalue":{"value":{"amount":"+0.9834100008010864","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":"Q3617747$62BA5156-AB4E-4CA8-8D12-E5B924696D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1dd2b965bdaddee4f4435e87e6b519211bcd08f","datavalue":{"value":{"entity-type":"item","numeric-id":4635919,"id":"Q4635919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a485c64d3a0cefd08a1b9332c9c3da8dad31200d","datavalue":{"value":{"amount":"+0.7626195549964905","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":"Q3617747$832996EF-D5E6-4AEC-AC2E-B555D6CB6760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85a91cc1d182e9944d5936b6a2e2755856fa52c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"557c05f10743a221f0844b5b04fde87236b2f5da","datavalue":{"value":{"amount":"+0.753092885017395","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":"Q3617747$C35970E0-7071-4008-AE49-BBE0C0D17AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b9e885617b0c6c9c9bae51ee1c39567edfdece","datavalue":{"value":{"entity-type":"item","numeric-id":444500,"id":"Q444500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f5149b85fc66f5f6464822f1c3d8523ec08f1b","datavalue":{"value":{"amount":"+0.7416024804115295","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":"Q3617747$E5FFD444-A504-4531-854A-9EC8295F0A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73340204202a1373f43362e0a19b7f8d3e8c37fa","datavalue":{"value":{"entity-type":"item","numeric-id":3587438,"id":"Q3587438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58f881a20196a79b57693b1abf1653cb6f3a72f","datavalue":{"value":{"amount":"+0.7372097969055176","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":"Q3617747$225CDC53-FF04-4074-9951-09B89F2781B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types","badges":[]}}}}}