{"entities":{"Q5145677":{"pageid":7175248,"ns":120,"title":"Item:Q5145677","lastrevid":40888707,"modified":"2025-04-13T19:37:11Z","type":"item","id":"Q5145677","labels":{"en":{"language":"en","value":"Concurrent Separation Logic Meets Template Games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299509"}},"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":"Q5145677$62C72F57-E7A8-4F14-89F7-157D503607BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a076d9f4fee5ab9466d9d63918d3a22bbb448af","datavalue":{"value":{"text":"Concurrent Separation Logic Meets Template Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145677$959ECD96-BCDD-4793-A207-D0FCBF90EDB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff7e4f3a82fa5c7a2106b14c2a971154be058782","datavalue":{"value":"10.1145/3373718.3394762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145677$B0024912-D131-4003-81D2-A51CC386737C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145677$8CDE9344-CCD7-4A8C-BCD3-247E839F859B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a724da5f914b41584fcf2f7d9112cf3a49b9fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2130596,"id":"Q2130596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145677$C06377B8-0644-4603-9C34-D3F4B0389F46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145677$8155E8CB-4EC9-400F-9355-960FAC0CB9ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145677$70FF403C-33FC-4597-B368-E1EE1BB8186B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"246ffbae6c99c5e82023d51a9297cfbb9892eb86","datavalue":{"value":"https://arxiv.org/abs/2005.04453","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145677$064DAE2D-4DD2-4074-AC9A-9445DEEC06F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145677$DDCF43C5-1375-40C9-9434-561B9C2609D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145677$614CFAB9-03AF-451C-9CBC-D36DD09B1C1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec83a63b04753c5769e05730972d49f3707c6e84","datavalue":{"value":"7299509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145677$5C0525D6-D45E-4C8E-B544-6C73C6240D45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00cede9ee57c2febe166e66957df88f6214d4192","datavalue":{"value":"Hoare triple","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145677$3B10CF63-3DF7-4222-B3C7-7D48462CDF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f7f60533a26d676d5fef60b388d1a5b2d0e5848","datavalue":{"value":"cobordism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145677$EE49FE64-EB0A-4D04-A4EF-01C99EEEAFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db372644550235ff04c8764c60b2329a9ac7e607","datavalue":{"value":"concurrent separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145677$DC900EB7-D3AE-408C-8CD5-D3DF88C03DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7330316d922789d5318c7a4b4fbbbc00e23e7a2e","datavalue":{"value":"template games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145677$6A4170CF-2532-4478-A00A-775168078F58","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":"Q5145677$7E2A79D0-47F7-4588-8A8C-E41D4F9F2F5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74b216214762a9512e9081bb97ace81f9177f096","datavalue":{"value":"W3029226113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145677$DDEB38E0-A9C3-4C7A-8034-0C69C9572D09","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9d3e3bf51b52c173f4d60f4243844bd8222b9f0c","datavalue":{"value":"Q130821839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145677$D3A2A67D-A26F-4E17-8234-FDA9AD19B45F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78908da88e16d28d873aef7455dc657810b4eff7","datavalue":{"value":{"entity-type":"item","numeric-id":2130597,"id":"Q2130597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2b44439fef9a2c6e66cd338373e1f725f3bb76","datavalue":{"value":{"amount":"+0.9488423","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":"Q5145677$C16B112D-A59B-4C07-8C7C-F3EB28D17E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"917e67b3aa8975e539aa9a34a6f8feb959b9b069","datavalue":{"value":{"entity-type":"item","numeric-id":3617720,"id":"Q3617720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a876f373809c5d48a3c4cf5d43f46dd1caee31b","datavalue":{"value":{"amount":"+0.8911473","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":"Q5145677$D1E6D50B-BBC1-4FA6-8FE6-904327F65170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc67884947a4fec8b69e3e850671852ceb6f093b","datavalue":{"value":{"entity-type":"item","numeric-id":5386004,"id":"Q5386004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a08d83cc4df09c87fc001b5c94642e65c7545d","datavalue":{"value":{"amount":"+0.8820544","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":"Q5145677$733C3E10-5A8B-45D5-84BF-E69E0B3FF3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9544de41f81387be86297869277c1a82bc01c1b7","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2528f25fc336888235ed9989382f6898b5206f6c","datavalue":{"value":{"amount":"+0.8813158","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":"Q5145677$DF14D392-8101-4C16-9256-83045911C3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f72112ae0de9c4ec7fdaff364082f56a8eeb23","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2528f25fc336888235ed9989382f6898b5206f6c","datavalue":{"value":{"amount":"+0.8813158","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":"Q5145677$2C8AA7F6-F92E-4377-8955-1BCF12DBEC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c6ce0f1b02bbf2426a7f919253d6530e52a6c2","datavalue":{"value":{"entity-type":"item","numeric-id":4967237,"id":"Q4967237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ebf8bb72a3d603b772331363050cd68763745c","datavalue":{"value":{"amount":"+0.8810806","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":"Q5145677$0BACAC4C-8805-44C6-9C3F-E48D515B87FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b90db92c30306f1713986c9b5aa37be77041b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4461213,"id":"Q4461213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a5677651f17e4b96480eef280da01427c7b670","datavalue":{"value":{"amount":"+0.8783577","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":"Q5145677$70F2792E-AF3E-4369-ABFF-A2AA1F599A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbab99c8536286d098e12eb913a4c5e00e6a0aac","datavalue":{"value":{"entity-type":"item","numeric-id":3003356,"id":"Q3003356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60ddf1dc737cf45810923beb5b6ce5c15f722e6","datavalue":{"value":{"amount":"+0.874028","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":"Q5145677$46F70B5E-1A3F-4190-A8BF-6EA7877E876A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69102c7060c7b74cb78792fb6e903c574e370f4","datavalue":{"value":{"entity-type":"item","numeric-id":1360314,"id":"Q1360314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d91df9ef557d21a1f67d18f82503b198c7ce23f","datavalue":{"value":{"amount":"+0.87359655","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":"Q5145677$20C1DF03-5FF5-4994-9A08-4A33C0090582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76fa38d20d2cb88a0aeaf352c8f48165b0fddfbf","datavalue":{"value":{"entity-type":"item","numeric-id":5009456,"id":"Q5009456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65573090d12483a211a4ca710ba7096c974f1176","datavalue":{"value":{"amount":"+0.8731918","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":"Q5145677$339FBEE9-1620-484C-8BC6-4D2A36EEB3C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145677","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145677"}}}}}