{"entities":{"Q7361918":{"pageid":31521293,"ns":120,"title":"Item:Q7361918","lastrevid":105370328,"modified":"2026-10-07T13:39:08Z","type":"item","id":"Q7361918","labels":{"en":{"language":"en","value":"Collections Framework"}},"descriptions":{"en":{"language":"en","value":"AFP entry Collections"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"327568d4cfd13dd3fe67d649aa6bed0825c405ba","datavalue":{"value":"https://isa-afp.org/entries/Collections.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361918$D4252178-6164-4F6D-8EAC-9F83E4DA8172","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74360fd0e383eeb4108c100504aea295aab7ad39","datavalue":{"value":{"time":"+2009-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361918$A1BE6EDC-3404-45DB-8A83-BF54D8C32863","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361918$D0E86FEA-B230-45BE-B6FB-B5408B60A1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361918$220527D1-2D9A-4EDC-BEB2-0EBAD368F5F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"905239e33b045086e9080f639d7cfcc2b6774efe","datavalue":{"value":{"text":"Collections Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361918$CCEE7628-15F3-41B3-8607-0109815D677D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"57a56de7b198249a5766169c42e3a52aa8b4ddbf","datavalue":{"value":"This development provides an efficient, extensible, machine checked collections framework. The library adopts the concepts of interface, implementation and generic algorithm from object-oriented programming and implements them in Isabelle/HOL. The framework features the use of data refinement techniques to refine an abstract specification (using high-level concepts like sets) to a more concrete implementation (using collection datastructures, like red-black-trees). The code-generator of Isabelle/HOL can be used to generate efficient code.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361918$BD0464C6-8561-43E8-814F-7AD720A51735","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361918$6F414332-B3BB-45F8-B866-AD1480F752CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361918$EE0E319C-A098-4A09-AABE-FDDA224937A1","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":"Q7361918$A441EFEF-665E-4CCB-9523-568212082181","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":"Q7361918$AEA07D27-B0CB-4DFD-A79B-56CB9FD1FD92","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c831ccab6e827da159cf571d2fcdccb4094b5b7f","datavalue":{"value":{"entity-type":"item","numeric-id":7361088,"id":"Q7361088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361918$91D41FEE-B281-42D1-BB30-DB087091E222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"57153f9096aa0dddca483f863db49f1a20c72ecc","datavalue":{"value":{"entity-type":"item","numeric-id":7361530,"id":"Q7361530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361918$B10DE6E7-658D-4BC3-8932-A36837CCDBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"472350d0e5dd5ba9def2e15a38c587b54d3979fa","datavalue":{"value":{"entity-type":"item","numeric-id":7361428,"id":"Q7361428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361918$91118748-3236-4FDD-A927-220B8A92FA9D","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":"Q7361918$0C3747CD-F5EC-4447-9922-D41017E60E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"1518b44e9920a7e58377edf0d25bb1683f308560","datavalue":{"value":{"entity-type":"item","numeric-id":7361163,"id":"Q7361163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361918$D1E0DDD5-4EF3-443F-B67B-BC9DF956CA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"8abf13f6ac778743b812d2b96e5b400a9714604e","datavalue":{"value":{"entity-type":"item","numeric-id":7361144,"id":"Q7361144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361918$A638563E-517F-4736-AE2B-C3517C3A8D58","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":"Q7361918$DC7A25C8-6566-4A10-8AFB-E2BC0E296547","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":"Q7361918$7AA4426A-88C3-4DA4-9D2F-88A1036D885D","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":"Q7361918$08B84646-D4D5-401F-9174-31A7219DC92E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Collections Framework","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Collections_Framework"}}}}}