{"entities":{"Q5953451":{"pageid":8130253,"ns":120,"title":"Item:Q5953451","lastrevid":47728231,"modified":"2026-01-02T13:24:06Z","type":"item","id":"Q5953451","labels":{"en":{"language":"en","value":"A case study in class library verification: Java's vector class"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694305"}},"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":"Q5953451$D30B4CEC-4CDC-4F00-AE3A-3E72DCF10089","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1ece39ef0dffb3f7e3069a7988131c739319f5b","datavalue":{"value":{"text":"A case study in class library verification: Java's vector class","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5953451$F331D61D-5374-4DAB-84C8-977FF07399B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6a9ad20013aae71b8979724131ea9cf8b74432a","datavalue":{"value":"0993.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953451$BAFBBF0C-A60C-4BDC-9EC0-536EBD6FEC0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3772d5f7c7aac4e0fdecccd336d0d84f954a370a","datavalue":{"value":{"entity-type":"item","numeric-id":225075,"id":"Q225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953451$E0D37122-D55E-43FA-B7B1-D699161A6408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953451$7E1003E1-1C51-45C1-9820-A36EEB4100DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e70fccd12a2cc25958ca216ab9bb8dcd86b753a2","datavalue":{"value":{"entity-type":"item","numeric-id":225077,"id":"Q225077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953451$8E522BC9-64FB-4F53-B93D-417624E87ADC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953451$DE3946D6-8D03-4F4D-B79B-5BB030ADF47F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e50aedfef1e85fc4665e8a822897c0b5cc3f690","datavalue":{"value":{"time":"+2002-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5953451$003D9235-F736-4609-9149-A69455A5671B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9f232b8dc39bf258d7f48698668b2f9f5eb2796","datavalue":{"value":"http://hdl.handle.net/2066/18844","type":"string"},"datatype":"url"},"type":"statement","id":"Q5953451$91C1AC93-5634-4DEB-A4BA-28FA53952F53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953451$6389DBBF-E5F0-40AB-B272-5E5DF54CAC43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5adb9f3762dbc564b32d06d0d774103121db7501","datavalue":{"value":"1694305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953451$CD5E288B-A90E-4DED-B6D4-BCB0A677A755","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f17472e6be978faa48da37b06e59b0293cfb02b2","datavalue":{"value":"Java's standard library","type":"string"},"datatype":"string"},"type":"statement","id":"Q5953451$AC8137FE-3875-4E00-94FF-1B2DB2162B31","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953451$8DC4E822-CC30-4F8B-BD3B-C33C7D074471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5953451$7E8C2E81-392B-484A-A9BD-56C1A0B17089","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":"Q5953451$BD313C5E-D0BA-4A44-B473-A4F7ACF65A01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"059d01cefc568769a002f5d0b851710a8782cfcb","datavalue":{"value":"W2131664385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953451$CCE0E367-2708-44BB-B957-0D14C89389F6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0839c54ffce9d100f37b951f245d82e02f3adb23","datavalue":{"value":"Q126571602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953451$44C5F4BF-3243-4C25-9D8C-069B27D0C5BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"553fad12d06964ca43eeda117e19c54839bcdf3b","datavalue":{"value":"10.1007/S100090100047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5953451$BCA07B7E-9840-499F-9E1C-F8B58DCC345F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0f9422de53d67a24a575c54edc408626324949","datavalue":{"value":{"entity-type":"item","numeric-id":4808693,"id":"Q4808693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb9a81a9def9d14909d7b77620f84f174b866c7","datavalue":{"value":{"amount":"+0.7995375990867615","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":"Q5953451$340090E4-68D1-48CB-A764-78F6AE3BD68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfcee1337228d2b832d0586dc81ccf3907a10efa","datavalue":{"value":{"entity-type":"item","numeric-id":5716545,"id":"Q5716545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c256e8eaa406ea0f75b29246607045304ead74","datavalue":{"value":{"amount":"+0.7519775032997131","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":"Q5953451$8239DF9C-F6EE-4D60-8F6D-A1ADF1E37A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540c260737e4d2b312c3fbef94b4940936e1a8af","datavalue":{"value":{"entity-type":"item","numeric-id":5716910,"id":"Q5716910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1078004864ca102f2a6c3f49abd84da8a8e77940","datavalue":{"value":{"amount":"+0.7404355406761169","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":"Q5953451$D2FA7DF2-06A1-423F-829C-A9B77D40ACBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc2b1143b41820ec316c87ae158e220cd9bd863","datavalue":{"value":{"entity-type":"item","numeric-id":2771757,"id":"Q2771757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2fd1b07f4c2b0d8f72ceed001fd62862283d44e","datavalue":{"value":{"amount":"+0.7340542674064636","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":"Q5953451$DB24E8EB-C90E-4C83-B769-2F02A6C28DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f84f0ae4b42a61424d0d310cd9874fd5ee03b43","datavalue":{"value":{"entity-type":"item","numeric-id":3400557,"id":"Q3400557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"649bbd8c6e965a7982247d73d5da675580c5437b","datavalue":{"value":{"amount":"+0.725598931312561","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":"Q5953451$3E5A2416-D38C-4DE2-B3ED-3506190AF320","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5953451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5953451"}}}}}