{"entities":{"Q2942924":{"pageid":2953644,"ns":120,"title":"Item:Q2942924","lastrevid":85120250,"modified":"2026-06-03T05:57:08Z","type":"item","id":"Q2942924","labels":{"en":{"language":"en","value":"A type theory for memory allocation and data layout"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481294"}},"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":"Q2942924$889E4BFB-9685-46DB-9A86-2B2E3B7D2327","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0926715f1c587bbba0bc2366420588310babe7a5","datavalue":{"value":{"text":"A type theory for memory allocation and data layout","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942924$8CA47494-F9A8-455F-8571-45651CC9BA21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec8250ecf15b9bcd7333d874a5e66bddcd22a05a","datavalue":{"value":"1321.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942924$B94FAC94-0EA8-4239-8BFE-C6E4BE2C4928","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f8413537aed1d4c41da5c8e679ee2d5e9820a00","datavalue":{"value":"10.1145/604131.604147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942924$CE0FC0C9-34BF-4133-B979-7D4907EAE864","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"595df7410fb6eb9bb1866beae94c119df402b322","datavalue":{"value":{"entity-type":"item","numeric-id":2942923,"id":"Q2942923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$D13DEA92-8C2C-4A30-83EA-B8AC867AA323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$5B5AD25E-4D6D-4750-A740-85B155A40C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fbb79b50629b932bb23ebc740d514386b48edc3","datavalue":{"value":{"entity-type":"item","numeric-id":1629961,"id":"Q1629961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$CF099989-FBCA-413A-8FB0-4622A48A5263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$97395ECA-DAA7-4F60-9782-1616AEE4D060","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fe4faafe02e13d99969745e2d33def8fcff86e5f","datavalue":{"value":{"entity-type":"item","numeric-id":2942908,"id":"Q2942908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$96B34353-59A7-4471-AE12-5B72951AB2CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-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":"Q2942924$0CB1B9D8-0E0F-4692-9558-6092A1E9DFCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942924$F6BF8255-BC75-497E-A23F-83ABE7378167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942924$7E171005-52FD-4452-B506-5129D829DDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942924$62361A76-A910-43EE-8D1F-E2B0648E2765","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a31546a1509ad1afd14cec76ce17d34056e7fc31","datavalue":{"value":"6481294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942924$A0F4EC9A-A335-49F4-850B-9CAAEBB0BD59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6be860b21db7d21de6563f5c550146b5bd4dd0","datavalue":{"value":"data representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942924$7E23967D-2546-4CBF-B25E-D3873126859A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2da6c3b8c4510441be839d1869ca687bb1fe015e","datavalue":{"value":"memory management","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942924$573D791E-9D7D-4396-915E-E21B4B0F6FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a54f3e018cba00b3ea5e95a6220a58df0172b9","datavalue":{"value":"ordered logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942924$F2742FB1-9208-4F3A-BEA0-BD0280DDF1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942924$630EF3AC-D010-4A3E-B5D5-9F175A640A9E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb1fca4ee5c1238a4c8891e4fb1e1d7c9da30b5e","datavalue":{"value":{"entity-type":"item","numeric-id":27652,"id":"Q27652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$A518DD13-75A3-4BB7-B866-77E5169FC4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d706235782527c086190bdadd5c408c9fe2bed8","datavalue":{"value":{"entity-type":"item","numeric-id":53376,"id":"Q53376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$6E2DA48C-362E-46AD-93B3-BF022E4909DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ed4578a9e59fc37a289203f209d4dda4485f87a","datavalue":{"value":{"entity-type":"item","numeric-id":18755,"id":"Q18755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$E7700E9A-EC4E-4E79-B7DE-C3FCB724D377","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":"Q2942924$32B9BF93-44B7-40CB-8E65-B498DD88D20E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2c2d0e96aca6d8a8ab290f25656b00992db0cfd","datavalue":{"value":"https://doi.org/10.1145/604131.604147","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942924$AE03ADB9-9272-41B8-AC53-6E92F953035A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfdec733012628ecb4df4b75da5c3e0b1972c0ed","datavalue":{"value":"W2122142025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942924$3644F173-0DA6-433C-A240-BFFCF9AE0A15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$0D79EA05-C7ED-41EB-9D77-77F631A82332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea334578279375cd494f9ffbd32e4068cfda451","datavalue":{"value":{"entity-type":"item","numeric-id":4301602,"id":"Q4301602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$9C68A9A4-F6E7-478A-805D-20AC1D588D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329875360c314fd0af99b4311a7c2ffceaa68e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5178874,"id":"Q5178874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$1529140E-8445-4DF7-9A52-7DF58162899B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7f104c50f7164f6e83866a4193e8564362ebd9","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$00B1CF92-9552-4F04-946E-8B5B7305D0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351879948b4564c55d2d068ea5683d8ac895d03c","datavalue":{"value":{"entity-type":"item","numeric-id":4414525,"id":"Q4414525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$5770DA0B-4C94-440A-9371-F96B733F4F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$C6C9E11A-D228-4061-B37C-CEA269A9F731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$36A7D4A9-7390-4003-8468-2533F643AE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0311c2c4996c9c68c0443bd4383ed0d4a789f29f","datavalue":{"value":{"entity-type":"item","numeric-id":4409150,"id":"Q4409150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942924$4025E9A9-7A3E-4947-83D4-FFA637B02014","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e570014cd7d71fce325fdb06c8f964781f81abd","datavalue":{"value":{"entity-type":"item","numeric-id":4532095,"id":"Q4532095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d70d5bf59a34c681bba62915396f6f197aa194","datavalue":{"value":{"amount":"+0.6733288764953613","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":"Q2942924$2530B200-08A9-4FDD-8C26-F0F04A17C373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b845e1421d1a6da4c228aeed894167147b87e582","datavalue":{"value":{"entity-type":"item","numeric-id":2712583,"id":"Q2712583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a7800622f84d76f3249e44f8c59210feadb71b","datavalue":{"value":{"amount":"+0.6638352274894714","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":"Q2942924$B00D306B-E9D6-4349-B68E-0CB43CAEBE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd9049dc04f273838246555300ac435a884a7c7","datavalue":{"value":{"entity-type":"item","numeric-id":5458795,"id":"Q5458795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a7800622f84d76f3249e44f8c59210feadb71b","datavalue":{"value":{"amount":"+0.6638352274894714","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":"Q2942924$2953B3F9-2826-4BD7-95E5-1BC1B11EC7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d9c0e8cdff5fe9a673a1a383b99b0b6c7962ae","datavalue":{"value":{"entity-type":"item","numeric-id":5178008,"id":"Q5178008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a3b56810eb01d873e3ede611ac1719d48a11ce","datavalue":{"value":{"amount":"+0.6586840748786926","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":"Q2942924$92D49DEC-9A54-4D9A-BAE7-A4CCF9848D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4676ca314df2503e674cdc8cbf17b22d620583ae","datavalue":{"value":{"entity-type":"item","numeric-id":4518880,"id":"Q4518880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3028a67c04f33cd3fc2dce4ff347c6eb388fa295","datavalue":{"value":{"amount":"+0.654009997844696","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":"Q2942924$40D519A5-BE2F-4973-B9A8-998A2271A436","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A type theory for memory allocation and data layout","badges":[]}}}}}