{"entities":{"Q968367":{"pageid":970215,"ns":120,"title":"Item:Q968367","lastrevid":65701935,"modified":"2026-04-12T04:35:43Z","type":"item","id":"Q968367","labels":{"en":{"language":"en","value":"A verified framework for higher-order uncurrying optimizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703917"}},"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":"Q968367$C2C62B1C-63D4-4E11-89E2-869CE202D570","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4035a4f6aa2b323232ca083e699db6b703182de2","datavalue":{"value":{"text":"A verified framework for higher-order uncurrying optimizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q968367$29F9D674-3A66-43DC-9472-3A237943A837","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f555de05ab12569563a97ad036cf1aa50617d462","datavalue":{"value":"1209.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968367$D8019EF4-B5ED-4660-B09B-DBFF8E77DE51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69a7ec56bc2c4d0e4307b25e4e93c9fc5470fffa","datavalue":{"value":{"entity-type":"item","numeric-id":968366,"id":"Q968366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$0D0D26D2-C785-4D84-BBE5-735BF3F3B31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b1e35c1c4bff0a8e8e775e8600e2e952b118ae","datavalue":{"value":{"entity-type":"item","numeric-id":848738,"id":"Q848738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$CD63D5EF-54EA-4288-A21A-22812780C033","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":"Q968367$0871C314-E0DC-46D5-8CDE-2EF4BF77A3BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d513bfc5982e2fc6615028187c47bdf077f809a","datavalue":{"value":{"time":"+2010-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q968367$95524535-55F1-450B-9B87-30BA35B43333","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968367$9FE6829D-359B-400B-9D7B-87E4F51EA1AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"041109bf81a55cf193464f274afe3babddcc3969","datavalue":{"value":"5703917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968367$EF67046A-B35F-4805-AAFD-67E99D86E144","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73764d321446821fc3032a2bffcb56061eeb3fd6","datavalue":{"value":"functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q968367$CAD55C10-4197-4A32-ACCD-4461371C0007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b98848df60ce95ad627877db21dd883ffbd16e","datavalue":{"value":"compiler optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q968367$77DD04A0-95FB-4138-8B04-728B98DB9F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q968367$8BB6AC20-F70E-40A0-AFEC-24F333F952E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b8f4be07b1af31d0bd7b2bd81f763ab7fb740d1","datavalue":{"value":"semantic preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q968367$F9BF609C-9964-47D4-93BC-3749D86F44B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c077416553294d315216b8ab8b5ee082b611aa","datavalue":{"value":"mechanized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q968367$67E205A7-B7D6-4CB7-BCB1-B76EBE2AE1C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$1E3D162A-B7D4-4E8A-91A1-A61A445E5393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$20FFC138-9819-4752-85E4-B953BE25116F","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":"Q968367$D96D74FA-A95C-4676-A8B3-5CD4B2FCB85E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbc7c8fafbced36ff102f1985ae3c15438587511","datavalue":{"value":"https://doi.org/10.1007/s10990-010-9050-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q968367$ECC5372E-F7E2-4088-9953-37A028211C16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92a2b30c721ec795c5bd590f65f865bca8ebc003","datavalue":{"value":"W2073733988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968367$AE3CE077-0028-4BD4-A44F-3917B05501DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$3E5E23EF-A06B-42D9-B4E7-2619FE4EED57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22f9b3c2816d962afaf3ce1b0c361b7e515534b","datavalue":{"value":{"entity-type":"item","numeric-id":3189850,"id":"Q3189850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$D647ADAB-E512-439D-9C82-6A7DEC717106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e540e9037d6b40bc6045b99bb685bc55f586971","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$3A9691A2-E305-4A5B-A679-8B780BA5EB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$BB05A68D-ACC0-4FA7-9FE4-EA836857DD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$F6D1354A-12F4-4ECB-8689-D4D760D3CB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bc180311b57c62eeb872b6b44fa7298188cae","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$16E3E12A-F394-46DF-91E4-BA7E90DA59DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$FEEE87F5-7328-4B24-9DAC-DDBE873C0366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2139b24faac29260605061d8111231a2904d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4325974,"id":"Q4325974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$200907F5-741B-4B1F-9BA1-60A19CAD34E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af25c1afcb0304276ab23b3647d0be676759ab65","datavalue":{"value":{"entity-type":"item","numeric-id":5348927,"id":"Q5348927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$E9E260F0-CAE4-45C6-884F-8AABD700E4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d9c9dd65a90bd81c6f0f379f0f402548d6cac2c","datavalue":{"value":{"entity-type":"item","numeric-id":5348885,"id":"Q5348885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$64BA401A-4CE1-4C4D-ABE8-2C688F2EFC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10fccd2e79dc27ea4d8e39317f0a2e1daf00e3ea","datavalue":{"value":{"entity-type":"item","numeric-id":5926073,"id":"Q5926073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$66FC43DA-6C43-4B67-BC98-2CF313BB80F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fddc19db3a580a1f11bd661df24f3defde199f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1330433,"id":"Q1330433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$A500A607-5150-4C0B-8E45-D341EFE09AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442937e7a92071855338b0012339d681574f358b","datavalue":{"value":{"entity-type":"item","numeric-id":2464723,"id":"Q2464723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$C08C7A3D-26A0-4A49-9665-575D61ED085D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$BF68CCF6-489F-46CD-8EE5-B9755B5F8153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a8d1807727f460772d228e59e0090da8175877","datavalue":{"value":{"entity-type":"item","numeric-id":3507450,"id":"Q3507450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$C236757C-A2A2-4106-9ED1-02E08EF3AB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e387d9ec8ebd28bf4345fa4a7e714b612041f4c","datavalue":{"value":{"entity-type":"item","numeric-id":5482279,"id":"Q5482279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$369C70BE-60D7-4528-8FCD-C6C39B6D8BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ace06db1892d761ccecefca66e1592cc981c11","datavalue":{"value":{"entity-type":"item","numeric-id":3625516,"id":"Q3625516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$E99CAFE7-A9C7-48FF-B85C-8A2632BE4EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$B550E1E3-C1C1-459B-900F-77EF5F73163E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9822837c9dfb5206af8783e5f5e6ec645b248c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3189822,"id":"Q3189822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$8404FFF1-8E27-4F54-A2E3-A1C7B3D16BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20042831b1f6c6ecd30f7c56ffcc730575175375","datavalue":{"value":{"entity-type":"item","numeric-id":4542147,"id":"Q4542147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968367$DE36CA2C-00DA-4C7F-9DAE-87B8FDA41D93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5d91f5c750406361fbae7c8d2bdeb9476fbe58d","datavalue":{"value":"10.1007/S10990-010-9050-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968367$603C8E6B-C51C-4736-8EFD-07E317FE2D61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a71bf3528a0f23cc27efa92f0a6e1f8542df96a5","datavalue":{"value":{"entity-type":"item","numeric-id":5926073,"id":"Q5926073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2289998a43e76c8d70147662bb3f600f26dfd9d0","datavalue":{"value":{"amount":"+0.7783135175704956","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":"Q968367$04EF8714-3E7A-445A-9D35-BA1CDE5CF668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"253c9e451480648979db8cf387fec24b8de481b5","datavalue":{"value":{"entity-type":"item","numeric-id":4806105,"id":"Q4806105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4912d97c7342027a00f0a1448a7c31b62d123e65","datavalue":{"value":{"amount":"+0.7661395072937012","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":"Q968367$07AB4EB2-9E0C-4737-8274-72263369BB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93288998df811b6d1f69c3cedbfd203b0f191de2","datavalue":{"value":{"entity-type":"item","numeric-id":3172898,"id":"Q3172898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7497146dc7e3f54ed7ce23b371e0e9aaa050a091","datavalue":{"value":{"amount":"+0.69528728723526","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":"Q968367$FFE3E9BA-3ACC-4442-8898-F497386DBBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65417b7c4d8073794042aa18b3464d8aa7dc19a2","datavalue":{"value":{"entity-type":"item","numeric-id":5255065,"id":"Q5255065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3beeb7a345904e68a9c57ce8acc48bb4d38e7214","datavalue":{"value":{"amount":"+0.680154025554657","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":"Q968367$4B11CD3C-B17D-46E3-BAF2-1240AC03CF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352600539fa48f818d1666a35b4ccf58613ec0b0","datavalue":{"value":{"entity-type":"item","numeric-id":5234256,"id":"Q5234256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cdf142fb7ebc8a3bb621fa59fe275d453f5a549","datavalue":{"value":{"amount":"+0.6788234710693359","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":"Q968367$17207826-F00B-4E58-A54D-D75328A02AD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A verified framework for higher-order uncurrying optimizations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_verified_framework_for_higher-order_uncurrying_optimizations"}}}}}