{"entities":{"Q5875940":{"pageid":7905491,"ns":120,"title":"Item:Q5875940","lastrevid":97593731,"modified":"2026-06-05T15:03:44Z","type":"item","id":"Q5875940","labels":{"en":{"language":"en","value":"A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650597"}},"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":"Q5875940$4A1A223F-BCE2-45ED-A8C9-1A64E7D2DC1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d85ceca6af2cf372d8f48449bb9d6d8df8faaf76","datavalue":{"value":{"text":"A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875940$59A41F96-00F7-43B1-94DF-48757C0F7222","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5c418f97fe1264584515d6a0f0679864d234e28","datavalue":{"value":"10.1145/3534927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875940$C23A2173-6D96-40B9-A314-C9B2771F348A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6540e32a203254877553aac5eab75fd0bcfef04","datavalue":{"value":{"entity-type":"item","numeric-id":832286,"id":"Q832286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$8849A6CD-76F2-4039-A572-59D49E6D5C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b016e388f1a5f7d3b891adc78b7852d18385b1","datavalue":{"value":{"entity-type":"item","numeric-id":2233485,"id":"Q2233485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$FE30DE3F-7409-4B8F-98E2-AC39AB6F8D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$A4C10199-26D0-4B16-B1DA-01045441AA38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$C01A13D0-CA15-44F6-A4DB-F855F13A7D3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875940$B37786CF-7CEA-4578-9E62-8520B7130B3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c6e09c390726630f2056b669c3ca7d99c530309","datavalue":{"value":"https://arxiv.org/abs/2002.01202","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875940$4FE1FC3B-C073-45E1-8FBC-A3AA8B095F36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875940$50728B27-3643-4C22-9E38-D3C74CA2AF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875940$F3D40C8D-EF3A-4C7F-B88B-A78CBDA0DD24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3146903b4476774ea16bbb1c4884c8ffc627fa0a","datavalue":{"value":"7650597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875940$7C4390E8-15FE-4F31-A0C3-0A49BE0BC1E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875940$EB67A176-BF7B-40C8-B617-735153408701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875940$2D35B93F-2696-4890-8D8B-55D315BF9449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91c9b8c6bea8347735b8e8ebbb103091e17ae0f6","datavalue":{"value":"magic wands","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875940$48BDE764-0A37-4961-B3CD-1FFD6FCC5FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec380ca252be3c5f710d69356f4a05c9923ebeab","datavalue":{"value":"inductive predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875940$8BCF830D-D87C-45D8-8B28-C10D011D40F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e47592440e04a1e61ab8f17475438addb7cf331","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$AAE6F5B8-CDCA-4600-BEEA-0C4BA59ADB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6567c812177fcc4c44bb1b816660b403d9321c","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$D66C061B-843C-4DBD-B868-C815CC494D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b6c5340834f4f7b9bbe21fb445e13b3adc2939","datavalue":{"value":{"entity-type":"item","numeric-id":35077,"id":"Q35077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$CFB39DD9-B9FC-4AF4-9082-C3A6D7EE313F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50703cd05e2859946ec4c082f410f58ddf7eb379","datavalue":{"value":{"entity-type":"item","numeric-id":5410687,"id":"Q5410687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$4668B062-9E05-49ED-BFEE-255C253A86E8","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":"Q5875940$6DE16C75-92EB-4BE0-940F-656C4683CE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a6823e76c11ef1f853772c882ad2f84a6d8b84","datavalue":{"value":{"entity-type":"item","numeric-id":3292904,"id":"Q3292904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$599A056F-F4D1-4CDC-8659-6DA6DF9D8D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd073d5f1b45c21954c5cfcc1b9243be226d02ac","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$BA718253-1FF1-4A25-9DDD-6EAE01AF6BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c642b8a2a51ea751f61c4db5e751f89086f5237","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$A441D8DB-568D-414D-865B-B1E65F810C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$0B8D1124-1026-4BAC-8D4E-2625FCEF7A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d092ce03f7e86d9996ef530de2a740a2f8c08","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$84DF9E50-C415-4CBE-B1EE-573C9DA8A64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9e8e1fe138d59390014af6d7c1a08c93029421","datavalue":{"value":{"entity-type":"item","numeric-id":3611996,"id":"Q3611996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$24562E4A-C2C1-41D8-8395-CF148FD3B185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329632390571b70c858fb813a0e714410ba89992","datavalue":{"value":{"entity-type":"item","numeric-id":5200020,"id":"Q5200020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$B8DE27A5-32DE-4BC4-8AC9-EFCA4930675B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720ddbc225606ec696668d2945dfac90af50e274","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$FB70A1D9-D313-4F90-AE7A-82927FEA962C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8784f04ba7ff77200b6106c99ff63b784f2c1d","datavalue":{"value":{"entity-type":"item","numeric-id":3613386,"id":"Q3613386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$7468981D-E7A0-45BE-97B0-0B2BB3BFC0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17d0aa6de1a3c4e838a8fa4c7fc5c6cc0f20445","datavalue":{"value":{"entity-type":"item","numeric-id":5395670,"id":"Q5395670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$58C0B9D8-4601-4ED6-A426-63A2683A6BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef7590ac163e04f88fc79c8e41f44e7fea181f","datavalue":{"value":{"entity-type":"item","numeric-id":4474211,"id":"Q4474211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$AD2F3FA3-6D83-469B-AF1B-61DADA59FAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625d0e546f584fff0965159489d2fe578acb6ad4","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$1C1640F5-798E-4F5B-83FA-D81DD3169666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cdaf4c19240161f084c8bd06e024f4fa42c69e","datavalue":{"value":{"entity-type":"item","numeric-id":3090833,"id":"Q3090833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$0C032A8B-FBBE-4251-AD9C-EA181A9EE3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$78027932-6BD1-4800-A0BF-B91E12105967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$F1CD270B-498B-41B2-A775-EA576B813CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2668941b9cbb4011fa79194e46bde158d377b1a5","datavalue":{"value":{"entity-type":"item","numeric-id":5121270,"id":"Q5121270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$A3A50C71-CCC4-4B9C-A3D5-5389590B5605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad8c79df9be7434470d2f99510ebe66cf515365","datavalue":{"value":{"entity-type":"item","numeric-id":2055854,"id":"Q2055854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$F1CC73E5-CCCC-4EAB-AB4A-1E8CFA118A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$32B6FBA6-B368-42D9-BFA0-E6861821FB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dacbb7b14dcb3672700d9db550ae5fb6adc5c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4928426,"id":"Q4928426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$8BCF5053-0EBC-418C-90DD-11BBC269A800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37eafa32561bedd2503fc06cf62f87454a99ba0b","datavalue":{"value":{"entity-type":"item","numeric-id":3457790,"id":"Q3457790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$B0ED73E0-E174-4406-9E46-2C574C1D8261","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":"Q5875940$2A992A04-52B2-41A6-9398-C0E32DA84BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fbb642cd648c1a7a27f9c766d1ddd2f59e48d8","datavalue":{"value":{"entity-type":"item","numeric-id":2988661,"id":"Q2988661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$DFE878B5-96D4-40B0-974E-13237E361DC2","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":"Q5875940$6DF5CECF-0DFC-45AB-A59F-1C78627E1CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fe6c09f3638fc1b3688c4d3e71e34c7f5bfa9b","datavalue":{"value":{"entity-type":"item","numeric-id":2164251,"id":"Q2164251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$F5B72C34-E4E9-45CD-8FBD-F21E6BEA711E","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":"Q5875940$1B34140A-415B-4D80-9C98-5D58ED8456E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b6d9f27c6ecf578fd8f995c38dec75fd90fdd5","datavalue":{"value":{"entity-type":"item","numeric-id":2281658,"id":"Q2281658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$B2BEBDB3-41B0-48A8-A6AE-78D5D415DECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2205cfc4873b2d93172d2dfcddac456527b263c","datavalue":{"value":{"entity-type":"item","numeric-id":2414251,"id":"Q2414251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$62ACC9C1-8CA2-4E8B-9E39-F8112E1FC5B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"101cc42e2ce1fda0eba4e4e50b6e4daaef6c81ea","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$39D9BCD4-4427-4D8E-A6BA-ABA2F58345E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$8FA6B897-69CA-48C5-8BE4-FC1D0CDF2560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c38d7d9c9f3af17c25a5c6cf3800ef2ed92e522a","datavalue":{"value":{"entity-type":"item","numeric-id":35077,"id":"Q35077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$48CEBA1B-97D2-48D0-A84B-2BDF2D1E1262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b9afd1e8fc349d198c89a22f85926ff81edbd463","datavalue":{"value":{"entity-type":"item","numeric-id":26932,"id":"Q26932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$811C66A2-FE2C-437E-9C15-7E20797BDEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86e863a5050d80bfffa55dffe8141581cefb24d3","datavalue":{"value":{"entity-type":"item","numeric-id":40256,"id":"Q40256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$193E3D45-026F-409C-9214-2ACB7745B91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da473e069d657f6312622e5621b040a55a3a4367","datavalue":{"value":{"entity-type":"item","numeric-id":32676,"id":"Q32676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$EFF5572F-E087-4C76-A08C-7242BBFF7DC0","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":"Q5875940$146B1687-C426-4C62-8B6D-83DE9AC160FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fa686058812d62cd4fdb582e175396a9f36cf7e","datavalue":{"value":{"entity-type":"item","numeric-id":21691,"id":"Q21691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$3F99EE18-5EA6-41CD-8901-B65C4AB8978E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875940$8C2C55D4-CF6F-4610-8884-6674BF80A41A","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":"Q5875940$77E753BF-19D1-4DA5-9F33-990DE9485B5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f1ea86640a4dbbcbb9ecb07a58b574fecc990c4","datavalue":{"value":"W4296613475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875940$B8EE4190-A975-4776-9CB1-1AF9E58E9719","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7f764583dcab0116dd22837db85109a292a1a9cb","datavalue":{"value":"Q130807642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875940$C32F751B-BD60-4567-9253-C32F0DC014B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions","badges":[]}}}}}