{"entities":{"Q3401137":{"pageid":3411840,"ns":120,"title":"Item:Q3401137","lastrevid":46139527,"modified":"2025-12-23T11:54:30Z","type":"item","id":"Q3401137","labels":{"en":{"language":"en","value":"A Step-indexed Semantics of Imperative Objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664117"}},"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":"Q3401137$49F4847F-3954-4172-B751-47B181AC9708","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e67e6b9dfacc88eeb5c15b126728f2745a27b0ff","datavalue":{"value":{"text":"A Step-indexed Semantics of Imperative Objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401137$06B68648-9871-4782-AC12-F3612B81BE03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2aa371393dce5e33bf232e5888ef457d9919ee6f","datavalue":{"value":"1187.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401137$F3C908B2-2EBA-447E-8905-4825004DF622","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1d62066e26abb3a05ee4a08b60380a9958fc55b","datavalue":{"value":"10.2168/LMCS-5(4:2)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401137$CB35D02A-5C80-427D-A080-C66CE5C86A08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dca520b2b44c51b0ffb92f2dd255590e5e0e273","datavalue":{"value":{"entity-type":"item","numeric-id":2324195,"id":"Q2324195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401137$336ACFE8-FBD6-4C99-BF02-8755397E5D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6e1f9f3f83ab8ce5ed045378a12428f006569f","datavalue":{"value":{"entity-type":"item","numeric-id":2339471,"id":"Q2339471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401137$D68EA507-0CA1-4A84-88AC-CF738CCA229F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401137$DD183DB8-7F60-4E71-9A15-0D047B05A858","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3401137$5D61860B-130F-45D0-A03E-E9623E3886B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401137$9848B288-7417-438D-BEEF-F51350614748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401137$C1EACC4E-34D3-4591-9DCC-B2320DD9BF19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c245430ccb85340657b1fd65925f11e316f4199","datavalue":{"value":"5664117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401137$7FCCCD57-B734-4294-9F6B-B9362B98A5A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"354450077e88c461331dd6e936acb110a1a53d4b","datavalue":{"value":"formal calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401137$FD0A9C09-B224-44DE-A49C-61462395AD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b0b179d5d3e4af96c9fa62e145e13582e6b4cb8","datavalue":{"value":"objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401137$B2AF46AD-1A1B-46B6-8498-C5B8A21CD5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401137$E0CF0C22-FD2C-49A3-AD75-3DAE369D36FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0efeaf96905c5dc2b2c7fc3fd8b202ea61a1a1","datavalue":{"value":"programming language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401137$6B68842D-6143-4399-9A1E-CB863A823B35","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":"Q3401137$B4F11F25-19F7-4A29-A262-30D7B3C41F04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ba59dc433335452aa20dbeed60bfe9b12a1c540","datavalue":{"value":"https://doi.org/10.2168/lmcs-5(4:2)2009","type":"string"},"datatype":"url"},"type":"statement","id":"Q3401137$22991565-1FB3-4C33-95BC-92EFC2CA6ECC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e061347643babc1be73a87c4f706052fef75d575","datavalue":{"value":"W2023742063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401137$C4D0A7CC-0787-4927-A7A6-4904756CA2F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491846111c67672e187394e642569ad286ea3ca9","datavalue":{"value":{"entity-type":"item","numeric-id":2986814,"id":"Q2986814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe5e957d32338695b97d1c6149f9c35557b550c","datavalue":{"value":{"amount":"+0.8843383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3401137$0B250A2C-E7AA-4A05-9472-56F22CA300AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84fc8c5cab33d2083d03117616f62443327cb0c","datavalue":{"value":{"entity-type":"item","numeric-id":5096750,"id":"Q5096750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad51dbed5add90fd60453b4878b715ecf2a22767","datavalue":{"value":{"amount":"+0.8762756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3401137$65BDCBCE-FBB6-4C19-886D-3688562632DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37400d4100f52469e107d416939db13b17584959","datavalue":{"value":{"entity-type":"item","numeric-id":3408131,"id":"Q3408131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7a6a536326d72598ec1658eb3722771e9e3931","datavalue":{"value":{"amount":"+0.8649694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3401137$67C5A077-DAA7-4062-A3D7-811A0DDE73FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c35cb212552d3176ec42b26c4ec362f727243f","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d64822a3eb1254b9bf355eaf075c973c93de75c1","datavalue":{"value":{"amount":"+0.86173457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3401137$92FC5C58-0425-4ED5-B47D-822A160629CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49348d4d19df3c31a72ae42decbba878b3f9ccbe","datavalue":{"value":{"entity-type":"item","numeric-id":2848697,"id":"Q2848697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fdeb033cbb10360901e5d7f810e9956b286c0e4","datavalue":{"value":{"amount":"+0.8472536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3401137$5DE8DED9-AB0B-4E64-97E6-A201563568E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10951ba351ed86439180cd85bc7f221deb8d49a","datavalue":{"value":{"entity-type":"item","numeric-id":4723273,"id":"Q4723273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b996991a74a316b8901cec075cff932d1dcaa1","datavalue":{"value":{"amount":"+0.84667337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3401137$E8D6422B-80F3-493B-A191-578FC8C779A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3dd3a7398f4140ba86c072a2fc7fa4697d9a4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4943358,"id":"Q4943358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff69ba103d32dbb0200467ba973a3ebe2892bcf","datavalue":{"value":{"amount":"+0.844028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3401137$E2E45B82-C3C2-483A-BD34-069D755C57CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1dbc5bcd80ac2397141ffd3ebeaf1e71de23766","datavalue":{"value":{"entity-type":"item","numeric-id":5326276,"id":"Q5326276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeefb0f138584dcd446cbd71bb2b673cb18b38a8","datavalue":{"value":{"amount":"+0.8422398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3401137$DB882C97-EB56-4F84-9B2D-516545D678CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9eacd9a255617a4d225a1956449c389661dee20","datavalue":{"value":{"entity-type":"item","numeric-id":4346205,"id":"Q4346205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5e281dc5ee0da13af75ef1cca749892a1eb70f","datavalue":{"value":{"amount":"+0.8422215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3401137$1B9EC992-8ED3-4EC0-B274-4262DB67DF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed69deb6b33d43a9fe033c2121cef167cfbb0a8","datavalue":{"value":{"entity-type":"item","numeric-id":5481596,"id":"Q5481596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7805386e007801c3aed91bbaae747de4e2fbf47b","datavalue":{"value":{"amount":"+0.83858955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3401137$4EA2125E-4AAF-4DC0-943B-C17FDAD8EF39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3401137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3401137"}}}}}