{"entities":{"Q6859915":{"pageid":20656123,"ns":120,"title":"Item:Q6859915","lastrevid":84252413,"modified":"2026-05-14T05:39:27Z","type":"item","id":"Q6859915","labels":{"en":{"language":"en","value":"Automating memory model metatheory with intersections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158331"}},"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":"Q6859915$390A0317-8355-4B59-A9F7-E042EE76309B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70e7a1e32aad0f28f8fc37d9278eb3c8861c6a54","datavalue":{"value":{"text":"Automating memory model metatheory with intersections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859915$FADED6AD-FC77-4FE9-B4EC-4723D41CD4BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3d2a057e2778f974f84421f9930ecd0e24b37da","datavalue":{"value":"10.4230/LIPICS.CONCUR.2024.33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859915$043BAD28-6103-4116-9D1A-02CC0E82A7A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1702de0d899d8a74697b13cf0d6eb2b6c5a20b71","datavalue":{"value":{"entity-type":"item","numeric-id":6859914,"id":"Q6859914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$57D8B287-598C-4EB5-BF7E-549760E9CD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"040739a4cdfec9d100124c1b9260bdb934c6c375","datavalue":{"value":{"entity-type":"item","numeric-id":6535343,"id":"Q6535343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$FF721B08-E739-4B76-8529-185283C40DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d1948b4a2322fe9397f00e40ae794a937c1ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1664149,"id":"Q1664149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$07AC39A4-805E-4601-807F-00823AD01DE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859915$EF5EABCE-4C3D-44C6-9968-9E0126715F46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859915$C6DC59D8-D240-45CC-9AC6-23A911D53BA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3805d1166126ba0e29a3ea57c2faa34c24b55ecf","datavalue":{"value":"8158331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859915$B150B43F-F14D-454E-8F27-6291A5CCBA43","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$43E6FDDB-8089-4ACF-96C2-D7A883397968","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859915$0DC37977-9C6C-4367-8779-9F47768D94CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9050ced9d3aa3989a9247249531599596448f01c","datavalue":{"value":"weak memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859915$DFF6A978-1FE2-4DEF-B555-B11C04DDC8D0","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":"Q6859915$39D3C6F4-C51F-4A91-8953-01F21BDAA116","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b389e8c32260009cee4925d8f6ead645371e32","datavalue":{"value":{"entity-type":"item","numeric-id":5408410,"id":"Q5408410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$6060224A-1C29-49EA-8A51-87C57EA425C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974ecd8f41629729af8d58aa2a6d8cff75f6bcba","datavalue":{"value":{"entity-type":"item","numeric-id":4635792,"id":"Q4635792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$F8BA9D5C-5216-43C8-B982-BC590F594AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$36536098-2DA1-4ED9-A487-48D39F11E394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f2c5bd3751a51585b1dbbe011b98a4eafbff4f","datavalue":{"value":{"entity-type":"item","numeric-id":674338,"id":"Q674338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$4AF032C7-BD16-4796-AF71-4EFE2F1174C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$C2EF23EF-E2ED-4086-A712-AB6B995B2565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c31b5b7a3a6c82349713c5f0a561e882b0ebc7e","datavalue":{"value":{"entity-type":"item","numeric-id":4635629,"id":"Q4635629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$2F5C473B-59B4-4123-B555-EC44DD99395A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$E4A0BF42-634C-4785-B93E-660BFB13D6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02b746b69996762e46531571b25327e3d2075210","datavalue":{"value":{"entity-type":"item","numeric-id":5410476,"id":"Q5410476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$43752734-A132-46A2-8851-C11DE25B530B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$87607820-F777-4F85-9159-2987F2097CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8efa5cfc723c2d16deb93f9ef1dee93a2e7aad","datavalue":{"value":{"entity-type":"item","numeric-id":5875403,"id":"Q5875403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$31112F7E-FFF4-418C-A57B-CD4DE0CCB6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$6E13E3E4-6688-4CD7-9861-951B4E47F712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79042352a972b83e2a13081170df238ccbf0750e","datavalue":{"value":{"entity-type":"item","numeric-id":5145360,"id":"Q5145360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$2707558D-D79E-43CA-ADE5-5B84B87C0CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb93511f77709cf77419e114139d5ea0ff70184","datavalue":{"value":{"entity-type":"item","numeric-id":4023983,"id":"Q4023983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$46301AED-EA3B-4626-B41B-BA5EAAA8B6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc79a0d6f92d4b9fc6b619756b7152c5b278595","datavalue":{"value":{"entity-type":"item","numeric-id":6166804,"id":"Q6166804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859915$9087E620-BBCA-41DA-BBC1-34D84272E726","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automating memory model metatheory with intersections","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automating_memory_model_metatheory_with_intersections"}}}}}