{"entities":{"Q3678649":{"pageid":5708555,"ns":120,"title":"Item:Q3678649","lastrevid":50038399,"modified":"2026-01-12T18:33:52Z","type":"item","id":"Q3678649","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3900131"}},"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":"Q3678649$32E63A8A-A8D2-4B36-86DA-1603DF941A10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5614fbca5404f40c2613b049e2dff1bf4232f836","datavalue":{"value":"0564.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3678649$3D42E08E-1537-4BED-B5EE-4648A94BCB7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3678649$0CD43224-379C-4C99-B2FD-847A9434F275","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3678649$7280B416-78F3-4D62-A83B-17A6BF8FFD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3678649$7A73CCFD-2024-437E-AC35-E3C0DAB13389","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7a25b2be67b8d23fbc001dd1084b8254e13b796","datavalue":{"value":"3900131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3678649$9764AA80-BB13-43F6-9352-10E7F0EA1477","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ca3089f4a9c1f132e8f874f7fe0c6338d24ce7","datavalue":{"value":"Hoare's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3678649$AB4002ED-A3F3-4874-89D7-8864152B7AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3678649$9DF99980-2DC9-4AD4-B13A-FCB0899A6FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74cec3491e716875fec362a272b937df4ab9f8f","datavalue":{"value":"free procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3678649$C0F0B774-06D1-4CF2-85D5-EA75428CEA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c80a879da900e322df415b1889b2d50ed1fc3f72","datavalue":{"value":"Formal proofs of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3678649$6F8AF3AC-6B20-4C24-BFB5-5F006E8A5955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a49d2691740729e2dd9c1c611233c1d06693479","datavalue":{"value":"stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3678649$5B79CF14-C64E-45AF-B2FC-3C6BA6E218F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdd18ffe2b4a79b9b298db596baf0520075fdd5d","datavalue":{"value":"Reynolds' specification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3678649$9CA86F30-757B-4AAC-96B6-43B094CEE813","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7d37f0392c674045664e3347ef231fa0fae8b1","datavalue":{"value":{"entity-type":"item","numeric-id":1369234,"id":"Q1369234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3678649$BC961D1A-A7E0-47FF-924D-DD0E65BE815A","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":"Q3678649$4B490EC4-7889-4E11-81CC-58AD2240EA8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b65a7a6bef1bd7ab2fe9514ee3c9a3724ba8a113","datavalue":{"value":{"entity-type":"item","numeric-id":1317433,"id":"Q1317433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce11e2267a37be4267ca8c4dd1ab4a8dd16d494","datavalue":{"value":{"amount":"+0.8364790081977844","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":"Q3678649$199AC372-420C-4887-9AAE-8949F0EBBEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a713dce2fa087dc0666479a98746a5d040e99bc5","datavalue":{"value":{"entity-type":"item","numeric-id":5184382,"id":"Q5184382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a125698204a35364ec5595c3e0eeef8232cf4efe","datavalue":{"value":{"amount":"+0.8330602049827576","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":"Q3678649$DF595DB2-ED86-496C-985D-EF58DF745CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b4dbc68b06bc8ecd04f5d1802c7e4cf586f269","datavalue":{"value":{"entity-type":"item","numeric-id":1110500,"id":"Q1110500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d918b3d83e6ed32782c0168bb8e409da5b248c16","datavalue":{"value":{"amount":"+0.8265499472618103","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":"Q3678649$CA0F9E51-CCF8-41ED-913D-3237EB0E0138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2201ceba745f8f4bc88d73a6cab694ed61248d5","datavalue":{"value":{"entity-type":"item","numeric-id":794426,"id":"Q794426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e8619a8dfec2cb8cd8c4d9e35dd4c5fdeea5f0","datavalue":{"value":{"amount":"+0.8213556408882141","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":"Q3678649$F346BF20-2DE2-4D4F-87FE-D0EBE1A5F1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b588bacdb26ecbea497a360fdb146b234a8ac682","datavalue":{"value":{"entity-type":"item","numeric-id":793507,"id":"Q793507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d396216e060024ab7927896c017b836b3ffa56","datavalue":{"value":{"amount":"+0.8072152137756348","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":"Q3678649$72410F87-6AFB-432A-AE8F-639E74AB0CAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3678649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3678649"}}}}}