{"entities":{"Q2802463":{"pageid":2813201,"ns":120,"title":"Item:Q2802463","lastrevid":52515692,"modified":"2026-01-22T20:46:13Z","type":"item","id":"Q2802463","labels":{"en":{"language":"en","value":"A separation logic for fictional sequential consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573724"}},"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":"Q2802463$7D6130C9-AD6E-4F45-8645-8DC76EEDCF03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"255190ad209ca56252a62db1d4d61ca0a53173c1","datavalue":{"value":{"text":"A Separation Logic for Fictional Sequential Consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802463$C13030BA-F29E-4E0B-9B2D-6461BEDC9E45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab4123c5fdccdc0732d45fa9992496d6324c10ca","datavalue":{"value":"1335.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802463$17D7F96E-E209-4F56-94D7-7847BA356731","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d3c5d00fc8723a16f41cedff159f302e259d966","datavalue":{"value":"10.1007/978-3-662-46669-8_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802463$6EC199AD-1C0B-47F3-95F5-1D650ACCAF29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d3621dc4f6116fe30692c2581792a932d8de045","datavalue":{"value":{"entity-type":"item","numeric-id":2289096,"id":"Q2289096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802463$2F286440-0017-4FAA-AE64-CB8DD7305321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32a852dd13c129712c151cef4e3381588e180803","datavalue":{"value":{"entity-type":"item","numeric-id":2323982,"id":"Q2323982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802463$C66A9099-3B53-4845-B7F9-5088606A1FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff2d806e69bb4752e41e45b7891ce04dec431349","datavalue":{"value":{"entity-type":"item","numeric-id":2323983,"id":"Q2323983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802463$8C230F38-2C32-4374-AB7C-999AC8126D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802463$2C12F77E-8659-4F57-9CFE-0CF732C98826","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802463$A5A0872F-472B-44A1-B0C0-591D55A743A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2802463$548B21B8-E315-44CC-AE2C-C601C12BB847","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"178b245b54aeae88d3d9fa110ab4cdbb180d6739","datavalue":{"value":"https://www.repository.cam.ac.uk/handle/1810/294681","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802463$81AA10E7-717A-4B68-9ED9-25AD4D131D58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802463$8B75E0DC-C1B0-4D30-B5DC-992F4030DFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802463$EC43E74F-C256-4505-9BD4-321C7171A9C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff0778bd3c2fade71f1cceebecd62fb4a59cccf0","datavalue":{"value":"6573724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802463$02CFF26D-BB3D-4C28-95F5-C9DB34EF27CC","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":"Q2802463$02B32465-6E14-48A6-A369-5B41932A95FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae370c1b3e5b88d0e30faeb70c436d91019e7bf8","datavalue":{"value":"W2403509298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802463$36080CAF-4F83-4529-9495-4C4A913151B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5d628e56c3440758a0cbfd92dacbeb43c1297b","datavalue":{"value":{"entity-type":"item","numeric-id":3558227,"id":"Q3558227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92fb999267a1bd1abd2867b6f8fe663f08224cf7","datavalue":{"value":{"amount":"+0.8151333332061768","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":"Q2802463$D7968344-0181-4A8E-A728-FB595CACB43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd4b8eb7a9fdb762b7b6b247d433dd50abaa943","datavalue":{"value":{"entity-type":"item","numeric-id":2323985,"id":"Q2323985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e930bfa993993599e784ca323ac835b7877af13","datavalue":{"value":{"amount":"+0.7783642411231995","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":"Q2802463$DDB465E5-E38F-4B18-B822-D9B8CF6CD5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0bb75a0c98fcf5dfdb45200d356b428b8f3d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4909400,"id":"Q4909400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e7761d4a3fe1518f3af2ce495415f1274e2f99","datavalue":{"value":{"amount":"+0.7754265069961548","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":"Q2802463$13446014-A05B-446B-A7BF-580411A6D22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3331980934a2a2efcc1b96812de8f01e97c981d5","datavalue":{"value":{"entity-type":"item","numeric-id":2988652,"id":"Q2988652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b48106832162615551fcc0b3f44f05ef4458e82d","datavalue":{"value":{"amount":"+0.7726162672042847","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":"Q2802463$F507A348-6C92-4E14-94D6-BF4DECBABB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a7c87337f5d689c72bc11bf4d85198393b928a","datavalue":{"value":{"entity-type":"item","numeric-id":2796064,"id":"Q2796064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0e9cda0ca83f8025afec35500b40f53c0bb4fb","datavalue":{"value":{"amount":"+0.7663102746009827","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":"Q2802463$F2D45C47-86E2-4630-9DDD-1123BD1726EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2802463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2802463"}}}}}