{"entities":{"Q5428904":{"pageid":7458478,"ns":120,"title":"Item:Q5428904","lastrevid":50223620,"modified":"2026-01-13T13:56:48Z","type":"item","id":"Q5428904","labels":{"en":{"language":"en","value":"KeY: A Formal Method for Object-Oriented Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215756"}},"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":"Q5428904$9C72E284-FD37-4333-9B4E-4EA53F26E039","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cffd9052260b64e4eaeae675adfba630cafcd6c6","datavalue":{"value":{"text":"KeY: A Formal Method for Object-Oriented Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5428904$46B7B89C-FA3C-438A-B9CA-A662BB5D5654","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7abd7f1248c0fa5f8c7dca4ebcf0ed8819cb980","datavalue":{"value":"1202.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428904$C1D94F5E-FF8A-4939-98E7-85375B25301C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f845371ca1d9b0ffc10185482cbb0a68749602de","datavalue":{"value":"10.1007/978-3-540-72952-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428904$3791CE06-B772-4A20-9E92-3EE6431E8BFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38294c3226d3792efd0f0a6334adfdf20cdb195e","datavalue":{"value":{"entity-type":"item","numeric-id":1951608,"id":"Q1951608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428904$86EBDE32-1F65-491B-81F2-7DA2EF0EAA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428904$EE080CA4-0774-4D66-8305-1669081843D4","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":"Q5428904$FFE8F3EE-AA9F-47E6-B6E9-5FB3A70940CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"924cca174357738b06b9173e0c5b8febd23b6af5","datavalue":{"value":{"entity-type":"item","numeric-id":1202018,"id":"Q1202018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428904$50C842D5-0FC3-47BD-8730-831E7CDFFB2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428904$E979B9A1-FDED-43BB-882E-0C62148F8E93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f07a6e02313146619eb76647232125f099011046","datavalue":{"value":{"time":"+2007-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5428904$79765F94-2C50-4BC7-AD87-78E21C1BF3B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428904$A63501F5-9431-46A4-A412-E0A02CEA4A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428904$09943E98-3BE6-4477-B5A1-1DAEDD9D9008","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2afd79fe59f86efb00ee92f35bc1950087bc931","datavalue":{"value":"5215756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428904$6F35CDA4-AA17-4C0D-B320-4983E94D2932","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":"Q5428904$E0883DF3-3409-46C7-A74E-CA1730D3D305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63cdbe1815dab8cdad5d951d126bd73b8bf1b386","datavalue":{"value":{"entity-type":"item","numeric-id":37166,"id":"Q37166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428904$BE0D2021-0B1F-4FDD-865A-32C302511558","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":"Q5428904$5FE16F00-FA8D-4CA1-B6D8-1697E547B33D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a214120fc413d64c187f70a14400d95b8216a6f4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72952-5_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5428904$D0039C2E-1E68-4BE6-984A-2CAF6CB325B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef49fcb82adff019910709309f85651a52f199e1","datavalue":{"value":"W1561523230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428904$AC2CFE73-EC8A-4C1A-B6A2-A66582228FFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba3783762088714176bdff2f2f02649ceeb0515","datavalue":{"value":{"entity-type":"item","numeric-id":5423871,"id":"Q5423871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428904$AF70512C-6E5F-41AB-8306-5FC26FB34477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d346d8485da0bc889f787fa277d331b616d4df2","datavalue":{"value":{"entity-type":"item","numeric-id":4054648,"id":"Q4054648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428904$1BA36317-4AA3-4273-B943-25AC1F261D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428904$9EB41A57-365D-4B86-8225-6B7AC4992504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f33c7e2fc71303fd900c50bc37fd6728d3f12f3","datavalue":{"value":{"entity-type":"item","numeric-id":4539640,"id":"Q4539640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428904$7B5A9252-EC0E-4C9C-A175-50EFAC9478F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7449ca7b3cb94557cd04a037b81173e4cd8290ed","datavalue":{"value":{"entity-type":"item","numeric-id":3608456,"id":"Q3608456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428904$BBFE3017-4EFD-4913-B8DD-CF681EE9B76A","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":"Q5428904$F0CB72C6-9483-488E-936E-BBA1A56283FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d933b03354d7c828ce52bdfc7df38cf961b128e","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428904$444A86B8-1E88-4985-952A-813A758D8B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428904$98D630DC-39A5-4BFA-8967-97645D30028B","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":"Q5428904$A4410C73-A5AA-4BF2-8127-C4B540C1FFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc23141dc84e97827108c755d4336b0d5851beef","datavalue":{"value":{"entity-type":"item","numeric-id":5423862,"id":"Q5423862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428904$EAC8060C-5498-4CE9-90C2-6E2CC7E42BD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8722dc050f14276f2bb48a0dec8a70d5a94896a7","datavalue":{"value":{"entity-type":"item","numeric-id":4536314,"id":"Q4536314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f338158644e08afd8c24f2c3057843c1e9b8465","datavalue":{"value":{"amount":"+0.8997756242752075","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":"Q5428904$3EB939AB-5F69-422A-8F3A-A483F86D8B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012e94d1d08fa745e80594b67c89251eb17aebac","datavalue":{"value":{"entity-type":"item","numeric-id":4738337,"id":"Q4738337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f347b3477efeb9534f2eee818bd7b4d23bf9f31e","datavalue":{"value":{"amount":"+0.8698616027832031","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":"Q5428904$D018B389-39D7-4291-A8A8-AE6966FA1574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd21a666951183fd88c38f3a196e0d9cb675a703","datavalue":{"value":{"entity-type":"item","numeric-id":5960651,"id":"Q5960651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b047912adf4bfc78fffcefe04f584a46d1ec35af","datavalue":{"value":{"amount":"+0.7561753988265991","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":"Q5428904$96918CD6-B5E3-4D98-A8DE-52B5980CA80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937995320392f6849bac351e1b342cfae766a7af","datavalue":{"value":{"entity-type":"item","numeric-id":2771739,"id":"Q2771739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a157472f390c6cfc0680897f4cc0f9e3df1ac85e","datavalue":{"value":{"amount":"+0.7396346926689148","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":"Q5428904$6B1D9016-E6AD-4F67-9045-C5854D2C11F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1e80f0260a5e96bea20fdb3063dd7405224a166","datavalue":{"value":{"entity-type":"item","numeric-id":4492783,"id":"Q4492783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74796ad424aed1896b602c460f5d90cdb1d76513","datavalue":{"value":{"amount":"+0.7351508140563965","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":"Q5428904$0FC35AF6-BFFA-42B3-965A-31B76EFD8C24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5428904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5428904"}}}}}