{"entities":{"Q5111651":{"pageid":7141225,"ns":120,"title":"Item:Q5111651","lastrevid":91407884,"modified":"2026-06-04T23:05:32Z","type":"item","id":"Q5111651","labels":{"en":{"language":"en","value":"Tractability of separation logic with inductive definitions: beyond lists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204954"}},"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":"Q5111651$0214DD65-8509-4685-AD76-AF92A7917C2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8edcf1433a575e0f803fbe71098b997e5a5e86b","datavalue":{"value":"1442.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111651$C7DA5B74-54E6-4B58-97C8-E0A2DE1D4C18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111651$4A6E22F0-CD29-434E-B91D-8819284F6767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7827c426fd62b1155223da4c43f3f5ddccba9caa","datavalue":{"value":{"entity-type":"item","numeric-id":342710,"id":"Q342710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111651$E2FA1B5A-B696-4D27-B32F-E76A8E4CABB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5f7394a0cca1cfe5ffc6e0fdd04b8d512ae0ea","datavalue":{"value":{"entity-type":"item","numeric-id":342711,"id":"Q342711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111651$6891E93C-7A2A-4080-B3AE-55483337D72F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111651$A9DAE856-99D5-4E9C-9CCA-BD65C19916A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111651$456A4C80-5B84-43EA-A340-C2252FB6F974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111651$65656137-4AF8-45AD-ACF6-021A0D9676DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111651$AA86FCFE-2C5F-4FD4-9642-1635D27E7CE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"162609eea3c391689e0cde529581e187b546fe6f","datavalue":{"value":"7204954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111651$A7043A28-BBF8-4654-9EE5-34212F8C7A0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111651$051B40E0-B6ED-42FD-AB32-C40651FBEE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111651$AB62A41A-BBE7-4513-B674-77FBC258CEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111651$70E229FE-3ECC-4778-8F50-CBC6FA8521A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111651$EAABCF4A-5EB1-4677-AF63-047F400FBB7F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"777c857adf4d00dab25c091db7377a74eeba130d","datavalue":{"value":{"entity-type":"item","numeric-id":5973049,"id":"Q5973049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111651$A877BD42-F47C-43A8-A5B3-D5B77489CED2","rank":"normal"},{"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":"Q5111651$A9BE3B68-8174-4333-BEA8-1515770DB9E2","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":"Q5111651$08F980F3-7217-42D9-94E1-8BD409178DD9","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":"Q5111651$D510C442-68C3-4A8B-84F2-6D9CE0614B1B","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":"Q5111651$7C911B6D-ED54-4CB8-8BA4-817AE269B2A4","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":"Q5111651$4370DA94-D124-43F0-AE8B-4A43F79AB99D","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":"Q5111651$81BABD1F-F37F-4C59-860E-F75CD81F4C8A","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":"Q5111651$020DF7FC-65AE-43A8-996B-20A0542E10B5","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":"Q5111651$E8298F89-6F3E-46CE-B0BB-AE14939D1DFE","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":"Q5111651$DE294F25-A9AC-4FBF-AB5D-0B2175F12E43","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":"Q5111651$E96005CE-F6CF-4AB9-A3E1-1E338BFB6654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d584fa3396aa4a5bb45485bac8e4f553232816c3","datavalue":{"value":{"entity-type":"item","numeric-id":2405270,"id":"Q2405270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111651$1E5FBD9D-0643-447A-8630-D3D2F769B269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c65ad825c9d0ee9bae1c0a5ca41cc46fd54609f","datavalue":{"value":{"entity-type":"item","numeric-id":2828247,"id":"Q2828247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111651$CD6665E3-58FD-4AFB-9BEA-4120E23B98E5","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":"Q5111651$89378037-C555-42BE-9BDF-E0F8198DD266","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":"Q5111651$0E23EE87-8DB6-48A4-BB57-1A3D01F5EFDF","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":"Q5111651$DD4A90D7-48F4-4F43-9BA0-6BCB052248E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfd6eeba35083bdb99fc1b354aa7a2ba80bf027","datavalue":{"value":{"entity-type":"item","numeric-id":5277913,"id":"Q5277913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111651$17844C5F-F343-45BD-8E04-5000A1ED9C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636a058f8e83cc505757b510fb62dd99437be061","datavalue":{"value":{"entity-type":"item","numeric-id":2789053,"id":"Q2789053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111651$7A57FF5B-C6A1-4C0B-94A0-4D4A6CD9101A","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":"Q5111651$09D48128-61AC-4411-82CC-29E01DB9F2CA","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":"Q5111651$59CF1667-6584-48B0-AC52-6D99AEEC3AE2","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":"Q5111651$5E8EDFB7-EE0E-4603-9387-58A0291341D1","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":"Q5111651$2342E381-B654-4578-AB11-294554296A8D","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":"Q5111651$2D04A94B-2C18-4422-85E6-190327350E17","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":"Q5111651$198A43AF-8165-4B25-81A3-211AEF526DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51744bbaabae728a8929f8609bc516657e80f106","datavalue":{"value":{"entity-type":"item","numeric-id":1990511,"id":"Q1990511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111651$259237D7-1B1E-4937-AABD-1688B18C310F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca8766bb72f3d5c8970f630d92826c14b62e223","datavalue":{"value":{"entity-type":"item","numeric-id":3179308,"id":"Q3179308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111651$19259172-CDC1-43DD-A4FB-0961E222B2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f7f11bcc2c577f52292fdc9a83fb5e0ed99b53","datavalue":{"value":{"entity-type":"item","numeric-id":2405271,"id":"Q2405271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111651$2602C7E4-D949-493B-9863-610EBF950EA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd346a051dd7b75e81e48557a1efb3b34f6cab9a","datavalue":{"value":"10.4230/LIPICS.CONCUR.2017.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111651$3EB2E8DA-F26B-4C48-820D-D6DD69C1DD6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce7dd9f75c01012cd143c7bfff8b47885411b79d","datavalue":{"value":{"entity-type":"item","numeric-id":3090833,"id":"Q3090833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c47995591eae6a7bbd8c32ceba046372fecd45","datavalue":{"value":{"amount":"+0.8595311641693115","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":"Q5111651$65162435-DFEB-45D6-B6A9-D37D20B3E091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db28bd672936b61fe9c8cde097ce2d66af8bf386","datavalue":{"value":{"entity-type":"item","numeric-id":5410687,"id":"Q5410687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"901160701cfed92864dc70ff400a9b31bf59c18c","datavalue":{"value":{"amount":"+0.7979612946510315","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":"Q5111651$E05AF8C5-E24A-4C64-8FBE-A8B2CE0B42F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a58a08463d10a6ff53aaac2336924a78fb3c14f","datavalue":{"value":{"entity-type":"item","numeric-id":4928426,"id":"Q4928426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7253af9e0a712ef402b25295cdb2bf59bc9788","datavalue":{"value":{"amount":"+0.7947421073913574","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":"Q5111651$925143C8-E557-4D1E-A0E9-4756F4FCEDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250834f45f057a927abfea28e9f0a9bff54c14a0","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471d175ce1f3d8f81b0697d235cb4c0b2dad990b","datavalue":{"value":{"amount":"+0.7873573303222656","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":"Q5111651$06A7ABB6-D514-4F87-A620-953DF71B53C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95daf92324fdba8c20ae3d08c2c86b375db37626","datavalue":{"value":{"entity-type":"item","numeric-id":1653010,"id":"Q1653010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfa67bcb3d3443cb6f81a6c368cf6ed3e07c54bd","datavalue":{"value":{"amount":"+0.786805272102356","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":"Q5111651$A018E800-98E6-4FA9-A93C-85F5526842B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tractability of separation logic with inductive definitions: beyond lists","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tractability_of_separation_logic_with_inductive_definitions:_beyond_lists"}}}}}