{"entities":{"Q5408433":{"pageid":7438007,"ns":120,"title":"Item:Q5408433","lastrevid":51972089,"modified":"2026-01-20T16:09:23Z","type":"item","id":"Q5408433","labels":{"en":{"language":"en","value":"Modular reasoning about heap paths via effectively propositional formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282438"}},"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":"Q5408433$F689F0F4-8DD7-4980-AC83-F63F529CE88A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c5669da8cb02ee327c68655086a7bfc0a6372fc","datavalue":{"value":{"text":"Modular reasoning about heap paths via effectively propositional formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408433$5D841E0B-95DD-47DD-8653-4AEE42ADFE24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cea76bf1c456b8474be8e326a5669ad6ce7f96c","datavalue":{"value":"1284.68403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408433$ED036D84-4E02-4C6B-B423-DF2276562175","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4327fde24439d7148c16e0e0134d0b90449298c9","datavalue":{"value":"10.1145/2535838.2535854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408433$FA57445C-241B-4994-8DB5-465F71D1DB6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"123bfafb2f4109e7c3df6b89fc9b0bf1a3482dfb","datavalue":{"value":{"entity-type":"item","numeric-id":784118,"id":"Q784118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408433$8D77CEE0-B1F9-4F0E-A934-F3032C149E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f34fe5b0fd83cb1c5e8ef43bf8fb3b8852cebeca","datavalue":{"value":{"entity-type":"item","numeric-id":859952,"id":"Q859952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408433$C17EBA55-CB4F-4B50-8944-3D8CC0883DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408433$5CC303EB-2D0E-4FDF-A068-0D5A9003E423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b248d705e0b51ec4722970eaa46ae5f39664514d","datavalue":{"value":{"entity-type":"item","numeric-id":1426867,"id":"Q1426867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408433$B8351106-2C78-4EB7-80C6-60DB02E03302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408433$2DCA862D-BE9E-4B50-BE1C-83BACD129AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9449ce466a2c684a15ed4352b5933311b5f46f1","datavalue":{"value":{"entity-type":"item","numeric-id":6482617,"id":"Q6482617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408433$3E6B23DF-441F-4E21-822E-63982F327C1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408433$7D14A6C3-26EF-4605-8D3A-C31785B8EB9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408433$4CB29451-7367-462F-ABC8-3F98E5C2754C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408433$5F61D12E-1170-4011-985D-EF1DEFED711B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408433$983AAFF8-6364-48B1-8C62-2F91E6C92A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408433$2CD75CD1-BF8E-45DD-8A23-DC430024EBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408433$FAC17B9A-F4D7-4280-9591-DB9C7677E3E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5780a2e44afb8b238a8860515066a3d0b8170e2","datavalue":{"value":"6282438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408433$E4DE0F4B-CDAD-430B-BD3B-9A8082BB5591","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f742a1d62fbaa1719895d0e5a93e1fb1e69e0d6","datavalue":{"value":"linked list","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408433$7A3E58D1-3F5B-41DE-A3F8-372E9097E50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66b145eecd5f77358de5d2fadca6ee9dc029fad3","datavalue":{"value":"smt","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408433$05D8E0E3-35FC-42B5-8F04-19B5DF9ECE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408433$40A45C6B-B9AC-4EB6-AA80-4DD66ADC03C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408433$CD54B646-2897-43B1-B039-63AB48DA12CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408433$480DA8E4-4C48-4B2D-B2AF-8E957FF3FDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408433$8888CE12-4D60-48A3-9253-15B3C7926FCA","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":"Q5408433$60E8BDB1-8472-4434-B326-57839DB9DD51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36a491c77d0b97c644e5a805a9f7bab103e1bdaf","datavalue":{"value":"https://doi.org/10.1145/2535838.2535854","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408433$7630ABA4-6D10-4FAB-8140-8197B7C1F65F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8ec0b269948c5b0a6bacd22a3a4ed9de39d69c3","datavalue":{"value":"W1976401986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408433$A8BE61D6-285A-4084-968B-442B3BF30FAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba51166c471e9289a0ecc3d71d73a5b4685b7ff","datavalue":{"value":{"entity-type":"item","numeric-id":4633544,"id":"Q4633544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34ab27a79a80a07879a4ddbdd5f779facaa775b","datavalue":{"value":{"amount":"+0.8159435987472534","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":"Q5408433$AAF2F264-35F2-40B4-B48B-764CFF79FEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b85eb390ca89c4206ca5aece9f558858df6a1ea","datavalue":{"value":{"entity-type":"item","numeric-id":5898619,"id":"Q5898619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a13f97eac0ccbbc72966d9f0f67dd42f760e5e52","datavalue":{"value":{"amount":"+0.7987720370292664","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":"Q5408433$C13B4880-5FF9-45E0-88B7-5F0EEE14E3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe19249f44bc816dc61890c9937ca1f670a1985","datavalue":{"value":{"entity-type":"item","numeric-id":3510799,"id":"Q3510799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e233cb331d3051c4225c83eee78f6cb9d92329","datavalue":{"value":{"amount":"+0.786888062953949","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":"Q5408433$1949E66D-029D-4677-9D3F-AB09CA9E7E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a72be8ffec3f8572d7c12a18ef2fe53608d40e6","datavalue":{"value":{"entity-type":"item","numeric-id":5452601,"id":"Q5452601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b69bcd98be8d22ac840e0fd146831ccb0f2d0ab2","datavalue":{"value":{"amount":"+0.7819842100143433","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":"Q5408433$2D8FA5B4-D79C-47C3-AC98-049687827120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0a6160766d56fcc5b54b16a1441c7012255209","datavalue":{"value":{"entity-type":"item","numeric-id":5883571,"id":"Q5883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a511c00b61173bbd65434a0c20c79a9eb8f7b589","datavalue":{"value":{"amount":"+0.7776328921318054","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":"Q5408433$D6F05C42-D5AC-41CB-8EDF-F58C85E0C35F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408433"}}}}}