{"entities":{"Q6889897":{"pageid":20835916,"ns":120,"title":"Item:Q6889897","lastrevid":97029995,"modified":"2026-06-05T13:04:52Z","type":"item","id":"Q6889897","labels":{"en":{"language":"en","value":"Idempotent resources in separation logic. The heart of \\texttt{core} in Iris"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8131385"}},"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":"Q6889897$D99E9258-435A-4A31-B6EF-8569D58648A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2a335fbf1cf3d58f9902af75d9bc1516080eea6","datavalue":{"value":{"text":"Idempotent resources in separation logic. The heart of \\texttt{core} in Iris","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6889897$9BF1A5A0-944E-45FC-A76D-02851A14076C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5da77e8a3f6623b7362c29b4402e0e1075ed8d21","datavalue":{"value":"10.1007/978-3-031-90897-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6889897$41EFEDDF-C79D-49B2-B233-90B0F69BB24E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"688ab5914c55cb17c5dce51a440b79b1611d2ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5072608,"id":"Q5072608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889897$9DC85B65-94B4-4AE9-B3F4-9155B7CADA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3e6617ebdbe01936947ab1201eeef5d62e5ff9e","datavalue":{"value":{"entity-type":"item","numeric-id":6889896,"id":"Q6889896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889897$2D6B9BA1-2995-4AA5-B677-C4A5F58EDD9F","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":"Q6889897$E2245E61-38A0-4CB0-B0DC-905A26B62F22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fcb6b1f2d2c7e392377c9a4c2df3e14c0322b86","datavalue":{"value":{"time":"+2025-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6889897$9C165C7C-62D6-4F5C-81CF-39371A849A03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6889897$82E4FA5D-905C-4CE6-A1F6-D5084E1C4185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6889897$93A9432F-FFDC-42C2-9D4D-91A70BB6B0C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"548289d18ac30ac826a6cd1ebe0cc42c83cf314c","datavalue":{"value":"8131385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6889897$087FB1B2-1F4F-4803-B4F5-51C7D26A2BB7","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":"Q6889897$047F714A-63ED-4EA7-96ED-E3C503242C29","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":"Q6889897$867BF0F0-B134-4E4C-86ED-14064251312E","rank":"normal"}],"P223":[{"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":"Q6889897$9B8F9A37-88FB-41E1-A1E5-394F0CAC4492","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":"Q6889897$956634CE-52C2-4FDF-B6D6-14B6CD8C0082","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":"Q6889897$2F7615FC-762A-414F-83A3-270E3278187F","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":"Q6889897$CFAF2C4B-7C6A-4044-B9A6-2170F0C00917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889897$9C6831FA-8BF4-48F8-B901-7CC4D8C990F5","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":"Q6889897$9FCB6AAE-61AC-48C3-AA22-06415EA7B857","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":"Q6889897$0CFE7B13-3325-4F9A-B5BA-2F3E0D27E8D2","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":"Q6889897$46D9A073-8A72-4379-8C97-16267B0EB25E","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":"Q6889897$3CF2A39E-9A1A-450E-9A33-810736D5C273","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":"Q6889897$746699DF-CDEC-40B1-B2D4-3C5F6A1A7A80","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":"Q6889897$C54102AD-3155-4ECE-B21A-A5843451AF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889897$E058DAC3-CCE9-44CA-AD47-1C8EA1731327","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":"Q6889897$4D8755A4-FB09-4720-AAAA-3B848D7C0089","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":"Q6889897$6F63F4B0-62AB-4A0E-80A5-7926E7D6FA7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6889897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6889897"}}}}}