{"entities":{"Q3077280":{"pageid":3087996,"ns":120,"title":"Item:Q3077280","lastrevid":86154179,"modified":"2026-06-03T15:39:56Z","type":"item","id":"Q3077280","labels":{"en":{"language":"en","value":"Proving the correctness of mobile Java code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5855020"}},"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":"Q3077280$8A8A7783-9A38-4DEA-BE9D-3C39A2BF2E33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"643e20b660b066d60d8d005c7f7fbe8f32b17289","datavalue":{"value":"1224.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077280$37C7F2A1-610E-474E-BBAC-425FF4761E51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"313a4f63837e92d2c13a078aa8164bfa4469d40c","datavalue":{"value":{"entity-type":"item","numeric-id":2898798,"id":"Q2898798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077280$59D2C55F-B763-4809-822A-6B127B622A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd5f2ff4445a260f11e83cfc6931061ff3b5a581","datavalue":{"value":{"entity-type":"item","numeric-id":2755024,"id":"Q2755024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077280$B8C1C8C4-DDCD-42CF-AA24-69D18C7AD016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ab8699bd5a86704550afa7f9390b6cffd4fdeaa","datavalue":{"value":{"entity-type":"item","numeric-id":3077278,"id":"Q3077278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077280$95797398-C1F4-4DDB-B397-7FC295172290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9055b197137417ef8467755bb3dc49803855f83","datavalue":{"value":{"entity-type":"item","numeric-id":3077279,"id":"Q3077279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077280$D7DE401E-8E61-45AB-89E7-743F2377CE93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ce7f58682413436d8d8499ec31fc1f8f2a5d305","datavalue":{"value":{"time":"+2011-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3077280$DE426666-0BE9-4CF7-A338-6266EA74DFE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077280$1F1E59DE-57BE-4D30-9A37-92DAD4B33FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077280$32EB8B32-6680-4D6D-9412-333C9D7361AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb7693c44ec903f3c5470d60054ea52e3f547d54","datavalue":{"value":"5855020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077280$40C7AE70-A173-465C-BA29-7F150A1A8B1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29c1be4527a15cb9c9f64dcde90b15ac0c3409e0","datavalue":{"value":"mobile Java code","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077280$CDC32A13-6E3D-4BD2-9983-8C14698C3454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077280$66DC4F77-1D61-494D-BC05-22F2A184CEEE","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":"Q3077280$FDC7E71E-1EFC-40D0-AEA6-3EF31500FFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077280$665640C3-4B5A-429E-A805-54093C0F88C8","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":"Q3077280$5BF38325-D57A-4107-AE2F-8B87012168DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"479bc553b616de8eb1e6f083be57bc070139cb2c","datavalue":{"value":{"entity-type":"item","numeric-id":1853627,"id":"Q1853627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f7ae3b0503d15923abeaf413c7bff0037a8d21","datavalue":{"value":{"amount":"+0.77680903673172","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":"Q3077280$0CA1B0D0-F440-4384-B82F-FC5AAE3A832D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0e20e561c0a94c18d17dcbff1b8e67b357e42f","datavalue":{"value":{"entity-type":"item","numeric-id":4823138,"id":"Q4823138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40aefa527743f16def78ecf004706f2c4fbedd8b","datavalue":{"value":{"amount":"+0.7697962522506714","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":"Q3077280$0C591C40-CBF5-4998-8042-488B06163BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8713798982140d4820192ba0dbd970d03dde4b6","datavalue":{"value":{"entity-type":"item","numeric-id":5428882,"id":"Q5428882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da9142189b101b7472244735df04ca73351cc8d","datavalue":{"value":{"amount":"+0.7648645639419556","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":"Q3077280$C5A5ED03-6FF9-4C1B-BD33-363BEBB16A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eafe5e46402627853465a7c0a38487023b6e8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5898617,"id":"Q5898617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7941824277b7febafc70bb467ccc4cbaab9fc18","datavalue":{"value":{"amount":"+0.7609648108482361","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":"Q3077280$22ECB08A-ACE8-4B7C-A3DF-7458C4E4CDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02b1c48cfe5d78e64b8be57ce60a22acf8030c11","datavalue":{"value":{"entity-type":"item","numeric-id":5313206,"id":"Q5313206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0738795a8913121a0282746771736b3cccfa86f","datavalue":{"value":{"amount":"+0.7594500780105591","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":"Q3077280$14906DE4-FED7-45C0-9685-2F75CFEABA7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving the correctness of mobile Java code","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_the_correctness_of_mobile_Java_code"}}}}}