{"entities":{"Q2234797":{"pageid":2245540,"ns":120,"title":"Item:Q2234797","lastrevid":71639259,"modified":"2026-04-13T23:34:47Z","type":"item","id":"Q2234797","labels":{"en":{"language":"en","value":"Entailment is undecidable for symbolic heap separation logic formul\u00e6 with non-established inductive rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7411507"}},"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":"Q2234797$F97B0095-98B2-4EDB-9E0C-1BD25BC4F882","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"331337e0cedbd1145a60f8e1a05436892383d8ad","datavalue":{"value":{"text":"Entailment is undecidable for symbolic heap separation logic formul\u00e6 with non-established inductive rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234797$9F905C8D-5D18-4836-B73A-3F41C491FB71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9d0bb1bba7f8d78f26f8b0456c3cbe905220ef","datavalue":{"value":{"entity-type":"item","numeric-id":438577,"id":"Q438577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234797$71BB3F34-B1CE-4C43-B8CE-14625ECAF685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234797$33550FE3-640E-47E0-9C2C-E40C41B99FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234797$3997189B-6FAC-40A5-B5EE-5B5F77233B69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234797$158EFFE9-22D3-4234-919D-A361EB614E44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d505cd39ca96f19f450c8fbeb6d9a9721fad674","datavalue":{"value":{"time":"+2021-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234797$A443D50D-3917-4B53-81AB-82F56FBB8CFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234797$2E18EF5F-024D-4591-9A32-5597DA04CD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234797$D1FDB0EF-DDEA-4755-87B9-36C21B280018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234797$45CEBEC0-BB7C-4891-81B2-AA333B5E8CED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"027f785a6a9d8ebfb9b03c7bbf0f668a8fa967ea","datavalue":{"value":"7411507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234797$284853A4-D4B2-419C-B942-DBC97726E759","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234797$38F0B2EC-E720-4219-8B82-B134159B4649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234797$6F2E5CBD-064A-44C0-AA57-E2739182071B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234797$A9D61AD0-5F19-4598-BF45-6453316DBC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234797$DB1FA087-A02D-4208-9D73-F83DEE9744F9","rank":"normal"}],"P1463":[{"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":"Q2234797$9F90DEC8-4728-410C-AC28-63E8700FC19D","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":"Q2234797$A0809447-7381-4B14-8F5E-1E7B9DABC5EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c804820155703f2296733732798441962f5a7d9","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2021.106169","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234797$31DFC520-E117-4217-B867-874570796273","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b51c02dedc5c4c81d50f3c5c1d53063d7977110d","datavalue":{"value":"W3091716098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234797$26A29F32-483F-4685-BB2A-4F27CA3A91EB","rank":"normal"}],"P223":[{"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":"Q2234797$DDCBC387-96AB-41F9-8EE9-5E27B6018625","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":"Q2234797$037A9ACC-7B66-4E56-BFB7-8B60D959673E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234797$B19532AE-EA52-4D4B-86D1-0DAC9ECA9708","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"216dc2d911800b56ca9b4febfccb34112a74641e","datavalue":{"value":"10.1016/J.IPL.2021.106169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234797$59617BB5-F7B0-428C-99AB-EF92744DCC4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d7c21fd316f7b3aa75c31485fed42f0e580891","datavalue":{"value":{"entity-type":"item","numeric-id":4813414,"id":"Q4813414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd98a09678a5e952a162a42af1d28ba03c90fcfe","datavalue":{"value":{"amount":"+0.89028347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234797$300B812D-8C68-4FDB-8C10-831D7B688B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c282d2e06edadb860c32e94e0a6139e7f24a5f","datavalue":{"value":{"entity-type":"item","numeric-id":6161426,"id":"Q6161426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42666236e45340c1e55dec8ebd5f72c9d0bdfc21","datavalue":{"value":{"amount":"+0.86880815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234797$D7397EA3-D8BB-4EC1-B98A-3B4768EDF250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cb107201f3ff1c97bc2495e765de2672e21c13","datavalue":{"value":{"entity-type":"item","numeric-id":2055854,"id":"Q2055854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c38c6374abcf3783141cd0ae57dda30366a230eb","datavalue":{"value":{"amount":"+0.86112285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234797$37E8650A-C237-40AA-999B-77DE414F2291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7a8383d2a68bea8281859b24922936482b9271","datavalue":{"value":{"entity-type":"item","numeric-id":3189649,"id":"Q3189649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f298a433bd1f1abc2cafe1f97569e7b2afe81e","datavalue":{"value":{"amount":"+0.85504013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234797$5210F26D-4EFF-4BEC-91D4-5D2ABA5B9228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c7cb396179fc245d6dd7e5bd3cf4f2677bf12d","datavalue":{"value":{"entity-type":"item","numeric-id":3703869,"id":"Q3703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a910bb8b81760a11fedc316159dc41b9b03d29c","datavalue":{"value":{"amount":"+0.8469294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234797$C8CE6479-8B8A-4E5C-BA65-99183610BCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c840e52a1bc63e3ef4a0790b340b6f19f91a58","datavalue":{"value":{"entity-type":"item","numeric-id":3455777,"id":"Q3455777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9d85dcd1cb96a697bde913d8308f90611214ad","datavalue":{"value":{"amount":"+0.8460643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234797$388E2DD1-0CD7-41EB-897B-D47AEC228C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158b1b876e8a92ccfc5db050e93d6c3caff85862","datavalue":{"value":{"entity-type":"item","numeric-id":4230359,"id":"Q4230359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceaafb04ed5940163dfab0ff90473697377c0034","datavalue":{"value":{"amount":"+0.8371786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234797$CE0ECDB3-68CF-4CBA-B19B-BA58F350F05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"972f7cc27ac704a772eea497bfb1d81aba159f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4383462,"id":"Q4383462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686c74334e3e4e5113147fb09f95f33ff25aca72","datavalue":{"value":{"amount":"+0.8348206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234797$1C9B4253-8E69-4A30-A775-6D70FD48F558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459d4fb1de3991f4db7e060674e6c41368b96cbe","datavalue":{"value":{"entity-type":"item","numeric-id":2071578,"id":"Q2071578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f470fbfbdb24f85a12490784246eff3f649e3485","datavalue":{"value":{"amount":"+0.83419913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234797$6E0A6D9C-BF76-4DE7-BAF7-A032504E58C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ea692c8b39b39036700bd12b02210c733e8444","datavalue":{"value":{"entity-type":"item","numeric-id":4644516,"id":"Q4644516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6c9abd19b26b81184af8a87ef614e339dcbe28","datavalue":{"value":{"amount":"+0.8328377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2234797$C2D75811-E4E3-4A8C-89BF-926F08A1A6A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Entailment is undecidable for symbolic heap separation logic formul\u00e6 with non-established inductive rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Entailment_is_undecidable_for_symbolic_heap_separation_logic_formul%C3%A6_with_non-established_inductive_rules"}}}}}