{"entities":{"Q1725846":{"pageid":1736587,"ns":120,"title":"Item:Q1725846","lastrevid":68866368,"modified":"2026-04-13T02:44:20Z","type":"item","id":"Q1725846","labels":{"en":{"language":"en","value":"Verifying OpenJDK's sort method for generic collections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7024053"}},"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":"Q1725846$A21666F9-4031-4B76-8AC9-7BCCA8F9FAF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5907e57ee60f46e7ad811ad21fd8accddae6b5c1","datavalue":{"value":{"text":"Verifying OpenJDK's sort method for generic collections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1725846$34D2634B-C37C-4D24-A52E-B3A0FCB0436B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"770d35eb9f0bc0e89d19686aebb3dcc8631f8a74","datavalue":{"value":"1468.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725846$D7DEE523-85AC-43E8-A5E3-7872B32D3E3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$A295EEBC-5EEC-4862-AB6B-69B7805B9152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc8ce92eca2e3c80d93d3d73f34c70e2fee7fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1675814,"id":"Q1675814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$22D28D2E-62E6-4E08-BD70-CEE2F948686F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$F6068528-B45A-47D4-9563-FE1A7FEA4A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$5D1C8F98-4DDE-4431-8825-20C64E757E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6c406ecd06b3ea55be08348408af877a7eddfda","datavalue":{"value":{"entity-type":"item","numeric-id":777888,"id":"Q777888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$7DD2BF13-C434-486D-8FF1-95EB38476B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e006463586296b6604df0526236cdd07ea4c259","datavalue":{"value":{"entity-type":"item","numeric-id":439943,"id":"Q439943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$8E6DC73A-DA29-4353-B70E-74A75B97C069","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$A2720982-8AA7-4D19-B7AA-7F7317D7413E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56e643f96455f9cda8b271b0f1d8d991a4ead17f","datavalue":{"value":{"time":"+2019-02-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":"Q1725846$9492774A-FA70-4919-9B65-FA774D24A5A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725846$50D0804B-0E60-4B99-8300-A9DABB1C1607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725846$47940B87-4E01-417B-AFF9-25A5D375CAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725846$95EF62D5-C5DB-4D70-B1A5-559972FF35E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"324f2f8fabaf5663fc76de1f02890895f051a76f","datavalue":{"value":"7024053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725846$4C946F95-2809-45E0-B5CB-FE598AF6D4BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725846$6C7C0525-2A4C-4520-993A-35837732BB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725846$BB9B4746-A08E-40B1-871E-E53D13F67260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dc9283eec564759c117cc6888635408907541c0","datavalue":{"value":"case study","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725846$E96ECBE7-EF34-4BA6-B649-561B7FB90790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725846$96881E24-F595-4EF7-9B5C-FB93FFAA0FD2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7d007b8ac7826b3af6e54daf0abd1bbc4ccc413a","datavalue":{"value":{"entity-type":"item","numeric-id":42662,"id":"Q42662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$65EE6957-5DEC-431F-AD62-8030F4A34638","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":"Q1725846$C04BBC27-2EB9-43E3-909F-D70493D96B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$82BFEC04-EA06-4A66-AB87-BAF7E8F175BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e751138e8b150b28783c5a210048f6817120432b","datavalue":{"value":{"entity-type":"item","numeric-id":32511,"id":"Q32511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$2FD5B065-3D9F-49C2-8682-EB15B339F327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$39C17967-5CA6-4DA6-A4BB-0AC251F9417C","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":"Q1725846$F818CC24-4EEC-473F-8BE1-37523946AEEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8d0995bef010da4177f1ee3fb8344a00f79dbe4","datavalue":{"value":"https://doi.org/10.1007/s10817-017-9426-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1725846$61631A76-3EBA-4B8B-9F1C-8D4F52F56DEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34a788d76dce0dc30ae7a2644d10cf869cfc7f18","datavalue":{"value":"W2751853904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725846$ABD7ADBE-A170-4820-8B14-76B16BC1AFD6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9cb7e58145e5fbb61fee4e626533f45d88210707","datavalue":{"value":"Q59527937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725846$DC30654F-BD01-4B8C-97FB-B8663BEEA44F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$EE44734A-757B-49F9-BD1D-0F1E853AA636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8773a932431602bdddce87be2ab32e5880c2dfc2","datavalue":{"value":{"entity-type":"item","numeric-id":5639351,"id":"Q5639351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$5065C68D-0973-4E1B-BC7E-6EBBC5CFC6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74bb22a60e02eca9f5554979a5792a64d443ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2351413,"id":"Q2351413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$635DDF53-8F4F-44CD-A4CB-9759B8D775B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47787c0b51efa92c8186b6407bb13cd8fe6c6b03","datavalue":{"value":{"entity-type":"item","numeric-id":3140453,"id":"Q3140453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$F8381F5E-9E8D-471C-81DA-5C983FB0243A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edeb99abc2ef267bc55a087da9c1ab777ef3c216","datavalue":{"value":{"entity-type":"item","numeric-id":5316441,"id":"Q5316441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$88CF54E3-E9C7-42C0-B84E-4574D134B549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$EEFAEF18-39E6-48CC-8A11-CB27CFB57539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3efdd804902792cda1413ddab1149ad239ca2487","datavalue":{"value":{"entity-type":"item","numeric-id":2351394,"id":"Q2351394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725846$A6CBE949-6FEF-45B8-9F87-3C22695CB52A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f910c8406ec1edec5e91596228f1d19f50288e3","datavalue":{"value":"10.1007/S10817-017-9426-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725846$F6A10F0B-D202-4476-B093-B66B6FD6A395","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4b2139f18d42c7390c5102032b748e09004d79f8","datavalue":{"value":"journals/jar/GouwBBHRS19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725846$29FAD3B8-30B5-4D5A-B7FA-8840DE785A36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551f66a7093503e5bd660f45a7f898f4d86d64fe","datavalue":{"value":{"entity-type":"item","numeric-id":1630025,"id":"Q1630025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd1f96fd1f7a0c18fb68d8f4946ec9611f93f8f","datavalue":{"value":{"amount":"+0.8152925968170166","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":"Q1725846$6C649409-94B6-456F-80DA-F400A61EF3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4c7d19a543f7aa99bc0129cce503781ed001a6","datavalue":{"value":{"entity-type":"item","numeric-id":5277907,"id":"Q5277907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3394014bad3333a1bc54da2702e0b5660691870c","datavalue":{"value":{"amount":"+0.6893631219863892","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":"Q1725846$D811AB96-7C4F-4E21-8D45-6BEE0B5AAAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1acf2cb25495d431cff09f58f3e90a393874504","datavalue":{"value":{"entity-type":"item","numeric-id":5505432,"id":"Q5505432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9aaf08573da790a3e3bf7c28c65f2f6d8c457b5","datavalue":{"value":{"amount":"+0.6857669353485107","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":"Q1725846$0F578A67-495E-4D06-A57F-B137942C72E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1881212b2b2aa94a11d6fac324394083841fba6e","datavalue":{"value":{"entity-type":"item","numeric-id":5009561,"id":"Q5009561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498d56d28e19691d5dd86ed20014161981bbb493","datavalue":{"value":{"amount":"+0.6799610257148743","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":"Q1725846$ED384528-E5F9-48BD-A440-E0CBBB501768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb7c2e9637caecb5da32b36168ef13c8e571b32c","datavalue":{"value":{"entity-type":"item","numeric-id":6487931,"id":"Q6487931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd94e6bb3c3c1d36a2dab07557ac019df16fed06","datavalue":{"value":{"amount":"+0.6770966053009033","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":"Q1725846$CE7753F8-68A9-4D30-AA48-0A743F1B2298","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":"Q1725846$B0E50E86-7D43-49EE-BBAB-9379155E1462","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying OpenJDK's sort method for generic collections","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_OpenJDK%27s_sort_method_for_generic_collections"}}}}}