{"entities":{"Q1694027":{"pageid":1704768,"ns":120,"title":"Item:Q1694027","lastrevid":72075921,"modified":"2026-04-14T02:29:27Z","type":"item","id":"Q1694027","labels":{"en":{"language":"en","value":"A formal C memory model for separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833265"}},"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":"Q1694027$79C9AC52-96F1-4B96-82CB-D7154A82CF37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b6f930e3ba61a556675d4fbe99085eb8fc4a120","datavalue":{"value":{"text":"A formal C memory model for separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694027$FF0AB81C-B075-4127-A69E-3A47D2289DB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eef93745a730f6ef8dbcbdbbda2593f1dd82472a","datavalue":{"value":"1386.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694027$2888DD38-BA04-4A66-884C-EDDB708FD65F","rank":"normal"}],"P16":[{"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":"Q1694027$58B52881-DA7D-4BE3-A2AE-7EBF44752A66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$F85A24EE-B438-4E57-8F24-DAD5EE90CAF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"383a9803196b62dd313ef881011fb66cc1ed491d","datavalue":{"value":{"time":"+2018-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694027$83361EAF-217F-471A-9A13-6009CC7C4508","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff284d2b9fdfc6880b5d5f664a0cb836ce22fdc7","datavalue":{"value":"https://arxiv.org/abs/1509.03339","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694027$FE7BEA08-136E-4518-8B7F-E1FD4956A3A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694027$56A2152E-9FB1-49EF-A04D-833F6BB554A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694027$E8FF6871-70B9-46A7-8214-CEE53584CD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694027$EA5E9E26-F748-4539-BC1C-AE7D6F586900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694027$ADF76BE9-940F-4102-8A29-E99C507E8F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694027$0D6019B3-0660-400D-8B68-CD08C3D09FD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86de277117893ea7cf2a49aece460d5753ece6cb","datavalue":{"value":"6833265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694027$461D1979-0E8D-4950-9C7A-A0FA54F735DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eb2acaac2e99f14b559be2648737ddfdfacc86f","datavalue":{"value":"ISO C11 standard","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694027$8041CA5F-EDAB-4609-99E7-CA8F2E23831E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0255e72ef8b267131000fc56921e5420cade54a","datavalue":{"value":"C verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694027$A5ABA58D-5F2B-4A7A-BCDD-087C5F42C8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a68c98cef5c6e19b7919633d94f20b3cba6f8d5","datavalue":{"value":"memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694027$78B85674-C348-429A-8467-C1C95D212269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694027$D91F6FAF-AC61-434E-B856-EA7A92369F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694027$AD5E7175-ECD0-4C6C-A5CE-9055B5EAF2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694027$16B83D65-BB17-48AA-B63E-3424DEA0BAA7","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":"Q1694027$DE70F580-4EF1-436C-AFFB-F98ABA3FA610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa786b5c8269f6cf517ad0f032932817c0bb268f","datavalue":{"value":{"entity-type":"item","numeric-id":18875,"id":"Q18875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$8A3B279B-C5E5-46D6-9618-BB70B5B0FAEE","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":"Q1694027$17E3A02B-3F08-4B66-9FE9-580398CC650C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$29598DEF-1F84-4B20-8EF2-41DB5EDE6A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0902bb2ede5a2bfd50bf8c0f49f5ce31952757c0","datavalue":{"value":{"entity-type":"item","numeric-id":20240,"id":"Q20240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$29B78644-0993-4EB5-A09F-734245EDEA6E","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":"Q1694027$CFF403D2-800D-4EFA-B364-3666A7CD5A70","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"63672a12b6b97f0e9e18ac3d375dd20aa451b290","datavalue":{"value":"Q59464114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694027$198EDD08-D207-4FB3-9504-0E4E7ACDE1E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2eba38d3341f089f0a5043d1d429acd0cb7c3a9","datavalue":{"value":"W2233169398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694027$63DF6F09-7132-47F7-B834-9EE466F390E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b72fe38e73fbf7f7fa4482ea5209998f5b5a2d9e","datavalue":{"value":{"entity-type":"item","numeric-id":5195255,"id":"Q5195255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$03631AD2-E04A-464B-B187-507E8643CEAE","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":"Q1694027$461BA736-D566-4FD8-9771-46D745884921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b91bb151cd8a64e803b2a1e144870181c46cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5408531,"id":"Q5408531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$258D7AF4-EEDE-47EB-9976-8B39A4BD573A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c1819ebc3ca4c31460cf0d96175b695d4d4a32","datavalue":{"value":{"entity-type":"item","numeric-id":3087993,"id":"Q3087993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$EC47AF5F-BACF-43C0-BABE-8C3F5DA8BA96","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":"Q1694027$BA5E6673-5770-4B96-899F-B56105B8E65E","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":"Q1694027$C3D2750A-716F-4BC4-84E1-6E6E7648A4B1","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":"Q1694027$14118835-9046-49B0-8174-FCBF3DF40ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44869c61c83d952c42bca31f4480add28534404","datavalue":{"value":{"entity-type":"item","numeric-id":5563096,"id":"Q5563096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$20B28559-F805-419C-9C97-B7F1EAE93540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a98ca8ad947d93065e67feb1362da03cdb7848","datavalue":{"value":{"entity-type":"item","numeric-id":3094177,"id":"Q3094177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$F6A1CFA0-47B2-49D9-8496-F38AD0794B31","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":"Q1694027$F964C688-968F-4E37-A483-20482D1FA0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e14081775351f6e9d8302e29cc683691607c4a","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$914D966C-9DFA-45D1-B753-08770697BA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fbfcea2166cf55628dc74bb062db5b5b011195","datavalue":{"value":{"entity-type":"item","numeric-id":2914753,"id":"Q2914753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$BE7A897B-F9B5-45D1-A08F-C5FBA9222A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532ebc126d26eaf3a312e30cad0136c0ecac4b26","datavalue":{"value":{"entity-type":"item","numeric-id":2938039,"id":"Q2938039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$013EB48E-CEB9-4CFB-81B1-B0238E1049BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef257c6907158cd09f1eab4376f06786a44effee","datavalue":{"value":{"entity-type":"item","numeric-id":5408409,"id":"Q5408409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$98898787-CACA-4D1C-8316-48D195BB2D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8257b6fee84889549ec82b377f6c2a4b013dca90","datavalue":{"value":{"entity-type":"item","numeric-id":5200133,"id":"Q5200133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$0568AB0B-A856-4551-B5DB-6B4E21451952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b6faaada6ba74bacb16f976f4dbdd5286512302","datavalue":{"value":{"entity-type":"item","numeric-id":4910424,"id":"Q4910424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$099D03AE-7A68-44F1-AD0C-EC533BE60FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$ED56693E-63EA-479C-A953-95603B0712B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1588eee2e3fe5979cfd18e3e09df49f3b382d9","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$EE344410-055D-4BB6-A684-13F5CEB58D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7320080d649fd946b7e67f3033f27c27ef65fd06","datavalue":{"value":{"entity-type":"item","numeric-id":5327354,"id":"Q5327354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$C9ECEF38-43FD-4319-9C9A-08B62DB26031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7ca9d7d4c37cba35ad27dfba84e476bdb59d65","datavalue":{"value":{"entity-type":"item","numeric-id":5311497,"id":"Q5311497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$DFF923C6-D5F4-4E66-8F89-949F4A68291D","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":"Q1694027$39B347C9-2144-4483-B3EF-7D1305B02C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd2d1f959d38f53d233ad8132810f541a7108905","datavalue":{"value":{"entity-type":"item","numeric-id":5408532,"id":"Q5408532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$A87D5A04-0BE8-4FE1-9D5E-09295F596932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2dad3e22ff5cd4eecd482eba8f74372fe5ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":4916050,"id":"Q4916050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$7B5E8531-1CF3-4FD2-B789-B6FAD6DC5003","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":"Q1694027$40A9FC15-7622-4CB5-A322-55DAEC18847E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$439352F9-DBE4-4D1B-8CDC-EAB937CBED11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93a85767124c54e4225f755e9f8ef2670b8e1c6","datavalue":{"value":{"entity-type":"item","numeric-id":2819807,"id":"Q2819807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694027$90DCE68F-22C9-4583-B98B-47DFCB60F484","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d276de481b208d0ab04e9041c47903a244f3daf","datavalue":{"value":"10.1007/S10817-016-9369-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694027$52C7420A-E8F5-480C-A145-575A0D303368","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d2d60de175f696dbf3071ccd1c645813304305","datavalue":{"value":{"entity-type":"item","numeric-id":2938039,"id":"Q2938039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98665673f1f85a794647983fea327345c34d1c77","datavalue":{"value":{"amount":"+0.817552387714386","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":"Q1694027$43C70DDD-74B2-4637-A73C-BC7F2A07AB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ea7909e9397407fcbedc7c4f2e8d498454d7b4","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370a97c9b1ed879f3c34b8e02996db63fb173ffe","datavalue":{"value":{"amount":"+0.803301215171814","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":"Q1694027$DEA2EF58-BADD-4266-B139-307F932D9342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe92806a81bbea1cd5444ec3bcbd3de48fd0186","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02393b848e11bc1bad8dfca920b62f1aa3098803","datavalue":{"value":{"amount":"+0.7870382070541382","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":"Q1694027$3C215300-FBEC-40A2-9513-E1B01D95C88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76226d410d47989d1688d51afb596a3303c055fe","datavalue":{"value":{"entity-type":"item","numeric-id":2945624,"id":"Q2945624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d0a49b569213c83b58ffd991f18f649edeaf21","datavalue":{"value":{"amount":"+0.7830473780632019","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":"Q1694027$0B8E15E4-46B2-4831-881C-86AAA518AFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e125d08823e9eeeea82b37bc8cc9a6da32af54","datavalue":{"value":{"entity-type":"item","numeric-id":835768,"id":"Q835768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754b00436cc356041c0c465ede73515cd839d0a1","datavalue":{"value":{"amount":"+0.7597373723983765","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":"Q1694027$1BCFC88B-3E7F-42A1-B2C2-44B9A6D9A9BC","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":"Q1694027$223FE994-D677-450E-954C-F5752CDC56A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal C memory model for separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_C_memory_model_for_separation_logic"}}}}}