{"entities":{"Q2145316":{"pageid":2156059,"ns":120,"title":"Item:Q2145316","lastrevid":54342926,"modified":"2026-01-26T16:23:42Z","type":"item","id":"Q2145316","labels":{"en":{"language":"en","value":"Hash consed points-to sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543907"}},"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":"Q2145316$F666D6DD-6F60-4260-B95B-BE91ED90C14D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bec126a0a55750f3fe35d785c91319d38725ed65","datavalue":{"value":{"text":"Hash consed points-to sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145316$13B843BD-A0EF-45B8-95BF-005EC4734EF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"444625887cb5f4b149078c9023b016b58ef03baf","datavalue":{"value":"1497.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145316$4B9653B2-4A4F-4937-B891-D8183D10911F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d929ca74c31d8a05735e1c4d65ab8c130156f84","datavalue":{"value":"10.1007/978-3-030-88806-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145316$9A7BDC88-3861-41AB-AFCD-C36526EF97F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0988357846511ab70502c71d8f5cbb8bc450a4cf","datavalue":{"value":{"entity-type":"item","numeric-id":2145314,"id":"Q2145314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$E3F60407-8A52-4E9D-B357-81C7745034C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f2ba22e3625cdc2ddc479e2076ad8f18ca52b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2145315,"id":"Q2145315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$94EEEEF7-6049-4073-989B-A3A0FEE3A4A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb05ecdd4c1bc9bc017712b48f5ce5d7c83890d5","datavalue":{"value":{"time":"+2022-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2145316$D84F7E57-11F6-4A17-A3D3-A20D93586A0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145316$376C7377-91A8-4DF5-9A80-05B090D26ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145316$746D8A3A-5ED6-4B1F-8B42-4F3032D8341A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe8001942f7a483d33ae162f9a9437781fd2872b","datavalue":{"value":"7543907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145316$CC35589B-602E-445E-82E6-E596B88CC432","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0562dcd73b22fd1b522adebc6d76f0d69dd9b2c7","datavalue":{"value":"points-to analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145316$39FA7283-8A0F-4DC2-91EE-E7A7AB7779C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d87d3e40958d16e2f1bb86dd967d151256630aa","datavalue":{"value":"hash consing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145316$2B4F8008-9EC4-4603-A63B-870F23D2B9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f701a112d77fbb4bda57cadfbee1491add8375","datavalue":{"value":"memoisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145316$E0C7B387-DFB1-4D5B-9C35-6AE98ACA0517","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec2860ead57e9461807f21cb14f1204e011a9b8c","datavalue":{"value":{"entity-type":"item","numeric-id":16300,"id":"Q16300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$731B1F0A-91A9-48E9-937B-6970801D2E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$27BD1D6F-0BD3-4A29-9A0D-C59A3EECAEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b228a697c0f765d10ec50fe2067c681b40e8b54","datavalue":{"value":{"entity-type":"item","numeric-id":13574,"id":"Q13574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$E8AA6ED1-76C5-41AF-AD24-03A8E269D9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7892f19b26d978fd2811b32e4ff9d1119e436ec7","datavalue":{"value":{"entity-type":"item","numeric-id":32044,"id":"Q32044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$482A38A9-E08D-4DD1-A178-7824E1308357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f7dbc7796b268ce3a2ae453f8b0d1eebcb9f196","datavalue":{"value":{"entity-type":"item","numeric-id":1334203,"id":"Q1334203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$629C76AE-8E4A-4A00-8D13-B7535F1AA503","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":"Q2145316$EED6154D-9C82-47B8-A3BE-42052A1EFE78","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":"Q2145316$3AD784EF-6EDC-440A-8BBD-D1412B9D3E53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07cbbae56b51f7ddcd8316aa2ba062d4431fe544","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88806-0_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145316$87A0D724-4D82-4D51-A4D5-CE164D4C9642","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d7fcea88944d61e5f9d9fbb1c7ecf75a4dd253e","datavalue":{"value":"W3206466725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145316$47285B9D-BE04-48B4-B7DD-4377DABC459F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb9fbef47df8e69c5d186f6867b4d645fc1d14a","datavalue":{"value":{"entity-type":"item","numeric-id":2351422,"id":"Q2351422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$5DA2CAD2-C419-4098-B06F-D766047EF568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc56eee7d2e169e024a28c0fe6cb9aa9e374dab","datavalue":{"value":{"entity-type":"item","numeric-id":5261519,"id":"Q5261519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$FB5BA240-032B-4C82-9EC6-08C3660C67EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12e9f5ff733e5f886b91fe78190b644294cd278","datavalue":{"value":{"entity-type":"item","numeric-id":3067538,"id":"Q3067538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$CAAC871F-B151-4952-843F-A6E529D87A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ffd23d6d0fd18d94decadf3d516aa4d75dddde","datavalue":{"value":{"entity-type":"item","numeric-id":5408527,"id":"Q5408527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$CE43CF2F-E262-4D40-BD46-6D3CC1271B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"941e37df152320c9500468ec57af7a3b8f65b534","datavalue":{"value":{"entity-type":"item","numeric-id":4417791,"id":"Q4417791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$D0675223-CFAD-483A-ADC3-5B63474E8289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95357fb029776979c354930073bab116d62e73b","datavalue":{"value":{"entity-type":"item","numeric-id":4411959,"id":"Q4411959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$91B1F3A9-A065-476C-A623-7FFA8460710E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee78ed76d0de3f4cac30c62ff7d8b58be9ff3d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5408528,"id":"Q5408528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$2B9D27B2-2912-4F43-BAC1-3D8CEB931848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6475e30fafd3400503e49af213f9b0d37542b4de","datavalue":{"value":{"entity-type":"item","numeric-id":1823006,"id":"Q1823006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$BE2D69C0-E7C9-4636-B598-BEC82302458F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cb7bddfd1544301eb64476f32609c73eedc2cc","datavalue":{"value":{"entity-type":"item","numeric-id":3392927,"id":"Q3392927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145316$51F4CB22-E074-4CBC-85F5-4865B4096D91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c7df8dd4fdde6bbb73616a77303e5ac4a4e76","datavalue":{"value":{"entity-type":"item","numeric-id":5408527,"id":"Q5408527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a8e1af8570c411f653cd6945db00b85ef81316","datavalue":{"value":{"amount":"+0.7543568015098572","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":"Q2145316$729C08A8-354E-426F-AA19-0FF8B87578F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87706360e602b1a7888c173b110c4031aecd7e6d","datavalue":{"value":{"entity-type":"item","numeric-id":4930745,"id":"Q4930745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e6e978ec5471cf60c5c5058a205c41511e90d7","datavalue":{"value":{"amount":"+0.7299326062202454","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":"Q2145316$47DD9629-FA72-42BC-AE98-EAD5E63F5BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5cda0b616c4016966049b2dd5b4470f6d23821b","datavalue":{"value":{"entity-type":"item","numeric-id":3392929,"id":"Q3392929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72845ec0b1b92e48dd4334294b7406b2fe949ea","datavalue":{"value":{"amount":"+0.7191787958145142","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":"Q2145316$0A8E7B5B-FBE8-4653-8271-FABC4D5A3766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a5f674636d1e0ada2a0e4fc8ea7ab85b3682ad","datavalue":{"value":{"entity-type":"item","numeric-id":1403322,"id":"Q1403322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e241e170e75112740a138259ce85baaa89d868","datavalue":{"value":{"amount":"+0.712224006652832","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":"Q2145316$E16EAD0E-2775-4CC2-9C5D-089E54E554D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb2919b8c677450ca49f709d5032bf758f1b853","datavalue":{"value":{"entity-type":"item","numeric-id":5261519,"id":"Q5261519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b4197ee8e361427d810ddf8ce90a821f975a71","datavalue":{"value":{"amount":"+0.7029387354850769","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":"Q2145316$8A6DC982-B90B-40AF-998B-B6AA66952935","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145316","badges":[]}}}}}