{"entities":{"Q3012966":{"pageid":3023690,"ns":120,"title":"Item:Q3012966","lastrevid":51286322,"modified":"2026-01-17T14:47:49Z","type":"item","id":"Q3012966","labels":{"en":{"language":"en","value":"Correct code containing containers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918191"}},"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":"Q3012966$49054F36-9E65-418B-AA4A-12FE4C5FDCD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f63b5de98727c9f5252a47aeb3f21e5e9cff7cd","datavalue":{"value":{"text":"Correct Code Containing Containers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3012966$4E52055B-11B4-430F-98F8-0A9839F06EA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac7d4b503e0c7bd4cfdebbe19a4ca28e62e62543","datavalue":{"value":"1335.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012966$C2CF72BE-5D82-44B9-8175-2748641CF502","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7b3f0dafc1a32847a55c8a7cd46d239c933187c","datavalue":{"value":"10.1007/978-3-642-21768-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012966$41760894-066C-4396-B4EA-84CE342C0CBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04b9b333faef48487aee57ac4daec8c3dea61e77","datavalue":{"value":{"entity-type":"item","numeric-id":287380,"id":"Q287380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$B17940B8-AA4F-4A07-A382-D958721C9276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5151e47b3481ef47c9a033843060abd7b1dc0f3","datavalue":{"value":{"entity-type":"item","numeric-id":352949,"id":"Q352949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$D879C9FF-BAE7-446A-B8E7-B0B1F7FDEB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"349ed4840df52c7a6733fc259f3e63d228d04410","datavalue":{"value":{"entity-type":"item","numeric-id":604390,"id":"Q604390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$58B4E3F7-0E36-49E0-83E1-140F5749F0DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$70DEC4B0-7178-420A-A317-85621FFF9F29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3012966$E8DF4BA3-8272-4BE6-AF07-537067A27C56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012966$234BB185-5ECD-4B45-AFBD-BBC1F9F09423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012966$1A23E24E-D911-4B17-B8BF-7C1BED77B05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012966$44D0EC79-A842-4E44-9A9C-B4CC59070D05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8390a81c3b54e8be1b38310f48055d76256d6af7","datavalue":{"value":"5918191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012966$DC8BA561-FCCC-4F1F-B9BA-EA5011AAF82F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09bc3e06e17a36cf6c2cee313f85f4ede69f0738","datavalue":{"value":"containers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012966$56894D26-5CA4-449B-90AB-75EDAAB2E5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c50f6f299b28ee61b1675f63af1267482fef0a6","datavalue":{"value":"iterators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012966$A1AE7A2A-7556-43A8-8453-0740F7433171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9378037c08ab4b5e262b8a7cfb4189faf1e803e","datavalue":{"value":"verification by contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012966$4AE5E3EF-FD59-4ECA-B91C-49012F06F139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05dc785b08f0c6f72b85311e75356e9c72959eeb","datavalue":{"value":"annotations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012966$4325B692-E08F-446D-AFD9-2A24047B31DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012966$08F38128-C197-45EE-9A74-8049AE07A36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce86544bdab7467356aa5bc3b574b8f513c0ab83","datavalue":{"value":"API usage verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012966$B2F033CD-F1FD-4E8C-8368-4F8F731A476E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012966$B8E88DED-D994-47B4-BDFF-74370A41AA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7060e098a4700a3be10aa6527235e648638ffaf9","datavalue":{"value":"automatic provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3012966$0E8E41DC-4549-4DB3-9AE5-CE06E20B14D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$CD836D09-5AA8-4DC4-845F-D0C96D732DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$D48FE4C0-ACE9-462D-91EB-1E5D07766074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$BF45C582-26EC-421E-B6A5-C39093BA2D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"72973e2f3c2b37eaccccd6859e905abdf48d99e4","datavalue":{"value":{"entity-type":"item","numeric-id":17040,"id":"Q17040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$70BC28EA-0A12-4EDC-A46D-AD59F6540EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3672d7e02d9f1e10e36edaa35b5c5b486c0a28ca","datavalue":{"value":{"entity-type":"item","numeric-id":24314,"id":"Q24314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$BDF06870-3D3D-4A96-BA52-34B8545FE558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$545300B4-4117-46B0-9412-D5EA4432348C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$DBA7A6F6-6D86-4724-B342-C6052E88E954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$4FB6BFF8-7592-4B29-8201-FE8FB6FD5FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57021eb39ffb2ac1ceb12d9798bdbec0a12e72d4","datavalue":{"value":{"entity-type":"item","numeric-id":45250,"id":"Q45250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$D8C26597-70DD-4C06-B751-5A3A1C1C06F2","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":"Q3012966$3302D5BB-C675-486D-B0BB-74B80AFE40A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07d3ecfa0fc6f49213d683290fc821d9492f9c89","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21768-5_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3012966$439042FB-DEE6-4FCD-9605-464D14218533","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8da70c96971dae581fc77f7c9dae69c6c244512f","datavalue":{"value":"W34185828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012966$06B4DAFE-382D-435E-83FB-A81A4D76E5D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55279b562077235a83c8f027abb8a1db79401d8","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$E06B5116-5C9C-438E-9F59-EC499A99D40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa65580a37f1a15e222036995b50e2d2433afd75","datavalue":{"value":{"entity-type":"item","numeric-id":5452598,"id":"Q5452598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$1B9F7EF9-BD5D-44C4-A216-BFE048F6D4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$600E36BF-C99E-4B1C-AB0C-825A8584BA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$927C5946-1275-45F2-B2DA-7A07FDF6929B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b1fd65474e73bf7ed6d1c0109c90f143ebc0de","datavalue":{"value":{"entity-type":"item","numeric-id":5408543,"id":"Q5408543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$9D20F783-E7B2-4051-B75A-D6CC5FE7E680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3123ec656631567441720ea2f1a40bd7849a8927","datavalue":{"value":{"entity-type":"item","numeric-id":3575274,"id":"Q3575274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012966$8A8B07DB-3B68-4A55-AEB3-C698C0D1D81F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"329b58a863151cba924df22d0894e6bc3697fbcf","datavalue":{"value":{"entity-type":"item","numeric-id":5408543,"id":"Q5408543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f8941fca8a06922a242ce707c239f22160970c","datavalue":{"value":{"amount":"+0.7022624611854553","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":"Q3012966$A9282FAC-E6D0-4C89-9D4D-9D3A5B96565F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6f8e1c965abe84dc3e0a2fe45b36d24a78f3f6","datavalue":{"value":{"entity-type":"item","numeric-id":3653870,"id":"Q3653870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f823f9469c9200bbf3dbc3017de3e73d5cd5e4","datavalue":{"value":{"amount":"+0.669521689414978","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":"Q3012966$B8067BEC-04D0-4FD3-9A79-EF12D6B38F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b247565fd34f906c1708cfd2fb10fd7373feaef8","datavalue":{"value":{"entity-type":"item","numeric-id":5408525,"id":"Q5408525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6094593caaab3ae4dca2d14cadc3cb2fdc17bea7","datavalue":{"value":{"amount":"+0.6527712941169739","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":"Q3012966$CE2551E7-3678-41AD-AEDF-C84554EB50CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d4f6d76ded1ba189c2bc4b20ca07276a34795b","datavalue":{"value":{"entity-type":"item","numeric-id":2947225,"id":"Q2947225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe9242de9a7965afbaed3becb08e018497313f8","datavalue":{"value":{"amount":"+0.6311528086662292","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":"Q3012966$ED4A5FB8-DD7A-4694-8725-3BD0BEB201E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a16822d47a64a065288c8f5c9b1389718d7e5a","datavalue":{"value":{"entity-type":"item","numeric-id":5327340,"id":"Q5327340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"981fa2841893eb91c69de1c4d66a1612d48995a7","datavalue":{"value":{"amount":"+0.6295817494392395","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":"Q3012966$21C8300C-1ED2-4A38-9AC0-F2414F85F226","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3012966","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3012966"}}}}}