{"entities":{"Q5408538":{"pageid":7438112,"ns":120,"title":"Item:Q5408538","lastrevid":51972503,"modified":"2026-01-20T16:11:38Z","type":"item","id":"Q5408538","labels":{"en":{"language":"en","value":"A Kripke logical relation between ML and assembly"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282599"}},"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":"Q5408538$FA6BE438-0878-4A39-87F4-AB9D39D87319","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7361f6f0dca49020db71b1cd45ba3cb3e896b441","datavalue":{"value":{"text":"A kripke logical relation between ML and assembly","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408538$542A7BC1-7CCC-4E2F-84FD-3C2403DA4AED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14d0d93f36bb7e1d9a55d80c9441dda1aab34c66","datavalue":{"value":"1284.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408538$3AD1242B-42FE-44EE-93EC-D260F9DD6AE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8db5a90a38ff8401b5d1fda66ceb1182d84b2196","datavalue":{"value":"10.1145/1926385.1926402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408538$9BED6596-5610-42AE-A814-5267FB7D0E4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61b4416adb1b221673db19b3bfc1a87bd25d3903","datavalue":{"value":{"entity-type":"item","numeric-id":1014643,"id":"Q1014643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408538$9890CECC-512F-4CD5-A4B5-8AA8D1898AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408538$5FFAD1D6-7874-4680-973B-A3D0EAE080A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408538$DBD26CE4-831A-4DED-8A00-8D4DC1CEC776","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408538$4A55DA48-6EC4-47E4-A157-D5448F3F609F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408538$EA94E5B5-0389-426E-BEA5-9329E948E24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408538$7534E6F7-DCBF-464C-BAA7-CBA8DCC089B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408538$6A79D94F-B1A8-4F3C-B4D9-30AA2A9D3409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408538$58AB4848-AEFC-4CED-B12F-055AFF0C62E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408538$51589C0D-E4D5-4698-B29D-D2C2A6BAEB0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"092b9669d6fe2e5b66f15f9d4f9a27b79e204894","datavalue":{"value":"6282599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408538$BC9B6625-6BCE-4577-AECF-558A5921BECC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5688260d56258e4916c5f7e7a5117477dbc3ee","datavalue":{"value":"biorthogonality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408538$15EC0D26-6AAD-4CC6-A9F9-C38FE64B2DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5370cc5917ef4d59eaa3e666442ed35c4415f0c4","datavalue":{"value":"compositional compiler correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408538$5DF8358C-9C12-4089-BD6B-94521B509FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba813033450a4388c099d98e1235b855f629520","datavalue":{"value":"garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408538$EC679638-113C-4ABF-88D7-DB382BBFC988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51c5bbe7cd8e749bb1e1eea38b6f46c1f14717de","datavalue":{"value":"self-modifying code","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408538$724ADB98-A0EE-40DC-B082-EB1786A83C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da61c10ccfe4651cc4206af5146ed1fe3b280b10","datavalue":{"value":"step-indexed Kripke logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408538$94FCC9F3-2C36-4FC8-A2EC-2BE9F4C92B67","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":"Q5408538$3D55E6FF-5CDA-491C-9F3C-E7587B5E4504","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc32d5f2de804601d6d4946d35de0475857658fb","datavalue":{"value":"https://doi.org/10.1145/1926385.1926402","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408538$0142E5D1-7462-4519-85A4-090DEF696921","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c11d9059eba00523c123981606e6e77a3ff8fa5","datavalue":{"value":"W4252501555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408538$E0D8B229-23AC-4C02-97B2-581746B639A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258ed35583a03b29ffa76d971860ac7fd556d874","datavalue":{"value":{"entity-type":"item","numeric-id":2936808,"id":"Q2936808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa177f845bf187ece6af782e1986d902d2708c0","datavalue":{"value":{"amount":"+0.7578853368759155","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":"Q5408538$16309F50-3DCB-4E8A-A3B9-3CA7B7839F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f303fd2ee7371e98ef37333d2078a5990073a498","datavalue":{"value":{"entity-type":"item","numeric-id":1744423,"id":"Q1744423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d4d49ff822388da19472251f77900cefcd99ddb","datavalue":{"value":{"amount":"+0.7519017457962036","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":"Q5408538$CC8FD0A9-ADE5-4592-B744-EB7043020019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8f93ed02e7469ffbab621505f141ce36929b25","datavalue":{"value":{"entity-type":"item","numeric-id":2629855,"id":"Q2629855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02010f55a8518d022dc86959a76128077fa78832","datavalue":{"value":{"amount":"+0.7444762587547302","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":"Q5408538$B102F1F0-4D2B-46A7-891A-CA2B91F63661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"904f5390cbf74a2c9f20f3b84937df1850b58780","datavalue":{"value":{"entity-type":"item","numeric-id":5176994,"id":"Q5176994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f605e3c6308a6c9819bef1a78473e122089ef5a","datavalue":{"value":{"amount":"+0.7314513921737671","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":"Q5408538$D8A1D1A6-6D47-4B01-92BE-AE6C63E32F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1004d1d63697fa29fbb94134fc37a4d117cc8b7c","datavalue":{"value":{"entity-type":"item","numeric-id":6116577,"id":"Q6116577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"799c0b16756fd44d8b25eedb902349e1ff604e1f","datavalue":{"value":{"amount":"+0.7045654654502869","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":"Q5408538$F1C207B8-4571-47B0-9BEF-B46B32184AFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408538"}}}}}