{"entities":{"Q5178761":{"pageid":7208333,"ns":120,"title":"Item:Q5178761","lastrevid":52225760,"modified":"2026-01-21T05:00:14Z","type":"item","id":"Q5178761","labels":{"en":{"language":"en","value":"Typed closure conversion preserves observational equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6415840"}},"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":"Q5178761$5D65B991-C1E6-4866-8B50-9E64ED90B7B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c108a049659d2be66020645fbb22c8c0a54c954","datavalue":{"value":{"text":"Typed closure conversion preserves observational equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178761$E4DCDC1E-AEC6-40CB-8442-5BD90A2E6AC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fa128ea2bf45a7a78965c19727ca78cd1902375","datavalue":{"value":"1323.68350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178761$EAA39387-2BC3-448C-91FB-ABB33B7A51F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28ad650e6df0882247548350d53d5498260d2bcc","datavalue":{"value":"10.1145/1411204.1411227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178761$0ABE2179-92BC-45A3-A14E-FB37ECACFC54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba9eee2345936039a069f18114ac67b7e6d3777f","datavalue":{"value":{"entity-type":"item","numeric-id":1652976,"id":"Q1652976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178761$1E62C289-4D8C-4DB8-835F-53ADE3CE896C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f0d110715e7988237d4ccc57f00b3dc84ce7067","datavalue":{"value":{"entity-type":"item","numeric-id":3189849,"id":"Q3189849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178761$7766C1B1-6F83-4AC9-B772-CE360E902625","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6fcd26fe34a7006f4256abb2f15c1ce3abe759df","datavalue":{"value":{"entity-type":"item","numeric-id":5178747,"id":"Q5178747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178761$8EDF6616-04C6-48ED-B7D6-64C33DE114EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f27bc284e85649ed8ad3a0b04193a152f9707a9","datavalue":{"value":{"time":"+2015-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178761$7040A646-DB17-49FD-8854-7300EFE8B970","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178761$9E52A8E3-9493-4883-945D-8602E1401038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178761$F2E71B2C-E34C-4780-BA79-9A13E68F6895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178761$FC549DF8-642B-461C-8437-303511B7A682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178761$3B98D71F-9F53-4D6C-B8D8-532181A80A44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5581da522fa2177d145aa5b24b47a1bcd39e6a7b","datavalue":{"value":"6415840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178761$CA0232A8-8495-4047-86D7-3119E820FB78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18324febc5412367d7d71bb053f97c9545e8c788","datavalue":{"value":"equivalence-preserving compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178761$C5543EA4-DF01-4E0D-896E-853C90CE4D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178761$E0A49980-9B19-4C03-A29A-2E296D0DEE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905b948fe4bfdb7eb3dea0f42ea8b556d62e1229","datavalue":{"value":"step-indexed logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178761$4C7C6455-DEEE-4A30-999E-D7218A6E918B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cb14df6b9b19d01125f67e8d5da71e0a04014f","datavalue":{"value":"typed closure conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178761$8F4483E1-73B8-4755-9800-7847502B6642","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":"Q5178761$1E085E3A-6CBB-475D-B492-17B22421F959","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"615ef9d64a107d24d7d50bfc38a0006ba8a3c5d8","datavalue":{"value":"https://doi.org/10.1145/1411204.1411227","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178761$A3FCEF25-1CE9-4368-B6E8-B2856C9DC7D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91f683c9f0b797f8cb6fdadc807fec49fd148169","datavalue":{"value":"W4242150334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178761$BD37B116-85C2-4600-BD50-8898ED2AAA0D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0a005478019910a23ca5a750f5292d0fc752a2c1","datavalue":{"value":"Q60142692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178761$031F0FDD-D0DE-4F6B-A5D4-3DA67CEDC811","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"5d5de37ca483bababb1fce18d2f46037212d278f","datavalue":{"value":"conf/icfp/AhmedB08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178761$21297989-D013-419A-837B-10A37C3EF3AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3970b49b781d3bf83689498debbe49a8f3c3fa3","datavalue":{"value":{"entity-type":"item","numeric-id":5176993,"id":"Q5176993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b4ccc4869d05a172d02836d2407e2bf7df166a1","datavalue":{"value":{"amount":"+0.8313619494438171","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":"Q5178761$2858FD7E-8E21-4CEC-9595-E55DC150B6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a48cad81368ee98af32efbe16ab58ad50164a0","datavalue":{"value":{"entity-type":"item","numeric-id":2982006,"id":"Q2982006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6971d3d2c7677904d812033b811704c8dd2ec73","datavalue":{"value":{"amount":"+0.819713830947876","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":"Q5178761$04F16F04-1DC9-4D89-8D71-B55C0B3625CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c18b48955d5bacd38fbb0758b759ca19bc7c2d7","datavalue":{"value":{"entity-type":"item","numeric-id":2828252,"id":"Q2828252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04fffc29ae792d178d26a69411b0f728def5bbed","datavalue":{"value":{"amount":"+0.7816857099533081","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":"Q5178761$9571F33D-BA7F-42DD-98EB-4CA359EC59CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e007ccbe793e5635d26738c6ed5466b353c8747","datavalue":{"value":{"entity-type":"item","numeric-id":4596778,"id":"Q4596778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dba03c59e6fee68671f9ca9b7949ccd282afbeb","datavalue":{"value":{"amount":"+0.7757309675216675","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":"Q5178761$809DA4AD-4DD2-4028-9A20-6D8CDEDB09AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3fd9547c8fd5b21d631afd981635b17f2758257","datavalue":{"value":{"entity-type":"item","numeric-id":4222944,"id":"Q4222944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0978c13dd2f0dad5b02da0b58231277429bc288f","datavalue":{"value":{"amount":"+0.7550073266029358","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":"Q5178761$2B435EF6-ECAF-4CA5-8BD4-BB876C48798F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178761","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178761"}}}}}