{"entities":{"Q6536125":{"pageid":14147268,"ns":120,"title":"Item:Q6536125","lastrevid":103506209,"modified":"2026-06-06T07:30:33Z","type":"item","id":"Q6536125","labels":{"en":{"language":"en","value":"Specifying and verifying higher-order Rust iterators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7827801"}},"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":"Q6536125$E7A871E5-2B6D-4639-8C7F-855495139BD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0d2097ab0936c12afad33dec4999229aa89f002","datavalue":{"value":{"text":"Specifying and verifying higher-order Rust iterators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536125$7141B469-75CF-4C42-877F-03D55030C40A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5448763123e0b6d2be4419be9f02eabdd1659ef6","datavalue":{"value":"1547.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536125$86845F84-1954-4BB1-95D2-DD1303CE9CB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7056d30a00d772a460f6ef52a839ffb1d4f6d37","datavalue":{"value":"10.1007/978-3-031-30820-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536125$934BDBBA-B502-400C-9DF5-CC229403544A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfd05292dbc369d5ecdf0662b5c2a784e18cc940","datavalue":{"value":{"entity-type":"item","numeric-id":6536124,"id":"Q6536124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536125$2EA6C78E-5F08-46D6-823C-5706EA068950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95adf6d56afbfd4ae328bf851da3bfec0b11905c","datavalue":{"value":{"entity-type":"item","numeric-id":1650958,"id":"Q1650958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536125$7211EE55-5206-404F-A186-E1706378A0C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536125$C0C3D4D2-A287-4089-B6E4-DD1C0C706566","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536125$ED109F5A-7DAE-46B0-9937-1116ED04354A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536125$3401A42B-4F89-4117-97FC-0EF1149D42CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"633c4b094e4eae738fc887b92ec812c79e8c839f","datavalue":{"value":"7827801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536125$82892B8E-0399-4CE0-849C-603A872C82EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d92a3ba2f584b3d860daf3d0e53fecd3df01614","datavalue":{"value":"Rust","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536125$1B7232B5-EE02-4703-B59A-097414989682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa74f946f4a7cf49359214ccbeddb232ccd2dee","datavalue":{"value":"deductive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536125$9E18F18C-BD5B-406C-B63E-31C97F95253A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c50f6f299b28ee61b1675f63af1267482fef0a6","datavalue":{"value":"iterators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536125$E3122E16-135C-4BE4-A99A-DAC62C04173A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fe1a35bf6075287c83bf5cf13f9423d82591c05","datavalue":{"value":"closures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536125$8183222E-7AC7-48EB-BA89-CB820FF1F320","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":"Q6536125$F2F21B5D-BA02-466B-BA42-8604BED62344","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536125$8EF5529A-1E1C-401E-A684-EE99CA8D36BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caae280f68c4c75b7241ece1c9cd53ba54f97d20","datavalue":{"value":{"entity-type":"item","numeric-id":5041108,"id":"Q5041108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536125$A8A8BC4E-FCEF-47BE-89AA-9FC88F0CD2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422aaa623eb5f87aeca9f244e6f007c7eb8ce2c","datavalue":{"value":{"entity-type":"item","numeric-id":2796035,"id":"Q2796035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536125$6651F6DB-AA48-4ECE-9604-83011A1F03F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0b19ed430efa00b5cabf1a1ac8207f3b19f572","datavalue":{"value":{"entity-type":"item","numeric-id":3521994,"id":"Q3521994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536125$C6B9092E-4C1C-4032-9FFB-2902CEB601B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1068cadfed087ce7fd4316e6bfe2bc5ea7d832b4","datavalue":{"value":{"entity-type":"item","numeric-id":5041108,"id":"Q5041108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5259e538cac9c9f327c3e238e6c3074a65f26679","datavalue":{"value":{"amount":"+0.6897438168525696","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":"Q6536125$61560797-6EFF-4436-9BF3-3BDCDAF64474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62a3e1ad6d3adcef7c858b6dc71b22aec9d1f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2936804,"id":"Q2936804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90a2ae73ab1408ca284296b417f311cd0baeed4","datavalue":{"value":{"amount":"+0.6834591031074524","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":"Q6536125$D5132844-5CDF-4C60-9797-8A039F5C1A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a386429ad2b4f3e81c443c6d8da4c1385eb5f3","datavalue":{"value":{"entity-type":"item","numeric-id":2988670,"id":"Q2988670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70cce92872db92b1c1d27fb47a4d07f7a919d224","datavalue":{"value":{"amount":"+0.6770875453948975","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":"Q6536125$B4DF303E-B506-4360-8DEB-106CE1777155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991ccdc7101444c3538beea1801b7ec9de90cd87","datavalue":{"value":{"entity-type":"item","numeric-id":1653017,"id":"Q1653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496d5d7f50516ebcf9b9d5b202adc69fbbc18cff","datavalue":{"value":{"amount":"+0.6686556339263916","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":"Q6536125$B4A68A34-BDC9-4EA0-BD15-74DDC19E6CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487f8c86f5a5f9188677aaa27c7b93e3da56855c","datavalue":{"value":{"entity-type":"item","numeric-id":5740641,"id":"Q5740641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf77c1c04350c11d5e4802c155c32bd42258cc6","datavalue":{"value":{"amount":"+0.666124701499939","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":"Q6536125$AA2210A2-6BC8-4ECA-A133-A2AB9434B685","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536125$BD34DF66-4DFF-43FC-A8F0-EAE29DBA714D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specifying and verifying higher-order Rust iterators","badges":[]}}}}}