{"entities":{"Q5505432":{"pageid":7534992,"ns":120,"title":"Item:Q5505432","lastrevid":41204995,"modified":"2025-04-19T04:31:17Z","type":"item","id":"Q5505432","labels":{"en":{"language":"en","value":"Verification of Java Programs with Generics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498148"}},"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":"Q5505432$19DE6CE4-F00E-4E02-87B6-7AF2FE8503C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28e45cede365f48173bb385d70bc48af8286e5fc","datavalue":{"value":{"text":"Verification of Java Programs with Generics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505432$E826727C-9265-4AB6-8135-B28E8498F0D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a529a9ca6c651b9857890c2c332edbe9572bdf4","datavalue":{"value":"1170.68528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505432$F4C549D9-B20D-4FFD-9392-DD4638D3C7D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8271cb59e7fe950f0d343fd60d5081d4fc3428dd","datavalue":{"value":"10.1007/978-3-540-79980-1_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505432$AD96D169-4E88-49DD-BB3C-2C4D75D1EEDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3abe0b287a03f6d8f6a76fd3921bd93a57d21b86","datavalue":{"value":{"entity-type":"item","numeric-id":1419887,"id":"Q1419887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505432$5F1E5805-430D-4A2B-A265-50AAC67734EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd5c3da62925df4edd35a088a57ba7a8fd4827d6","datavalue":{"value":{"entity-type":"item","numeric-id":5505431,"id":"Q5505431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505432$5D026B4A-32D2-4FFD-8D39-EFDB8B816796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dfedb9e8f39a520fe833d6538db6dc39854cff4","datavalue":{"value":{"entity-type":"item","numeric-id":539222,"id":"Q539222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505432$B5B046C7-D179-4AB0-ABAF-69C6D3A455D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505432$4EC52E6A-51E3-4824-B4D7-C82EE6F7DED8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505432$334F8CBD-4297-4B4B-AE5B-2D3E835B57C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505432$414C1840-88D2-4051-9524-BAA69BF0801D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505432$25BC8B56-B873-4AE6-A37C-C695AC71E03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505432$A0FD462E-17FD-4B91-A35B-6258187091D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e2cb70c1bc0d980b8f35ebe9ea37a275d1487b9","datavalue":{"value":"5498148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505432$F8260FD9-846B-415C-9FC5-2B3993420EDF","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":"Q5505432$F6FFC86D-96C3-4684-AC4B-91E123C06789","rank":"normal"},{"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":"Q5505432$DA1BBDB1-9236-4095-AAC3-A5FDBB5099C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505432$43F82D8F-E47A-4FAE-9BA6-36CC5738EC3A","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":"Q5505432$F37B6FAC-CC5B-4065-BBE4-EE37F02E6712","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7008390af459ac61ecb58bf9085cc390f571d44e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79980-1_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505432$6E0BB9A5-90F1-472B-AB06-9F47F48567DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"491b3afe4853f29cfc669655631e61f319baa674","datavalue":{"value":"W1590951149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505432$F2496C3F-6F60-4806-A65D-C532888C619E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505432$D6A2181A-2F3C-4DA4-8738-F9F27D093FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505432$CB35418C-9555-4FB1-B605-8E7ADF0404D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d0768b512a163bd313b44078a22fa3a6a64e00","datavalue":{"value":{"entity-type":"item","numeric-id":5312984,"id":"Q5312984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505432$CC85780C-6D7C-4196-A96F-5832FAC598E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddd8cbb64d539857cacbe7cdb050d3d43884a13","datavalue":{"value":{"entity-type":"item","numeric-id":1881670,"id":"Q1881670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505432$F98E593C-014C-4A30-A386-C1ECF5B38485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0c78eba5e5fd5c0a92eed25371302058474624","datavalue":{"value":{"entity-type":"item","numeric-id":5313002,"id":"Q5313002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505432$405C566E-AA8A-4CE4-ADC4-6E445EF1AD74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fef10785ba3147b129147c393779f9863b9a70a","datavalue":{"value":{"entity-type":"item","numeric-id":5506391,"id":"Q5506391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c51561ee3657d42c78bf63939f3a2b19a38a807","datavalue":{"value":{"amount":"+0.9030766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505432$5F8CF790-7B96-42A6-A01F-8865E501E537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f7fdb48c22a836be3b80fd8b38ffd9d187b626","datavalue":{"value":{"entity-type":"item","numeric-id":5308375,"id":"Q5308375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d37acae9400d976c4976f72eb3b19efe899b62e","datavalue":{"value":{"amount":"+0.8978449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505432$FE049A72-393B-45AF-AA25-D83592D7A04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b8b6c8c3c5cef9c3b2809df4ee6a3e577ca19f","datavalue":{"value":{"entity-type":"item","numeric-id":4989029,"id":"Q4989029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f4053319884f4e013f919aebf54954b8b9dade8","datavalue":{"value":{"amount":"+0.88393325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505432$B64A4288-733A-4791-ABFA-B3566D2A2ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870c2e03a38995fe33f258545bf679f624998186","datavalue":{"value":{"entity-type":"item","numeric-id":2863859,"id":"Q2863859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1e1ef14d90446a1955cc8322d24c3b2e63d059","datavalue":{"value":{"amount":"+0.8830774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505432$9A3723D3-3AD9-47D3-A694-DA426B7FD688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68bc0c6cc4965d32c7db8d601632ac735d4c10d","datavalue":{"value":{"entity-type":"item","numeric-id":1405988,"id":"Q1405988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ffc2291762f9c0257588b6e961f92f22a91ce1a","datavalue":{"value":{"amount":"+0.8753485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505432$1C68CE6A-1329-46EC-AA10-9521463F5428","rank":"normal"},{"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":"6c2c756fd711d70f756b65351d5a13df9911eb00","datavalue":{"value":{"amount":"+0.8717864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505432$5F6CADBD-7263-4230-B7E0-35CCA123467E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55546c517418973743816febea11b9e966fde49","datavalue":{"value":{"entity-type":"item","numeric-id":4553258,"id":"Q4553258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e92887f2ef15c465a2a74460f20c045d6a3065c","datavalue":{"value":{"amount":"+0.87078834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505432$B53EA25F-996C-49A0-89E8-FDE55E07A045","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505432"}}}}}