{"entities":{"Q4608670":{"pageid":6638253,"ns":120,"title":"Item:Q4608670","lastrevid":90558473,"modified":"2026-06-04T20:41:29Z","type":"item","id":"Q4608670","labels":{"en":{"language":"en","value":"Causally Consistent Dynamic Slicing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851940"}},"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":"Q4608670$ED9200BD-6A35-4AF1-A715-83C7F5B720BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e5dc99c63190f12db170f63a3bdc1bcc8476e4a","datavalue":{"value":"1392.68313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608670$78FE2F33-F118-431E-A008-613FB20721B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3144de1dc55f15f1d602eeb2e144dfdc704ed138","datavalue":{"value":{"entity-type":"item","numeric-id":1799303,"id":"Q1799303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608670$C5D20E72-1213-4E15-8F67-A6616FA01C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b6ed5eb3ed9fff3c6429e68d8bf1ac9d63219f0","datavalue":{"value":{"entity-type":"item","numeric-id":1615409,"id":"Q1615409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608670$3001413B-DA93-4757-9E9D-BA1759472A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5395fd6215daedab9dca2942f104c17e46b5bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":616848,"id":"Q616848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608670$3E8B05B4-0EFF-49FE-8602-92D991A4F653","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-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":"Q4608670$DD375A4F-15CC-40C8-9745-DE858D6B6EE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2e0ebe8c08ad510b5e5374297c4089d444d0fc9","datavalue":{"value":"https://arxiv.org/abs/1610.02327","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608670$74E46882-C793-41C3-8C5D-6B114DA23756","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608670$5AADFD59-EA61-49F9-9AE3-7F964F1421AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608670$2F97B6FD-46B6-46FE-BB79-55A9F621972E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608670$92D29F01-AE09-474B-BEC7-7DB63E3BAAB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3341b151332b082c1470a925216cc80b6565c5cd","datavalue":{"value":"6851940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608670$12A2F135-9A00-4811-AD4F-D3E5BC9A7914","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608670$33C8CA1D-9FF5-4A79-B491-8AC89544939A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b75312c7183bf1d220fe1287cc4d11ae32f6bce","datavalue":{"value":"dynamic slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608670$709383E5-CCCC-45C2-96CC-17F8C7BB8A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3ead3f9fdddb0f69b5f70e3532a872639fc5eaa","datavalue":{"value":"causal equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608670$005E2251-350B-4369-80F0-324D0954BA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608670$EFBEC65C-297A-4D55-BBB0-41C0F274DDCD","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":"Q4608670$A136E837-B8D4-49D9-A9C1-1381A47CE2B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2086b6c32c4236cd56a6b97752b0d13e914005b","datavalue":{"value":"W2418583119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608670$48292D55-A04E-4B5B-BF51-8898A38C782F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e4a8002488d0bd902db5ebcfce96ae7a6a92d7c","datavalue":{"value":{"text":"Causally Consistent Dynamic Slicing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608670$CB3DBD7E-B2E6-4764-ADEF-41C34463FBE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"413f4f6b556d316f319dc736b9d80a36c32eaa6d","datavalue":{"value":"10.4230/LIPICS.CONCUR.2016.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608670$6D305E36-D20B-40D0-9410-42200771540F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14bdd69d1c02d0ae66f69dd6f26cd310f887227f","datavalue":{"value":{"entity-type":"item","numeric-id":5429325,"id":"Q5429325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ffab81d4f1f5dbfb71ddf80ffcb04e50b90278","datavalue":{"value":{"amount":"+0.8561856","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":"Q4608670$C284A498-2618-426A-838B-6782524D347D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e10188fc34814694b37ecc9d1e03b259efa2b985","datavalue":{"value":{"entity-type":"item","numeric-id":4031326,"id":"Q4031326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4754d14d9f07b7822092408318b9fd9da8d589","datavalue":{"value":{"amount":"+0.8242406","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":"Q4608670$14E49B15-81C0-4182-B03E-D0C2380D9C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a47c13cbb63114fdfa86a23e3ff2498b238212","datavalue":{"value":{"entity-type":"item","numeric-id":1110308,"id":"Q1110308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3383fd26ca4755918554b81de88ac58fe2ec17","datavalue":{"value":{"amount":"+0.8239728","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":"Q4608670$16A085F1-7D69-4F5B-A429-215268DF394A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aacdc01d57b4067868952446079d8ede1fbfa8c7","datavalue":{"value":{"entity-type":"item","numeric-id":4982092,"id":"Q4982092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8da0246e4dab977b3aa697f9c206f7de27ae5e9","datavalue":{"value":{"amount":"+0.81237227","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":"Q4608670$B91C6D2C-27A8-41D1-881E-4B8F11DB014A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3709cf4db46545b3507acf905a8564e2adbb61cf","datavalue":{"value":{"entity-type":"item","numeric-id":1603535,"id":"Q1603535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5ff5962b8d8e411f4ebd1b1c85a72785985d20","datavalue":{"value":{"amount":"+0.8106663","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":"Q4608670$AA5977C3-7BAD-475F-8423-0DD3E11EE048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c553cbc710287021bb9ce5e19a88392a4af714f5","datavalue":{"value":{"entity-type":"item","numeric-id":2503318,"id":"Q2503318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb8903078095a29d452bce17dff666d62714d59","datavalue":{"value":{"amount":"+0.8079492","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":"Q4608670$42EA06FB-0E10-4EF8-B1DB-46315B78EFF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Causally Consistent Dynamic Slicing","badges":[]}}}}}