{"entities":{"Q40324":{"pageid":40380,"ns":120,"title":"Item:Q40324","lastrevid":105427331,"modified":"2026-10-09T10:07:22Z","type":"item","id":"Q40324","labels":{"en":{"language":"en","value":"Collections"}},"descriptions":{"en":{"language":"en","value":"AFP entry Collections"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"77988483b5a1e9107bc3151feb5c68177e079b9e","datavalue":{"value":"28610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40324$09023553-41BE-49FA-A382-DDBE44C3A799","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":"Q40324$A901896F-F048-4756-901B-B9B18A7AEE5E","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"c31d7445e01d2bd9fff323c8ee9de4bfd6adf03e","datavalue":{"value":"https://www.isa-afp.org/entries/Collections.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40324$54E58941-829F-4B0F-87AA-74D8B717A199","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40324$06DF7F51-242A-49B5-9AC7-E2FA64D40E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40324$600D005F-0BDA-4870-A832-7354EAF292CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d524cbea14b3375266fe3893cb26a33f13ae791e","datavalue":{"value":"5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40324$A6BC0D33-9EAD-44C8-B712-FCBE1275BFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40324$FDB41961-1EF7-45AC-A977-B47A9C235DC0","rank":"normal"}],"P1458":[{"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":"Q40324$68195647-D4C2-4AEF-9007-D3F22048C65E","rank":"normal"},{"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":"Q40324$7CFB9C18-4F51-41A2-ABB8-95D6C9BBC168","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":"Q40324$6AA4BC95-23F1-468F-8F39-07A25C9BDA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"587eb1ff352d74d75ec39594cac10abdfc1440c2","datavalue":{"value":{"entity-type":"item","numeric-id":40265,"id":"Q40265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40324$01453F65-9292-4D37-980B-4B3B51C51D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40324$67E80736-AA8A-4AAD-92AD-0885D9CD2728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ac6e4b2309e3317f96b1f72a4f626411283f5bc5","datavalue":{"value":{"entity-type":"item","numeric-id":40629,"id":"Q40629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40324$A01BA883-9C25-4170-B1BE-FF092B6256E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5e206e7a803121c179c257c0b4386d68cd679bdc","datavalue":{"value":{"entity-type":"item","numeric-id":40949,"id":"Q40949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40324$5A90A400-7E05-4549-A4D3-949A26AC944A","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":"Q40324$BE21807B-5CF9-4E15-9CF7-28AD21871E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ddc73790b943247ac5d31e93e5650cded042a20d","datavalue":{"value":{"entity-type":"item","numeric-id":40630,"id":"Q40630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40324$0CBAC3F0-08D5-4B1E-96D6-ED8A21F05B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"49e50e47afa945ee89342e15ef65a73220081841","datavalue":{"value":{"entity-type":"item","numeric-id":40360,"id":"Q40360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40324$716D1072-9B01-471F-9C9D-A37533AAC022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40324$E1F6C4D8-6CFD-4E0B-BCC7-FA6EB9023B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40324$4921CC50-EBD6-450B-A4BD-980FE6D0AEC7","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":"Q40324$8C5483AD-BCDC-45C8-AAEF-03784229DEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"07eb0f28b45c8f9b5cf112bbf02e95717fb938ca","datavalue":{"value":{"entity-type":"item","numeric-id":25202,"id":"Q25202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40324$B90077E3-EE69-4D90-A10B-D352F33A52FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"73bdf83b845075653e4f87bf9bebb10f97ebc7d2","datavalue":{"value":{"entity-type":"item","numeric-id":26832,"id":"Q26832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40324$5F72FE3B-01BA-4ECB-8E0D-7642296F7DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"845fea984bd3d6706acc856d0595755051e72c0c","datavalue":{"value":{"entity-type":"item","numeric-id":40263,"id":"Q40263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40324$45E0BF7C-2114-4CBE-A51C-B7F5E2FC69C4","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":"Q40324$CA98E3A4-5826-4DAB-85CC-6691B5AA689A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ccca80b6de24b80a4ce2a4ab4e48d31e9686f36a","datavalue":{"value":{"entity-type":"item","numeric-id":40262,"id":"Q40262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40324$F6647FF1-743D-4761-AEDA-FDCB32317297","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"327568d4cfd13dd3fe67d649aa6bed0825c405ba","datavalue":{"value":"https://isa-afp.org/entries/Collections.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40324$1FB50EEA-3620-4B09-8DA7-9A87491F5504","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q40324$3395AD14-9730-4F3E-816E-EFBF8851BE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q40324$D5690584-6DD2-4D16-B705-53D72DCB3A44","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":"Q40324$9FFFA8E2-DDD0-4544-A645-C1BF756B52BB","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":"Q40324$12281354-56DA-4FF4-A4F7-13935F6E252E","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":"Q40324$386F8CD5-145F-4149-9F99-37658D0DBD5F","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":"Q40324$AC728123-1026-417F-AD99-1033A0AFA0B6","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":"Q40324$8BE0DF9D-4E4C-46AE-8CED-D093D7605DF5","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":"Q40324$85A98794-4DE6-47C8-8143-BCC9916CA5DB","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":"Q40324$0CCE7E69-B981-4208-A299-597745E94C78","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":"Q40324$F2DDD926-CBA9-49CF-8EFE-C2F6272B776A","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":"Q40324$E16BC2CC-6E52-402A-BAC8-109778210A38","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":"Q40324$07C8FB72-7C37-4F9D-90F9-B175C3B74AAA","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":"Q40324$45674F56-CCF1-47F2-9EED-5D7B22FED37D","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":"Q40324$FF7DD452-2041-4F36-8DF5-BEB684079657","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"905239e33b045086e9080f639d7cfcc2b6774efe","datavalue":{"value":{"text":"Collections Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40324$CA8D397B-93DC-40EA-B6F2-4FD7F6397845","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":"Q40324$051125A7-D3DB-478A-81AB-9FF0BED60EBB","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":"Q40324$3663E477-50EC-4AEF-BF7A-A7C4DAA0ED10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Collections","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Collections"}}}}}