{"entities":{"Q6091213":{"pageid":13225520,"ns":120,"title":"Item:Q6091213","lastrevid":58674690,"modified":"2026-04-06T06:56:49Z","type":"item","id":"Q6091213","labels":{"en":{"language":"en","value":"An efficient cyclic entailment procedure in a fragment of separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770351"}},"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":"Q6091213$D28096CF-9847-430A-B288-9B6EAC59DA1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04489b80b3352570965c86e8a8a65d2337f144bf","datavalue":{"value":{"text":"An efficient cyclic entailment procedure in a fragment of separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091213$3C6E3301-9D25-43BD-B09D-8792E9E1B7A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3b65e79cfc2c6b35413606aa6c118e5dd8b8ff7","datavalue":{"value":"10.1007/978-3-031-30829-1_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091213$0B4B83B8-4C4C-4FCD-B619-74162451A8E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a423a466fbecbb20f333bdb71f0b06a2cb01ab3f","datavalue":{"value":{"entity-type":"item","numeric-id":2234105,"id":"Q2234105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$56D114E7-216B-4517-94B6-634D68F67AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9066997d32927e39573b304f6461a45db84a2141","datavalue":{"value":{"entity-type":"item","numeric-id":6091212,"id":"Q6091212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$39F79B47-F501-4D42-91EE-913FE0B6F39A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$0312ABE1-2790-4951-B393-E749BBBCEC36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091213$A42B3C20-ADD5-4C65-A43F-2EA48F636B69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27a50ac03eb7d21be18789606e17f4cde6b8d5b7","datavalue":{"value":"https://arxiv.org/abs/2210.00616","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091213$85839E8A-F947-4F97-BADB-654FDE0EF9ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091213$ADAC3880-C37C-45D8-9C74-1ED5E39B3855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091213$1484B911-D08C-448E-9A79-E58D4822D500","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14078cdf2e3c8d260f575d0852cc81669ee3eb99","datavalue":{"value":"7770351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091213$9563CA1E-3EF2-432D-A753-54F1B10C0173","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091213$8D9B9DA7-48C7-4345-A8B7-31C5EFC66134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a1f4c37764d17c03eb6a8ed7a83e46b3022563","datavalue":{"value":"entailment procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091213$C32192A2-812C-4516-967B-BDE9F1A39E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091213$D9393419-4715-42E2-8507-B528CB99CE86","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":"Q6091213$D04B2E57-16C8-4F3B-A7ED-C8CA4E95528F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69e6808721f6eb5401ff2ac9d63c31b4411c2cfa","datavalue":{"value":"W4366503835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091213$621A260F-E294-4448-A7C9-DF453E30C50E","rank":"normal"}],"P223":[{"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":"Q6091213$256E792A-4339-4483-9102-C84CF6B6350B","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":"Q6091213$2BB2BEA0-006D-417D-BA57-9EE2922C5942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdb95959b57456fca08b117071e35f64c5d31a6","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$38CCF843-A46B-423F-A06F-A9E9CFDEC832","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":"Q6091213$2D0073DC-D1FC-4D3F-8712-1385CD3EF228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$537FF6BE-C8EF-422C-905E-5CEC13E01AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f19fc1c633efcbf489064180e45547c3ea8ec0","datavalue":{"value":{"entity-type":"item","numeric-id":5111651,"id":"Q5111651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$1BAA06E9-51D2-46FF-B5CC-2C05CAEB2348","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":"Q6091213$78B449B2-9D01-468C-B2A2-930620311F99","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":"Q6091213$BCEE16F7-BDD8-4C51-B2D0-C82888BDFA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368bf4ecb2388b08dc88ab0d9e511f68e0c62478","datavalue":{"value":{"entity-type":"item","numeric-id":1688543,"id":"Q1688543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$C0F21C51-40D0-482D-BA7C-3F466ACDBD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53a698547733b150b7c94cdb425c4289080ccd6","datavalue":{"value":{"entity-type":"item","numeric-id":3460548,"id":"Q3460548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$974E3BAE-E4F5-4BA8-AE86-F3AA463115C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55911e308156bbda517413fa81eff819db763dd7","datavalue":{"value":{"entity-type":"item","numeric-id":2817951,"id":"Q2817951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$4DF0E638-7CCF-4ED8-81A5-FBA83943F044","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":"Q6091213$548C5DE4-515E-42ED-85FF-DB03255006AE","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":"Q6091213$6800EFE4-88BD-4BA8-AB7A-04D16CCBA588","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":"Q6091213$E899BA6B-A82E-40FF-857B-0CE1892B7FC8","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":"Q6091213$F1281DE2-59BB-46C6-A506-8A3EA492DDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c7f5ea7003ce4e30d16faa85112855feb92fe0","datavalue":{"value":{"entity-type":"item","numeric-id":1799106,"id":"Q1799106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$C93C104B-ADA8-4DF9-90C6-15EA0BEA447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fb2cb1b491607825d8dbde326fc76533392837","datavalue":{"value":{"entity-type":"item","numeric-id":5875940,"id":"Q5875940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$099C791F-6106-4F4C-9801-D6EEB1FD5684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7506a638c1ff625d687178414f595574ae8dad9","datavalue":{"value":{"entity-type":"item","numeric-id":2234106,"id":"Q2234106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$33259F32-240C-47F1-88AB-C937BFE1FEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8db60d599edb13b74e4c9bd2c4c1e132f7d871d1","datavalue":{"value":{"entity-type":"item","numeric-id":6166155,"id":"Q6166155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$6D1E1726-021E-40CC-9454-5067AD2FC110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb18a86fb878bca8499457f5851ecbff53e073e","datavalue":{"value":{"entity-type":"item","numeric-id":4633544,"id":"Q4633544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$1C99562A-BB18-4CCE-9AFD-F0DF6A48EE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b05fbd67ac2bd91179b63b02f2a3f8aed0bd2e","datavalue":{"value":{"entity-type":"item","numeric-id":2324205,"id":"Q2324205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$8574DB67-5288-4F78-BA6C-76338C568077","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":"Q6091213$9E00F10B-FA9F-4D72-92E9-5F5FE2736AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f146ef032705198a0202edddd0325ae6774f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5716590,"id":"Q5716590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$392A05FD-79CF-43E8-9507-7DF1304E76B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c96d0fcc5c65f85a20940d30ff7a51cf4715870","datavalue":{"value":{"entity-type":"item","numeric-id":2937786,"id":"Q2937786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091213$31670D8B-AC83-41B2-B184-5EDA3612BE98","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":"Q6091213$070039DD-0EB5-4233-AD75-9788A99A81A2","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":"Q6091213$757DD483-2C44-4A5C-A93E-17B1101603C3","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":"Q6091213$24375125-0588-4EEC-8565-16287793D74C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6091213","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6091213"}}}}}