{"entities":{"Q853737":{"pageid":855585,"ns":120,"title":"Item:Q853737","lastrevid":64842558,"modified":"2026-04-11T22:36:14Z","type":"item","id":"Q853737","labels":{"en":{"language":"en","value":"Polymorphic typed defunctionalization and concretization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073692"}},"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":"Q853737$81DF8363-BC1A-4EFB-A597-06707E8B4DC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f66a44863934d63aae3ea249a740d2931804ec3","datavalue":{"value":{"text":"Polymorphic typed defunctionalization and concretization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q853737$76E8F7FE-3E4D-4D73-BD72-E21DC4BFDE9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cd062b2712cb934c3e666ef5bc84ff9290feab8","datavalue":{"value":"1105.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853737$FFC96B13-80AE-42D0-83A9-97C674681B09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e100a9ec349c9a09af054c90a9680f202a82f59","datavalue":{"value":{"entity-type":"item","numeric-id":670698,"id":"Q670698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$6B7271FC-2CA7-47D8-8520-1E9205CF8E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44b23577aa534920eb637b507b3a7adbe1d9bc2f","datavalue":{"value":{"entity-type":"item","numeric-id":853736,"id":"Q853736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$20A8CC0A-6C8A-4763-A66D-E4075DA5DE39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$B8701432-D1FD-4159-8E20-1191F4E0D77F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q853737$8B2E27FE-EE1D-4641-8D66-0C00B4D80140","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853737$004C7420-277B-438F-816D-F65FA35CE64B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1085953f3916f75935f27d0f9a9a4b29e283fed","datavalue":{"value":"5073692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853737$5736FA6A-30CC-40BD-82B3-43984D783130","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"617bee2c1741ee1511630abf174816da3471ad98","datavalue":{"value":"Defunctionalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q853737$41BF0283-50F3-409C-933A-23556A39F3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af557b236ac16264f1f46a4894c61a5fa550c43f","datavalue":{"value":"Closure conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q853737$6BE4A9B7-1398-4BCF-8DFF-F8CCD1EB0E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1d6cd4615e6bea489131db0aa9f78b92cd53588","datavalue":{"value":"Polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q853737$E2F12C9F-DD68-48BC-BCA5-12E6927A71E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00173cbaf9ca3a514986a4c62bb485ba21dc3b90","datavalue":{"value":"Type-preserving compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q853737$85F0792D-6FC8-430B-9AF8-481C24240A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"facdc10df086f8f2b7ca55ac3a12d858f6391fa8","datavalue":{"value":"Concretization","type":"string"},"datatype":"string"},"type":"statement","id":"Q853737$FC4E473B-BBBE-4E80-9BD4-D4D698F3D813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3820b74fb0d92e3698f29003fa838e031a5c208a","datavalue":{"value":"Polymorphic records","type":"string"},"datatype":"string"},"type":"statement","id":"Q853737$4D5A1A1E-25FA-4E0D-A3A5-6CDCDDDB804F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a2f8494dc3d02c04891e014c32060988f57f7e6","datavalue":{"value":"Dictionary records","type":"string"},"datatype":"string"},"type":"statement","id":"Q853737$637AF857-929C-4959-8560-4E2EA4054CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9da31b456e04b9bc5c3bfdc551a53bd63845629e","datavalue":{"value":"Type classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q853737$4957F870-2702-4DFA-A86A-0B9EC6369A9D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8400ab86b306a4378eebf43133a98098c8e98ab","datavalue":{"value":{"entity-type":"item","numeric-id":46220,"id":"Q46220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$1E189B88-FF22-418F-9939-BBD94D20D9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$7722E327-07B6-4F28-A7B4-28CE71B93003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$3866A69C-FF54-4A68-B187-5E4C7EF72BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c4e6a97ebdcc3427247ddbfa1e281310a4650fe","datavalue":{"value":{"entity-type":"item","numeric-id":25644,"id":"Q25644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$5D223225-B72E-422E-869A-4D3F3A79840C","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":"Q853737$79F59DE0-DFC1-4C88-90A0-3D701F7B9C57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b35e5436650b0d7301c18a4a828c457e2cc20130","datavalue":{"value":"https://doi.org/10.1007/s10990-006-8611-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q853737$4A454DC0-2D81-4849-B07A-5BD717765C5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14b0d07db0611eb85022d81fb946c08e4a9413a9","datavalue":{"value":"W2129566109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853737$F5C02F37-E77A-4A5D-8CD9-1693C1F95705","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"785c46a0f1f22e75e02f3e7359d0bd2b4663936f","datavalue":{"value":{"entity-type":"item","numeric-id":5714452,"id":"Q5714452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$1B929EA2-6969-4158-96ED-2646A1AFDA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc4684ef7c0d101acaa59e50b2d0b3cee277ef9","datavalue":{"value":{"entity-type":"item","numeric-id":5348862,"id":"Q5348862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$46F72B86-1CD1-4E39-ACA9-44D1A37A311B","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":"Q853737$BDB8A182-9870-45F3-BE0C-3E00BC8878ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"241a79c4617eeeef6538d5c26041dbabc14c5b73","datavalue":{"value":{"entity-type":"item","numeric-id":2729051,"id":"Q2729051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$33811EAF-54A9-4C78-83BF-E856F8594FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b31dccd58324f807b4265f3a27d0be1edf42c10","datavalue":{"value":{"entity-type":"item","numeric-id":4240154,"id":"Q4240154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$4D7C1933-CD9A-4762-8446-E2225EB04646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97cdc24e1886c9ac541d3966bb1f8725c08d7368","datavalue":{"value":{"entity-type":"item","numeric-id":5902370,"id":"Q5902370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$0496A6C4-46A5-4214-91FD-14F9A2AD0FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69860105975cbd531d71745e77045afef0373ef8","datavalue":{"value":{"entity-type":"item","numeric-id":1854533,"id":"Q1854533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$E6DF4EC1-682E-40E2-BE51-4472B52133CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$46483455-E66B-4BBA-88EE-6CD0BA173744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"116a98ff1b6af3f56574e7245e5a3cab41baaef3","datavalue":{"value":{"entity-type":"item","numeric-id":4222944,"id":"Q4222944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$15ECC1A4-8597-4D68-A2D1-B645DD177A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df66c3373ee20520c5ed216e62e84be7c2aa7441","datavalue":{"value":{"entity-type":"item","numeric-id":4460723,"id":"Q4460723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$C8D960C1-6878-4855-B7DC-509740882921","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":"Q853737$3A0379B9-2065-4D39-A6F8-10FEC56FAC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204229c443ef4f1f44e3e252b5a2309c2d45862a","datavalue":{"value":{"entity-type":"item","numeric-id":3452252,"id":"Q3452252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$9CEFAAFC-F99F-4624-AC3D-1BC190F976FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d45d62552afebf5e9758a073f084970fe802e7","datavalue":{"value":{"entity-type":"item","numeric-id":1290337,"id":"Q1290337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$6B5E7BEE-E085-4E8F-8A3D-CF1690BB6FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c57489f03ca684d96b30a47ec6ef9c22b6abf4","datavalue":{"value":{"entity-type":"item","numeric-id":1290336,"id":"Q1290336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$35F47EF2-3B08-4DC5-B304-79C56727E92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b94cf2f6beddfec79364bce470484328c6578f5","datavalue":{"value":{"entity-type":"item","numeric-id":4236884,"id":"Q4236884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$9EE3B92C-9BF6-4F14-9813-07F6B73B0643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a202c15d6f0203e77f6eb394d88152eebfc809d5","datavalue":{"value":{"entity-type":"item","numeric-id":5712319,"id":"Q5712319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$CF4F8FB2-8C96-4CE2-875E-27F4F06D6B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b8d74eb30783ead52df96f665a06c49d9668e6","datavalue":{"value":{"entity-type":"item","numeric-id":2942928,"id":"Q2942928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853737$05A5311F-DDD9-4C56-A65B-032553F6C79F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3ec8db97e325af945ec2fbfd990b9651b02f419","datavalue":{"value":"10.1007/S10990-006-8611-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853737$4AB3DA6A-6E26-461D-B8ED-8CA90CDEEBBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68f761703e0eec59d8cc157bc8b46ff35cbd983","datavalue":{"value":{"entity-type":"item","numeric-id":3452252,"id":"Q3452252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f2168fa8124316e535aa5e94b6134dfac19642","datavalue":{"value":{"amount":"+0.9014883637428284","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":"Q853737$C516FB92-E8D3-4927-A429-985864F4CBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f33f70335574bd3d0fc6c8ddac756540626ab61e","datavalue":{"value":{"entity-type":"item","numeric-id":5348862,"id":"Q5348862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa6d15df7f24e543fc8753399c9b184bd827037b","datavalue":{"value":{"amount":"+0.8788209557533264","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":"Q853737$915D7A69-2710-4B7C-AC66-ED6416F4E498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273862e730a73d303bf52fc835703cc5bc1eb2ce","datavalue":{"value":{"entity-type":"item","numeric-id":923881,"id":"Q923881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b5d74f36a879518f6b98f5768c2ed36c567aa8","datavalue":{"value":{"amount":"+0.7157666683197021","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":"Q853737$F28F050E-3351-49AA-B8FC-797805D5148A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336188277fa4f074e353a1d772b12d03850da8ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981970,"id":"Q2981970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b32bf62fd7ba7b3942a9c811c302ce8cbf27673","datavalue":{"value":{"amount":"+0.7074427008628845","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":"Q853737$5E359073-5466-4EB3-AD8A-47BAF67201D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940723fd7e6ea9f480a9accdd2cd50405f238aad","datavalue":{"value":{"entity-type":"item","numeric-id":3736891,"id":"Q3736891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d60116090beab6f3cbab231c0f5b7fffadbac9","datavalue":{"value":{"amount":"+0.7068809270858765","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":"Q853737$221FB2C8-3444-4DE7-BC59-EB6814502DB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polymorphic typed defunctionalization and concretization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polymorphic_typed_defunctionalization_and_concretization"}}}}}