{"entities":{"Q5013872":{"pageid":7043449,"ns":120,"title":"Item:Q5013872","lastrevid":58402920,"modified":"2026-04-05T01:43:44Z","type":"item","id":"Q5013872","labels":{"en":{"language":"en","value":"Encoding CSP into CCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438561"}},"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":"Q5013872$77F82698-CFFB-427D-9774-9D6081550901","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce004f2c8d487c8ed27cb4f280f0e9c32e8620e0","datavalue":{"value":"1476.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013872$74795A2D-24B6-4D82-88FA-DD2528F1B506","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6f4dfff2d62f9a663b528a4f63a4ebb98424b2","datavalue":{"value":{"entity-type":"item","numeric-id":1627177,"id":"Q1627177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$E3A43D81-E708-411C-9DF0-D98A72137032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9f375f52dedb519fb7914ef17f5ff32804c4269","datavalue":{"value":{"entity-type":"item","numeric-id":900424,"id":"Q900424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$7FA25312-B964-467D-AD9D-2A0C472EC840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b270069fe2a7a6870cf50938104f0718b45b2c","datavalue":{"value":{"entity-type":"item","numeric-id":2123057,"id":"Q2123057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$17BDCC5F-D757-4684-9EA8-E769DEB3E19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24db94f90cbaf6ef00e2909513980e367d10b4b9","datavalue":{"value":{"entity-type":"item","numeric-id":262425,"id":"Q262425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$FA1CF2C8-8951-4CC5-9BAA-BE517CEB378D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013872$FFB16533-776A-4E27-B95C-BBC44EE1FEF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8184c42919ef6f06580dd49489f34f821fc2b21b","datavalue":{"value":"https://arxiv.org/abs/1508.06712","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013872$707B4ABE-281E-4336-ACBB-98F38938A924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5380aee115ad85d8793302a8b47e443fef1fb06","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2015.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013872$41D1BF3D-FD8F-485F-9887-9660BC5FC354","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013872$EB6B96F7-6983-487A-8FF4-A14C54899C38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5cd2d0d897ca0d3ba597f9b50f53fb15305b8d1","datavalue":{"value":"7438561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013872$9B6F96FD-F283-4BE0-9313-6D99D76D75A3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"714727a898d0d606e297414c0b960e54d4f6f0c3","datavalue":{"value":{"entity-type":"item","numeric-id":31221,"id":"Q31221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$140B4735-F31E-4E7D-A6DF-0F5C0A1CD108","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":"Q5013872$40534CAF-E009-493C-9DE0-528CAFE11B53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac30db14f6465344d333a95818936cc903dad05","datavalue":{"value":{"entity-type":"item","numeric-id":1781995,"id":"Q1781995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$6A2ECDD5-108C-4D01-A905-099C7C4BCBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"098358cb568c6c547d13ee0ec69c3f29140fbb1b","datavalue":{"value":{"entity-type":"item","numeric-id":3664417,"id":"Q3664417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$E318FA73-1C56-45FD-B9F4-A3B13CABD2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265c5cb839de7127e39cdfa898752a643202018c","datavalue":{"value":{"entity-type":"item","numeric-id":4986261,"id":"Q4986261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$A26D8B4F-183C-4952-B9CF-0154520A09C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b489051a8449fc1979e8e8dadf2729a749ef7af0","datavalue":{"value":{"entity-type":"item","numeric-id":1959439,"id":"Q1959439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$569FB351-7916-43E9-AE9F-E15262906673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$B10A6DED-D008-4D54-88F3-42512762D256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5610ca64eabd4c97022ad974b8da0dd25582dcd1","datavalue":{"value":{"entity-type":"item","numeric-id":5262968,"id":"Q5262968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$DA5D8CC6-BBB7-4FF9-8C93-F9B3ABBC081F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff93d3fa774a1474563d2124b43b481fec3b75ca","datavalue":{"value":{"entity-type":"item","numeric-id":2852051,"id":"Q2852051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$2418B998-D5F8-4E61-9F6A-4EE39343A078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$838BCF4C-9935-447C-B565-419B4B9494E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3fd20c8e9714eccb1c34b04021a4bbf5567b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3026331,"id":"Q3026331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$08E4974D-1531-4DBF-A49A-C80D76570096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$B05E33A1-2420-4E64-9A29-35B555937790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7826866a05510a038a5ca0e484e348b53bbacd09","datavalue":{"value":{"entity-type":"item","numeric-id":1854385,"id":"Q1854385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$22AED612-96E4-45A3-B0AA-3E837605A2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"725b1f0a4be308734d31eb0b7bb1b83f63ec09e8","datavalue":{"value":{"entity-type":"item","numeric-id":5013871,"id":"Q5013871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$8C7438BC-8E79-4625-9813-6CE05D58539D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5360f20cbcc4690d807f9a1580a29b37f26ac6c2","datavalue":{"value":{"entity-type":"item","numeric-id":2892772,"id":"Q2892772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$1EE8908B-AF17-439D-8533-C18E7230D61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86a9259c0dcb23888ec017e4aaa85b3ecbea38d","datavalue":{"value":{"entity-type":"item","numeric-id":5326293,"id":"Q5326293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013872$D2A24862-A3E8-41E6-89C9-724657E4A3D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9973b17c92078894d9bcec35fbcbd394ebba3328","datavalue":{"value":{"entity-type":"item","numeric-id":6104373,"id":"Q6104373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f07165a6809e6fb1a3cb97000b4d0904eb8075","datavalue":{"value":{"amount":"+0.7587920427322388","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":"Q5013872$8D495F0B-A2E2-460F-B0AF-782C9B777C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0397b6905f6c7ca1cb9a672d9d38ee4e0b9ce53b","datavalue":{"value":{"entity-type":"item","numeric-id":1854385,"id":"Q1854385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f9d9a7c03874e31edff43058cbe7e32b1b81bf","datavalue":{"value":{"amount":"+0.7568947076797485","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":"Q5013872$86838658-314E-414B-8439-AA4A68A86E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee89ae3b3d2caeab9324058406665465c8b3e736","datavalue":{"value":{"entity-type":"item","numeric-id":3184668,"id":"Q3184668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d38181e1a920f9633ed5c28e8b60e1d0f30d50","datavalue":{"value":{"amount":"+0.7527523040771484","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":"Q5013872$2DB77EC7-1E27-4116-9FED-8A1EF2D2B292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd120a6792a74490ed2cb89d5fd81b97ad0677b3","datavalue":{"value":{"entity-type":"item","numeric-id":6045054,"id":"Q6045054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03540397dab6e27716801722d2384b810890f207","datavalue":{"value":{"amount":"+0.7503241896629333","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":"Q5013872$B8B3DA9F-3076-4D6E-88EA-83B498BD5E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b427b8f6570aa58ad392dc9e655eee39edb0a374","datavalue":{"value":{"entity-type":"item","numeric-id":1641151,"id":"Q1641151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6a6d0ebbaaace2cba43ac1ff7424a8183bed14","datavalue":{"value":{"amount":"+0.7366746068000793","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":"Q5013872$494E6502-9C1B-45FD-826D-F6A8F9C7B6C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5013872"}}}}}