{"entities":{"Q3683528":{"pageid":5713434,"ns":120,"title":"Item:Q3683528","lastrevid":50107021,"modified":"2026-01-12T23:21:17Z","type":"item","id":"Q3683528","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3905832"}},"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":"Q3683528$CE8F18F7-9732-4A60-A9DB-50BDFBDD6785","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6cb2b09fc04ef4bb0556875943e1debe16e8974","datavalue":{"value":"0567.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3683528$88268A0B-8D3A-4DC6-9529-067C374F5FCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4e70b5a3726ad737c6aa92da85e135ebf1b133","datavalue":{"value":{"entity-type":"item","numeric-id":247008,"id":"Q247008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3683528$F5784382-5E73-47F2-911E-7270F515CA49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3683528$5B0D1B30-3061-4E03-ADE8-0E4957434879","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3683528$F708984C-0F61-4B0E-BD9E-4C34C09AE5CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0e160a7c2d2ef85cf0d7b570329c4c3bd78cfba","datavalue":{"value":"3905832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3683528$9CC5AD39-7BF3-4AA0-8C58-5D788931084D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fab25487aa2e92a9440a04f9fd51d61841aef486","datavalue":{"value":"non-standard programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3683528$9DCF928A-1969-49F5-9573-148581DE9390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3683528$E0E2C90C-66A0-4D6B-AF7D-313C94A1ACCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a49205c7b6b6c70bdada7f3daa5c065d9a1508d","datavalue":{"value":"Floyd-Hoare method for program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3683528$0F1A808A-8655-4F16-AF2D-C97A63AAC14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49dc69e7c36a3b089b598f99c8a4dbb58d77ae4f","datavalue":{"value":"completeness of proof methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3683528$F6BE5401-64B3-4AFC-8692-291878C53649","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":"Q3683528$53B03A62-1397-4E7A-B95C-6DD73F3D9E63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b2e59a3f1876b90ce4d0afbef5379583249040","datavalue":{"value":{"entity-type":"item","numeric-id":1077159,"id":"Q1077159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a29d09da206be8d9c55dd6d17975a3d015514f4","datavalue":{"value":{"amount":"+0.8224745988845825","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":"Q3683528$F73D8829-0C5A-422A-A4EE-ACF050C2F489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7423c6b18bde8ebaa3ad7e0f0ef08b8ee7573835","datavalue":{"value":{"entity-type":"item","numeric-id":3814773,"id":"Q3814773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd771dadd1e08136efb6529fa56d95e4f149212","datavalue":{"value":{"amount":"+0.8009939789772034","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":"Q3683528$2F4F9994-0D04-4CE7-82C3-987121EB9914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b715d1666f29c7e62c77f55370ed43c5d869981e","datavalue":{"value":{"entity-type":"item","numeric-id":3707370,"id":"Q3707370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a0166d6992ceaa94aaf38d19feae7a4f1346e1e","datavalue":{"value":{"amount":"+0.7836489677429199","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":"Q3683528$E95E6094-FD3C-41B4-B3C3-DAC2DA319EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce7bdad2532f4d7df7db035258fed4015030a55","datavalue":{"value":{"entity-type":"item","numeric-id":760793,"id":"Q760793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9abdef642fe58c14dc50e23471a8a3374edddc27","datavalue":{"value":{"amount":"+0.777727484703064","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":"Q3683528$8F308784-53C4-431D-BACB-8AF6F666996C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e62ffbc79872d6d9d9e1b33ea0221ff655d767","datavalue":{"value":{"entity-type":"item","numeric-id":3696488,"id":"Q3696488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcefef04b9c703d6b11fca59d4e7565e6c9c6d61","datavalue":{"value":{"amount":"+0.7717760801315308","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":"Q3683528$FF037BC5-EEAC-4120-965A-3559A2DDD9AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3683528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3683528"}}}}}