{"entities":{"Q1239604":{"pageid":1250354,"ns":120,"title":"Item:Q1239604","lastrevid":42969907,"modified":"2025-07-16T11:58:47Z","type":"item","id":"Q1239604","labels":{"en":{"language":"en","value":"The use of Hoare's method of program verification for the Quicksort algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3562461"}},"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":"Q1239604$5E370249-E2F8-403D-8E5D-CD39AC4B93CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"358a474b50b8c4510be4ac9addfd75f11b3fa344","datavalue":{"value":{"text":"The use of Hoare's method of program verification for the Quicksort algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1239604$A2ECC453-9694-46A8-818E-FF600E2308AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a21c80c6dab6e0fc07f5fcfb6346366343d1f052","datavalue":{"value":"0361.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239604$3CEE6BCA-DB52-4869-BD32-5BFBEF46B823","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"074ec02df6d8bdb40ec7c7c8b29bac88333f9ae7","datavalue":{"value":"10.1007/BF02244016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239604$97A9030F-83F1-49B0-BE80-88F5BCC36711","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315f6c05e363db37851a5c12b48955d83082dc4","datavalue":{"value":{"entity-type":"item","numeric-id":1239603,"id":"Q1239603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239604$E28033B0-EA88-471E-BD16-7FB48C462410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4854c676a0ed798e38ef97181a0adb9ab0d2aca","datavalue":{"value":{"entity-type":"item","numeric-id":787665,"id":"Q787665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239604$9C8CD4A7-DDFA-497B-882D-29116275635E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b79ece58f33b59758a066cb6b9ee149bab3a2c9a","datavalue":{"value":{"entity-type":"item","numeric-id":167642,"id":"Q167642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239604$82FC2E31-B87B-4C20-95F1-B890467E2D3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1239604$E8B95C80-E52E-4EDD-A1E2-942A9EFE46BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239604$6E3A3A51-E0AF-4EF9-B2E0-82A9BAAC5D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239604$9A43A3D7-3B4D-4E56-9EFB-FEC9713C6D24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d59647407d88c48cd520bd79eb58f7357e8fa00","datavalue":{"value":"3562461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239604$3A48FF0C-BF46-475C-B1BB-8A12CB272683","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aadc3562b5d3cd99740f94e9d46e7f210998eaf","datavalue":{"value":{"entity-type":"item","numeric-id":33419,"id":"Q33419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239604$1CF9E50C-0173-4716-8BFF-9B390E14997E","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":"Q1239604$C6510460-FCF4-47A7-B2DA-9E45BB2CD6D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb6ff5311a74b34184b2722f45306b1bbefaa27","datavalue":{"value":{"entity-type":"item","numeric-id":2550288,"id":"Q2550288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239604$7AB5D092-B7BE-420F-A7C0-D27060AE1444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"030b5314467b2aca4a6296a5a4fd85076724fdf8","datavalue":{"value":{"entity-type":"item","numeric-id":5595580,"id":"Q5595580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239604$ACDE5EBA-688A-4F54-BF8B-E192F15B1924","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":"Q1239604$81252870-6129-4F15-810A-73670C790F83","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":"Q1239604$E7393BEE-2E10-4EF1-B215-A308B71E3FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50abac9b5648a878af003e7eaa6c6d610ba9983","datavalue":{"value":{"entity-type":"item","numeric-id":5621948,"id":"Q5621948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239604$227E5232-6973-4BE4-BA92-4BD94C1E910E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5e321bdb4e456f6e5c4e5b2a69913df71ae1a04","datavalue":{"value":"https://doi.org/10.1007/bf02244016","type":"string"},"datatype":"url"},"type":"statement","id":"Q1239604$8734CDED-DECB-413F-A494-AC943F5DA92F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6bd531d4c0bbf67e913b3051f4dc27e8821ec1d","datavalue":{"value":"W355072141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239604$3CAB69E6-8BCB-4B7C-ACB3-039430E0ADF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1239604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1239604"}}}}}