{"entities":{"Q40952":{"pageid":41008,"ns":120,"title":"Item:Q40952","lastrevid":105427544,"modified":"2026-10-09T10:07:49Z","type":"item","id":"Q40952","labels":{"en":{"language":"en","value":"Light-weight Containers"}},"descriptions":{"en":{"language":"en","value":"AFP entry Containers"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"b6d4280f40b2a1ec4f827560638332e90b0ed4ee","datavalue":{"value":"29238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40952$04A7D28F-F7F8-46EB-BCFE-F95F9EBA0DB2","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"111f4f198bf14e992b838694daf385e66a86a481","datavalue":{"value":{"entity-type":"item","numeric-id":5327340,"id":"Q5327340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$5F5F915F-4913-44D2-B46C-95C5AE5CE076","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$8E900CFD-61BD-46F2-B8A3-336092D16C7B","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"1b61db3e2243b263e1e9f7478cac09b14bb4245c","datavalue":{"value":"https://www.isa-afp.org/entries/Containers.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40952$730DA4D9-7944-4422-8548-42D814AC8EA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40952$C1AB587A-A08E-4FED-B5D3-7EF389AA9D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40952$C74D89D6-DD6F-4E37-BEE7-BEA7DE6873B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40952$FCF58CBE-41A3-40EA-969F-903E464EE869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40952$7A22AAF2-EE44-40EA-99CE-9516B41FF0AC","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$3E4E34EA-C730-4AF2-AAD3-485C07653DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$A35B2961-3967-469B-8DC0-82A9EF754DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$433108F5-1D94-44CF-8736-C3B9DFCA0821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82155c8d1da98891c9daad267405a7d93979d3b","datavalue":{"value":{"entity-type":"item","numeric-id":33165,"id":"Q33165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$99992EAA-985A-40EF-91CA-7DD6AF3DC02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f1bbc3872a55b3dfa074c96d37fd46f076f92caa","datavalue":{"value":{"entity-type":"item","numeric-id":24736,"id":"Q24736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$0A02EDE0-CE6B-44A2-817A-D71EBBB99669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$1007BCAC-4BAD-400A-925A-A719798A0D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"10b7d941d6abf28fdd67a2888fcb5bdb38af5b4a","datavalue":{"value":{"entity-type":"item","numeric-id":21954,"id":"Q21954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$F7A18C9E-B34A-436D-93A4-44F692EEC560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1ea36b18d1100b14566f5fb5bdf0ae30a61cf30a","datavalue":{"value":{"entity-type":"item","numeric-id":29451,"id":"Q29451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$68A1D577-631C-465C-8A4B-4F1802AA66F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"acf5d0da134f7563af94342a3a34b9ca28cd59db","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$284F8D41-DEB6-4E9B-811E-E1CAA30F655B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$9FD4EBA5-928A-4B2B-8A18-3344A68805E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$596AE190-9DAB-408C-BCE3-0C35E4C61AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0e25be57e1296470c78e495e58e23e70a4054e25","datavalue":{"value":{"entity-type":"item","numeric-id":40549,"id":"Q40549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$43FDFDE9-59D1-400D-8047-29DF26E11B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$50A5A52D-68CD-4539-8F99-F462ACA7FECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61d0c0612cc30c9c51b93ddaf1f78ee1ae75f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$CC1A2132-ABE9-44B7-9B24-4AF0365CEF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4bede6a37ebe08319061984bb68beaa8e4664a82","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$E21D7488-3B69-4286-AC4C-B8C7B105367C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$F1CDF90C-60ED-40AF-8B89-F5E2CCDC8327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4244bd21b3a60c5b7dc07ce4b342a92594fee47f","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$56993495-09D2-4754-BBE2-AF267BF91EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2a96bb5045b82d21b3f733cd8146f1a4697f9635","datavalue":{"value":{"entity-type":"item","numeric-id":53234,"id":"Q53234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$A887C010-1BBB-4EE7-98EE-6D6157F977F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f90434dc9f18c178947daa52c2a32e7da8d366f","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$298A434D-762A-48CB-886D-FE1100D136EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ccd7c23611121c89db07baff257ef5066249de09","datavalue":{"value":{"entity-type":"item","numeric-id":44336,"id":"Q44336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$A4398BCE-20D4-46F7-8668-D70D55669C96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dd32165305370daa4357774b2a6937f7989ff5c","datavalue":{"value":"https://isa-afp.org/entries/Containers.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40952$ED98E3A2-B29B-4ACC-A1FC-F13A0CC56F2A","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q40952$C5B66A54-551D-4557-B232-00AF3BC3E7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q40952$6A583B7D-FC99-481F-8A01-4281E96967BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a2a8788a37162d711761b56f9342e32126bf07c8","datavalue":{"value":"This development provides a framework for container types like sets and maps such that generated code implements these containers with different (efficient) data structures. Thanks to type classes and refinement during code generation, this light-weight approach can seamlessly replace Isabelle's default setup for code generation. Heuristics automatically pick one of the available data structures depending on the type of elements to be stored, but users can also choose on their own. The extensible design permits to add more implementations at any time. To support arbitrary nesting of sets, we define a linear order on sets based on a linear order of the elements and provide efficient implementations. It even allows to compare complements with non-complements.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40952$12EAC7AB-C002-4B7F-851E-3D332BB588C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0d795517e293a55fbffeee6d84c637293c8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$124EA397-5EE1-4DDF-BC7E-790F261C44C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a5a326924c9f9f3cf0f5061fb0ff950ccfad0d","datavalue":{"value":{"entity-type":"item","numeric-id":5747660,"id":"Q5747660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$BC9E3F59-4FD9-40C8-AFBF-46AC330BE2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a1ce015f9a6115f5e15ce96a4b6a73ac4d89f9","datavalue":{"value":{"entity-type":"item","numeric-id":5327340,"id":"Q5327340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$F8E454AE-B5E5-4B53-BB56-3CE123EFBCDD","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"27e971e25f48a406ca09caf18a9e463d40cb63ef","datavalue":{"value":{"entity-type":"item","numeric-id":7361166,"id":"Q7361166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$5D2703C0-BE6E-4733-9451-11780C7870E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"f0d6ccc9a00d2d1e3be7ec2239689671c14dec25","datavalue":{"value":{"entity-type":"item","numeric-id":7361918,"id":"Q7361918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$F1BDF20F-3E00-494B-B037-30D213567573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"edaae9fe0e5779978f85e3c7bb7897012bfd4b62","datavalue":{"value":{"entity-type":"item","numeric-id":7361610,"id":"Q7361610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$8C16F888-E0C0-4389-BA5C-5E93FCFDF362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"0c28ea3d362d403c1dd31bd7ebf53bc307ddee39","datavalue":{"value":{"entity-type":"item","numeric-id":7361172,"id":"Q7361172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$FE4D9BB9-5396-4DE7-9018-9DCB3D6800CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"a0e462408f240420e2b3f4dd5e025dcac9e4a9cd","datavalue":{"value":{"entity-type":"item","numeric-id":7361044,"id":"Q7361044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$ACC7CA1B-D2A4-47F0-8649-90F07CAAF2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"b3a2297d5bff32b90586f57127478a7b0e327c28","datavalue":{"value":{"entity-type":"item","numeric-id":7361170,"id":"Q7361170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$8F96BDC0-3B42-4DC1-BF9A-C890C4412328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"765cd593eb4c0a85f684310f1c77606d8c65d861","datavalue":{"value":{"time":"+2013-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40952$17782AD2-3118-42DE-B00C-0F715CF8ED52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"476cb69ea007408fa33cf69edb367f6d42d5f55e","datavalue":{"value":{"text":"Light-weight Containers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40952$97221014-9A3E-43D9-A517-A2ADBF423576","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$0676BA77-F3DE-4E49-A851-86DC88FF3E8D","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef7bddd24a035fe32f48fd95ea6033928a9b8e67","datavalue":{"value":{"entity-type":"item","numeric-id":7360788,"id":"Q7360788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40952$5EC76EDD-AA0A-4776-B91D-1F06434B8D10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Light-weight Containers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Light-weight_Containers"}}}}}