{"entities":{"Q2324205":{"pageid":2334948,"ns":120,"title":"Item:Q2324205","lastrevid":71844423,"modified":"2026-04-14T00:55:03Z","type":"item","id":"Q2324205","labels":{"en":{"language":"en","value":"Frame inference for inductive entailment proofs in separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105311"}},"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":"Q2324205$A7641AA3-EDCD-4694-BA06-29949B6F8653","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec7141e7b30f5a4e3db9f256004f445a3905d658","datavalue":{"value":{"text":"Frame inference for inductive entailment proofs in separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324205$C108FB22-E284-4B34-8EF9-3C3033F8238E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3f89bcc7eafd57b4ad17246b8b80fab884cd4d2","datavalue":{"value":"1423.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324205$60FF42D6-8438-4B9D-81D7-2192A1737C73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b4fb198caee9599cdb1f42d9e9b3209d20e420b","datavalue":{"value":"10.1007/978-3-319-89960-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324205$6A85B565-EFC2-42C2-9DF2-61B41522A1BB","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":"Q2324205$5770BD20-3B8A-4CFF-A738-25F9C55C612F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a29a8668613ef6f9130a40b44c1110c148f42ec0","datavalue":{"value":{"entity-type":"item","numeric-id":488229,"id":"Q488229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324205$D828D920-4A55-4C6D-88FC-38E398BF1070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6240a0e63014b3ab3cb57b4f37c6b5dce0ed710","datavalue":{"value":{"entity-type":"item","numeric-id":436399,"id":"Q436399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324205$A771F3C0-E48D-4A68-ADDE-C4095A6FC89B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2324205$9AFF81C5-CEF2-4569-A31E-338701C1C2EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0eb5687b6a37c6b6d0fef8fcd4121c1419df09b","datavalue":{"value":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89960-2.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324205$98F3186E-C269-40EF-B933-07714A8EADD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324205$64998F39-80DD-40AC-93F5-523210A300DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324205$80325A0B-B648-48C0-AC74-D89D5FE97102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324205$FB9166A4-0212-4317-B5C3-1F86B0D23440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324205$916B43D7-3B9E-4091-A7BA-19E9D1AAF9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324205$24810A79-F59A-408B-B5F3-55CA8A9A2F6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fbb4789f654b80dd653a02ef91cfbf1c531e40d","datavalue":{"value":"7105311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324205$82FD9554-2A93-4DC4-AC8B-AAE6E49C3389","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":"Q2324205$42BC1F39-2C4C-46AA-8E6C-35264E9CA4AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41b2b31f12c677ded1a115fbe609eb586ae73cba","datavalue":{"value":"W2784656124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324205$B4DDFEF7-5CE1-4666-9C60-573A55EE331E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5680f4d929c6c749e3fb0a3958a3b1709838fcb8","datavalue":{"value":{"entity-type":"item","numeric-id":2281658,"id":"Q2281658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1249b99cbf8b41c1c86b4add7b17bae87f36203","datavalue":{"value":{"amount":"+0.7776790261268616","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":"Q2324205$4CD57494-11E1-4B26-B0A0-66D906EDE8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ce9665b91ecb3a2eb7e60be16e012a2320e66e4","datavalue":{"value":{"entity-type":"item","numeric-id":5200020,"id":"Q5200020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ddb57b23331698572d6d57ef590bdd2b896585","datavalue":{"value":{"amount":"+0.7768127918243408","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":"Q2324205$3009FF54-127B-4287-BB65-8BA4F3B764F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951890c12966d7711b57fa25199ae479f8514306","datavalue":{"value":{"entity-type":"item","numeric-id":2414251,"id":"Q2414251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17489fbc52e47def06a3596ac13d519955e71905","datavalue":{"value":{"amount":"+0.7748949527740479","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":"Q2324205$2830C05B-0D82-4599-AC63-695D70674330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e19bbb791608ca63a345b3983f727d0d9a2b56","datavalue":{"value":{"entity-type":"item","numeric-id":3457790,"id":"Q3457790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"435a18a26799717a69395b0cec546ff76d4e8ca7","datavalue":{"value":{"amount":"+0.7716016173362732","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":"Q2324205$38A62516-8C5D-4E82-9135-C1B16BE68BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e4e14876aa84ff26486c50370e3e8aad9e6e47","datavalue":{"value":{"amount":"+0.7612987160682678","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":"Q2324205$60DA3BB8-CE6A-4F08-B9A8-EFC5053E6530","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Frame inference for inductive entailment proofs in separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Frame_inference_for_inductive_entailment_proofs_in_separation_logic"}}}}}