{"entities":{"Q4625160":{"pageid":6654742,"ns":120,"title":"Item:Q4625160","lastrevid":97930031,"modified":"2026-06-05T15:50:09Z","type":"item","id":"Q4625160","labels":{"en":{"language":"en","value":"Iris from the ground up: a modular foundation for higher-order concurrent separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7027030"}},"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":"Q4625160$0B325979-9546-4476-A35C-9709B608BD63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"622de39e12024c71f3fa1f46743016618f473bcd","datavalue":{"value":{"text":"Iris from the ground up: A modular foundation for higher-order concurrent separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4625160$C3189FD8-EC96-4354-80EA-20E20875F6AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fec235200ff1158606ddd2c69210ef9c8d5fdec3","datavalue":{"value":"1476.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625160$846646A8-31E7-4249-B079-3EA0B5BE4FDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed71ed77ac3c483d0e110f146107f4bf49a6b230","datavalue":{"value":"10.1017/S0956796818000151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625160$890D4111-CB86-48BC-967D-639DC863823C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4ac7c2bfaf82ba55b6a35abd98376a3b7761778","datavalue":{"value":{"entity-type":"item","numeric-id":2819851,"id":"Q2819851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$1D9E28B1-12C0-430B-9A64-3451E6CE7230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d784fe6cc5179886bfe36c86ddc8bdd92ade5a26","datavalue":{"value":{"entity-type":"item","numeric-id":549190,"id":"Q549190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$82AC8AE8-F42B-4BB0-9C76-C2D6954B4A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95adf6d56afbfd4ae328bf851da3bfec0b11905c","datavalue":{"value":{"entity-type":"item","numeric-id":1650958,"id":"Q1650958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$9DF4E458-577B-43C5-B18E-D2E8F778A88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2574135da41ce8fb8efa05f8438741fa998b3","datavalue":{"value":{"entity-type":"item","numeric-id":1704598,"id":"Q1704598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$D9C68F87-3880-4BD6-9CB3-F9A4312B07CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$1881E6FB-AA96-4EBA-9B00-708C499ED2A4","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":"Q4625160$04240D7A-CBF8-4A4E-A0C8-961AEF546A17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$272669DD-F9BF-42CD-B8BC-701FD3C0E32F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2abc0aefb7bc0228c8adbe9d8dd479925c1b7f9","datavalue":{"value":{"time":"+2019-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4625160$F9AB621B-CC3F-46DD-B8D0-0938FC44BEB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625160$0B2DD905-10A9-465B-A8D7-AA04A76FBBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625160$593EE5D6-DB56-4E48-94F8-4D17F783C3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625160$213B97A2-C371-4C2A-9D4F-CA91EC37F103","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30927bba803006d1aabdabbf5c536ca6ab91b56a","datavalue":{"value":"7027030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625160$19DEA68D-CD8D-41DF-A024-BC6913BBFAFA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$DFC85350-7ABA-4D3D-82FC-86508615F486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"680e59220dfe1fcd219f2cf87836af5e1d29e43f","datavalue":{"value":{"entity-type":"item","numeric-id":5974505,"id":"Q5974505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$37DA05BB-0DF0-42F7-8313-3FDBF1171501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ee2575b4b00dc5c48fe05a1a87740d06a1036d4","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$8275B8DA-4997-4FE8-99B3-E0A1CCE2504A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aae4a341f2165ae10b6807dfc73e6755deed7bb0","datavalue":{"value":{"entity-type":"item","numeric-id":5974297,"id":"Q5974297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$5D494431-1266-4A83-9D76-593417915656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7de3809e549ab622397ccc7caf8aa4227aa8390","datavalue":{"value":{"entity-type":"item","numeric-id":40151,"id":"Q40151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$89B9104C-C99A-4B79-8DDC-18EA41DAB3FF","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":"Q4625160$3EA4E3E5-C002-45D7-B6AF-6BCF2D6291AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$703BEDC5-F50D-43AE-9A09-CC853F382DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46319975d5f428b28cf95457785c347fec2d0df","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$CB3237FB-0BB6-45AB-8A0D-BC27A8015A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db60aa38e98e0710c59268a6db48219f49912366","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$FA460368-5D61-463B-8A8A-AE07D476FBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c166cfe0e3a05c6a84e2be26185c9beeb7d177c9","datavalue":{"value":{"entity-type":"item","numeric-id":1215264,"id":"Q1215264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$B8807A97-93D9-4715-B72A-965246D173C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4417b978f8fa138cda592114522a8de6c0bf3bed","datavalue":{"value":{"entity-type":"item","numeric-id":5410696,"id":"Q5410696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$851AF63C-5D33-4574-B798-3C0DA4A40B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09b3091108c83af9f420dcf6fb2ccd5964c49c8","datavalue":{"value":{"entity-type":"item","numeric-id":604478,"id":"Q604478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$7DF8827F-E8A4-4383-AE87-2E2B5C771A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6456459239ab3bc5fb70e6036ded27e15251da27","datavalue":{"value":{"entity-type":"item","numeric-id":3166222,"id":"Q3166222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$1720A68B-CBE2-4DC0-AA69-563AA67EA6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c295600ea1f8d0da9510a70a5580ad44a2f70c4","datavalue":{"value":{"entity-type":"item","numeric-id":2130583,"id":"Q2130583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$58794D45-D4EA-4675-AA02-910595752632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$0EB864C6-14F1-4994-8EC4-9ABCB80E7798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6f86e69e4182fe9dee7c3758ceccac77217422","datavalue":{"value":{"entity-type":"item","numeric-id":4813391,"id":"Q4813391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$387F3DA7-8452-48A8-A1A4-5EF719097E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$593E38BA-833D-49DE-9DAF-DE7A4BC1057D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a2e1ce4506e86743a2f078e8b0fbf6f0360fbb","datavalue":{"value":{"entity-type":"item","numeric-id":5739354,"id":"Q5739354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$DFC48721-BAAC-4415-A159-9CE66B73DEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c31b4e39a2881817f031fb3c565f06a1ff2a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5055998,"id":"Q5055998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$6388669C-CF0B-422B-B767-BADA1D788EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1025ab253a60ecda840fd49cbe00b5fa9ba0a","datavalue":{"value":{"entity-type":"item","numeric-id":1648035,"id":"Q1648035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$F6E57678-ABC8-49F5-BF56-223AD994A95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8465229f1314ca485971299fba6aa8e5b3b8a447","datavalue":{"value":{"entity-type":"item","numeric-id":4435467,"id":"Q4435467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$74FD12E5-A402-4F23-A56A-65A53405C219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$0163E029-ECB7-424F-9CAD-E0506EAB1D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127db5097e77e5b4edc8afc4e762efcd27117ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$6066C751-BE4B-4563-88B3-C4E71A13ABF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4c6dad6aa248e0994fb657689505ee2c8c74091","datavalue":{"value":{"entity-type":"item","numeric-id":5415628,"id":"Q5415628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$CB0C33BC-C456-4348-BADD-0635EBBF03BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408dd153356546cf4f54bb5174901182b587cfa6","datavalue":{"value":{"entity-type":"item","numeric-id":3617714,"id":"Q3617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$247DE441-93D6-45BB-9F55-2E4E623B3D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b55fe80b836bdbacc3e30271106de59dfc5a01","datavalue":{"value":{"entity-type":"item","numeric-id":5255072,"id":"Q5255072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$E41FF28D-62D0-4589-BC8D-CC4BA097810F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2889d04761e06240c487cc63b75905e4a3cf42","datavalue":{"value":{"entity-type":"item","numeric-id":5261529,"id":"Q5261529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$AA49F93E-10B5-423B-A5CE-25715D54573A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70434bd037c21613c35cc4a429ac64d577db822b","datavalue":{"value":{"entity-type":"item","numeric-id":5756496,"id":"Q5756496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$95752B81-1059-49A1-AC3F-611CA2A82F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33c59c6f656ab94cbecb956a44c846cecea9cd9","datavalue":{"value":{"entity-type":"item","numeric-id":5145319,"id":"Q5145319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$7F99DD7A-2AE9-42A9-8FEA-DEF0E1961B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38af6ae3b2167fc11bf7bef322bf34785822f686","datavalue":{"value":{"entity-type":"item","numeric-id":3584944,"id":"Q3584944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$A61B5B5D-D8EF-4EFB-8F88-9F8EFBD1F82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6dee845aa2fb3e3b96fd0f5f996675d409056","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$77B4FB60-FE26-4729-B01C-374BDAABC776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db457c46a75b20727f84612ba0607e2d094d824","datavalue":{"value":{"entity-type":"item","numeric-id":3498431,"id":"Q3498431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$28AA94E7-E9AF-40F9-813D-58D6AC935ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de173836c028013896cd8bf3b02fa6e12262641a","datavalue":{"value":{"entity-type":"item","numeric-id":5458409,"id":"Q5458409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$34B87A38-1A19-46D4-87AF-513D1E147AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69df4c8871ee1b06727e4f90de98f0e5508859f","datavalue":{"value":{"entity-type":"item","numeric-id":5255071,"id":"Q5255071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$053DC110-F4D5-4E71-BB38-15CF80FD33A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$07453360-C40D-40BE-B433-80ACFFE45163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62dbcc40dd481ea33b59d3f24813ff0d501fbcdd","datavalue":{"value":{"entity-type":"item","numeric-id":2892740,"id":"Q2892740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$E7C79634-0A16-4692-B021-664DAA505E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1620bc79adffbb9b0f00ce2b11a84d197fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$3FA651A2-8346-4126-A688-8A05AE236536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9e4d418853bd2f740df9013cb7e6d403808721","datavalue":{"value":{"entity-type":"item","numeric-id":2985775,"id":"Q2985775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$CF178F16-77D8-404D-AE00-CD9F28FC33CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$8AB11AC7-EFFF-4B7A-B118-8055F5FB3403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5bc0e3eba9c0ba237df4d31d84fac3bde0d1fd","datavalue":{"value":{"entity-type":"item","numeric-id":2539417,"id":"Q2539417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$25C2C064-2F30-465C-A3AC-8507DC5F627B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$E9758C31-15D0-445C-BB63-EFAEB8AD4F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed61338c8ff56191aea0588b04cb2088071ef44d","datavalue":{"value":{"entity-type":"item","numeric-id":2988664,"id":"Q2988664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$63B3709E-60FB-42D5-BDDF-46F65AF0FD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3593a8185934efd3c3a0c5440c6a3f97f0809e06","datavalue":{"value":{"entity-type":"item","numeric-id":5370856,"id":"Q5370856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$60B7E523-5A72-43F9-8404-23AB4430219B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$19E2E1F2-C6B3-4A24-8C92-2AD998C3B07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e00bee023699b02d73cfd3a44732dabe937225","datavalue":{"value":{"entity-type":"item","numeric-id":5168881,"id":"Q5168881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$5FC1D634-1D57-4CC6-8D7D-3A52A0ED0617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b681a65ada81de2ed1c1487277cf09c6c785f330","datavalue":{"value":{"entity-type":"item","numeric-id":5370857,"id":"Q5370857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$4C549075-22DE-4443-9602-4B0194DCEC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$96064DCC-EF74-4ADC-907D-82EDC024C357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2934261f50a1e0b490a2bf100b0d26006aa930a","datavalue":{"value":{"entity-type":"item","numeric-id":2931839,"id":"Q2931839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$2B5438CE-8A13-4708-9883-5EB793369C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422aaa623eb5f87aeca9f244e6f007c7eb8ce2c","datavalue":{"value":{"entity-type":"item","numeric-id":2796035,"id":"Q2796035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$4C1F40CE-BB5F-4A16-A315-5B90129E2978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90600d640bf241ff0996bc9c4593429acd22ef8f","datavalue":{"value":{"entity-type":"item","numeric-id":5410705,"id":"Q5410705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$795741F3-6533-4646-81DE-1E8AD175FB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$0FAEC0BC-03CD-4913-BA98-C6A150785CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$1343886A-BC6B-4103-9399-F0899BB71B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$29D35A76-AF53-424E-8D8A-F24499A01A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29af673f4a669652d180b9c8b8cba5dd28d0672","datavalue":{"value":{"entity-type":"item","numeric-id":4912884,"id":"Q4912884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$4CE034BB-743D-4FA0-8930-CAADAB0906D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbae59cabb692e5aadee25ba2669315a1892bf3e","datavalue":{"value":{"entity-type":"item","numeric-id":2802440,"id":"Q2802440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$8607F718-E150-4F78-96D5-D67DE30711F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc734969332adab85b3154962e23089626b98e0","datavalue":{"value":{"entity-type":"item","numeric-id":3075239,"id":"Q3075239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$1F88B82B-4F3C-48BE-AF33-06D83C42946A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d568636dc034cf5bea0b01c0319383e3edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5410698,"id":"Q5410698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$ECF7151D-31E4-455A-94B5-E2C659B8811C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f03a207ab266f9a3e76128ee5e5e6d36619e055","datavalue":{"value":{"entity-type":"item","numeric-id":1791202,"id":"Q1791202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$3721B224-8DB9-4C3D-90BC-D6BFDCE9DE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2fc056175fb700aab013dfe495e26d2fc50887","datavalue":{"value":{"entity-type":"item","numeric-id":2988673,"id":"Q2988673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$8B327F72-9F5E-4942-B436-8DF8AE0299A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928940c82f5eab2df5a1704d32409a802ad3f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5244818,"id":"Q5244818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$63C10FA7-6536-493A-93C9-D38C88ED38F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$A639B78B-6617-4B25-8344-08BB20FD9A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48af5adf09c22725f6f724fe9db0206a76af8fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5464658,"id":"Q5464658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625160$9FA8FE6A-1B3E-47AF-A2F0-693EA27279AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"593c8addd9ba9846c0672e2669b72160802b76e6","datavalue":{"value":"https://doi.org/10.1017/s0956796818000151","type":"string"},"datatype":"url"},"type":"statement","id":"Q4625160$C5904304-DDC2-472F-A774-743DEC314D88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9bad45da6cd72d79fab3461fe296254c18d5593","datavalue":{"value":"W2901454403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625160$A2663E25-1577-4239-BABB-0E391FE60019","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c7ed651432b3d0c2b5aedb3afbfaf4fc7055f9d5","datavalue":{"value":"Q128902034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625160$9CB97663-53A3-4D5D-BBEC-D8E35CF5F205","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be0a1b701db6fca2da35be5fdb6e7b38d0bcdb1","datavalue":{"value":{"entity-type":"item","numeric-id":2988664,"id":"Q2988664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f6f657a99391138e9706111f4ec84d9074d913","datavalue":{"value":{"amount":"+0.8345678448677063","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":"Q4625160$29F15BB2-AF4F-47C2-BA3B-72C9BD6EAE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e935ff212fe25cab8a9ebd7195798f731e602338","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f10c253a6e7c0a3b035b9bd1013787265302ff89","datavalue":{"value":{"amount":"+0.831863522529602","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":"Q4625160$1AB66FF9-D79A-4130-9791-5972A0662F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55d40f9656f79cb943f1db96ffd80edd18eb3b8","datavalue":{"value":{"entity-type":"item","numeric-id":5370856,"id":"Q5370856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46dc978ef18f97824ace5fb621064eb7c2553d7","datavalue":{"value":{"amount":"+0.8024536967277527","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":"Q4625160$BA3C95CC-EEC1-429D-A6CF-5C42800BF860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea707a92839418bbead6b85e30137ab954e21d23","datavalue":{"value":{"entity-type":"item","numeric-id":2985775,"id":"Q2985775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082f6dfdf1af5278f4cd28dd3ae6cfc8825854fe","datavalue":{"value":{"amount":"+0.7807380557060242","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":"Q4625160$C16CDF8B-1D04-4BEA-A7E1-C6A3AC0630F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"150351cfa2021d49b782c50c9d92a501bbc951ea","datavalue":{"value":{"entity-type":"item","numeric-id":2914751,"id":"Q2914751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39d0d88796569cb039f8544d284afbbbbd061af","datavalue":{"value":{"amount":"+0.7478195428848267","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":"Q4625160$34670994-B8E4-45D8-AC23-DB9D9EDEEC21","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":"Q4625160$FBC2158D-AB11-4934-AA3F-263EF00CC034","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iris from the ground up: a modular foundation for higher-order concurrent separation logic","badges":[]}}}}}