{"entities":{"Q3455777":{"pageid":5235177,"ns":120,"title":"Item:Q3455777","lastrevid":52413890,"modified":"2026-01-22T14:34:01Z","type":"item","id":"Q3455777","labels":{"en":{"language":"en","value":"Disproving inductive entailments in separation logic via base pair approximation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519949"}},"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":"Q3455777$944A1418-1247-46A3-B786-0660C8168B11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93962bbefafacbf0f3b8368e9e2be8a4fa26eeec","datavalue":{"value":{"text":"Disproving Inductive Entailments in Separation Logic via Base Pair Approximation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455777$EE9859F7-B987-41F1-A863-388094418236","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4584ac30e70e083ccccedb4f5e174ebc9c53785e","datavalue":{"value":"1471.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455777$5B6FCC78-51B7-4CCF-8005-C11C85210EC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04574af91ca8e752a9d260f1fe092978ebb51346","datavalue":{"value":"10.1007/978-3-319-24312-2_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455777$EC6CF6DB-18E5-4B67-A86E-610E6CB49D4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b218d394a4f78b8be43b552938ed5e21a7cf904e","datavalue":{"value":{"entity-type":"item","numeric-id":1401935,"id":"Q1401935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455777$37C95B09-2725-40C4-B598-D9065C885F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e232ae85d13ab7f1e0ccfeb9d527ee923e2bb81","datavalue":{"value":{"entity-type":"item","numeric-id":646493,"id":"Q646493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455777$0388BF24-4F4C-4578-8135-ED41F24E9D57","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":"Q3455777$187ACFFA-F6C8-4854-A082-C95BE9AFE900","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455777$AAAE18F0-7D31-4527-BA59-0AC1229A2FBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4de7256f6ddfea4383b887ab1cb155632278629","datavalue":{"value":"https://eprints.mdx.ac.uk/19163/1/2015-tableaux.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455777$8130084D-6457-4087-8894-61EC7023304F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455777$952E0272-B19E-4376-9EFD-5F68B6E68E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455777$E832D6B8-9F95-40E3-8F67-30139F879755","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c412ed570efca7b6b3a9eff19b5e61689b6acb6","datavalue":{"value":"6519949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455777$8F0F5713-945F-47EF-8F61-C701C3D8B8BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2196bc177966aee059cbe6dcb19371e0feb3fa3e","datavalue":{"value":{"entity-type":"item","numeric-id":19753,"id":"Q19753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455777$16AA6573-5D27-4D06-ABDA-3188F91EE292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f7cbd45ecb73cef1c098eba204d848b9a2d6639","datavalue":{"value":{"entity-type":"item","numeric-id":30358,"id":"Q30358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455777$F5D98C66-F1B3-4A67-8ABA-95061512A24C","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":"Q3455777$76468EF3-174D-4816-BC44-5E3CEBD427E5","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":"Q3455777$D21D66EB-5BEA-4A8C-9D24-67CB0BF75F0D","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":"Q3455777$5311B48F-87B7-43E5-BF5D-8F374C0203BE","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":"Q3455777$9CD78B10-0CFD-4A72-A7D6-C7C3F6A7E5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455777$67D0EE31-9E5F-4952-91DD-9913D8C26545","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":"Q3455777$CA417E07-B10C-4057-853D-706CF71943C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed38bfca8a81eaa72064c3c59486391c94b63aa0","datavalue":{"value":"W2241234471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455777$564509E8-7A9D-41B4-9107-DEE3BCD91398","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":"Q3455777$7110BEC8-2519-436B-97C5-108AB14A2C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f3f8272689bf81091f80505e25ef09e456fcce","datavalue":{"value":{"entity-type":"item","numeric-id":4757915,"id":"Q4757915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455777$26C169F7-CFFD-4BA0-B053-73A6A3B81FD8","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":"Q3455777$51248D1B-0588-44E1-A657-A6631701844E","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":"Q3455777$D8DACF35-3CD9-44F3-A784-20D24457414A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455777$5E4D3772-F7BD-4E7B-A108-90DAFA17CBCF","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":"Q3455777$1AE0D52F-6F7F-4E2A-8AF7-CD7DEBBF6B29","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":"Q3455777$91673D75-9D50-4A14-8EAE-60CD99AE7D55","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":"Q3455777$2281D9D8-DBE6-42D5-B52C-9E7354D04158","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":"Q3455777$7A1BEB14-6FB5-4B34-8391-01B3B6E33445","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":"Q3455777$7AAC6859-EFDE-499A-A3BC-7896AFB69E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4097ecb980e2df6f5072c854a7151168d79b8bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455777$F7022A33-4561-4462-BDE8-DEC696E36584","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":"Q3455777$E8EF4A73-3C9E-4CB1-BB09-57306F4C8178","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":"Q3455777$F16C3344-80CB-4B3A-8F94-9E57A3BDBB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa9813c5d44205ab458818c2c071032f8d571d6","datavalue":{"value":{"entity-type":"item","numeric-id":5255075,"id":"Q5255075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455777$9045E2A6-26B0-4AAF-965C-1C2FED45116B","rank":"normal"}],"P1643":[{"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":"5772a3338d57a08af3950530fd66a10413f0f1de","datavalue":{"value":{"amount":"+0.7589282989501953","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":"Q3455777$5BC6BBF3-A45C-4BD1-AC89-95767CCDDD24","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":"06530dc5b3539ef957380a957a5f680067a54e3f","datavalue":{"value":{"amount":"+0.7551202178001404","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":"Q3455777$67549C33-C564-4859-897D-AE0ECB5A044D","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":"f5182ba7d71ac26d97a37cd9edae63748cceda42","datavalue":{"value":{"amount":"+0.7426676750183105","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":"Q3455777$41093F42-FDE8-471D-86DC-0419D170AF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0eecc6dbf75532216f5e876fe937e096817d861","datavalue":{"value":{"entity-type":"item","numeric-id":2324205,"id":"Q2324205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20ae05f3ffb0a4d7b710582b28b45fd07d2647e","datavalue":{"value":{"amount":"+0.7423515915870667","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":"Q3455777$1BAF38A4-65A8-4501-AADF-998B4EA01D54","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":"320fc1e3d18cf8bc04912e8a306566f0e06449c1","datavalue":{"value":{"amount":"+0.7402982115745544","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":"Q3455777$3CCDE7AB-5A9D-43FF-877F-64A55440946E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455777","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455777"}}}}}