{"entities":{"Q4004235":{"pageid":6034056,"ns":120,"title":"Item:Q4004235","lastrevid":55153228,"modified":"2026-02-04T04:47:29Z","type":"item","id":"Q4004235","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 54048"}},"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":"Q4004235$EBCF0E2E-DFC1-4FF9-BB1A-FE165EB8601D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c711da9dfa15a2e340998e1f25b841ebe036b82","datavalue":{"value":"0790.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4004235$E12BBF1B-A1FF-4EB5-9E29-EAB78A5D16C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f751b15fb0c8f0a265aa36c1cc7084e468904ac","datavalue":{"value":{"entity-type":"item","numeric-id":749218,"id":"Q749218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4004235$65EE7F31-C107-4EB4-BDBC-7EC5A2A841F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a36a1bb338826b5fff6c870b4eb6d68a03b885b9","datavalue":{"value":{"time":"+1992-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4004235$8F37FB85-45AA-40D3-92A1-A39551AFDC75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4004235$B2D7C092-47D9-4208-9224-DD9AA9D73E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4004235$A6911AD8-6DCB-4E65-ACE7-D959A379F88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4004235$DA4B60A2-51B0-43FD-9584-D946D38DF9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4004235$AE6F5CBF-B032-4963-A2CF-7706CE7CA944","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79626212b18d0667499722b307555fdc03808b52","datavalue":{"value":"54048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4004235$6ED2E1F0-4929-40DE-9969-4AFC222D951D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004235$3CE59A26-B16C-46C1-BA12-0109D81219DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004235$8B54655C-B04D-4D89-8F2B-7D6B77111504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1ca3e72c74d18846faccd495826eb0220de18d","datavalue":{"value":"program verifiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004235$65E0B487-86D5-4D0B-9FE7-C629CA2975DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004235$A59BABBA-D7C3-4F8D-9BF4-55EDA56E3239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004235$C39CE637-0C0B-4C0B-BB8C-E29F0A359D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0d539e5d4f6504c1560ddc6a74cb33a38e3ca2","datavalue":{"value":"program documentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004235$321782C8-B9EF-47A0-BAD0-13E4D6F67338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004235$07459F5D-E45C-44CF-AAD6-46246A6D700F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004235$98A76F03-BE5B-4090-8A67-426A4008846C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ab52f14b482f575473985f576580fbf9b1472a0","datavalue":{"value":"type simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004235$371FA6F7-CFFF-4210-B1D5-00B8FA27CF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e27302aaf7544d0b74e2312b8d6f38cd1a37dec","datavalue":{"value":"object-orientation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004235$E3DE6A98-A040-4C42-B1E9-CB783DF7B130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb9eeb8f5f02e9e47614251ce1e37357ea7d918","datavalue":{"value":"pointer aliasing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4004235$25635020-38C3-4DFC-B695-646C48720519","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":"Q4004235$5BEB7540-1093-485F-9B76-A8C31F5005E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2595017e77ed6a30566c4aec1fda2d99b7093600","datavalue":{"value":{"entity-type":"item","numeric-id":3787422,"id":"Q3787422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed840c41adc536d118d136a5e404a7140a23a4e","datavalue":{"value":{"amount":"+0.8031498193740845","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":"Q4004235$BC7A0651-32C1-48BC-9D38-098F594A7965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286621dceae39ed4c4865eaae2eefab2f27b11b1","datavalue":{"value":{"entity-type":"item","numeric-id":1316958,"id":"Q1316958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b3cab74dfda7b50c327eaf0df964d9c2699209","datavalue":{"value":{"amount":"+0.7875762581825256","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":"Q4004235$F0F604B9-49A5-4053-A960-92A2EFFE09FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947a2e72ea690199ea0027ef486290925282d471","datavalue":{"value":{"entity-type":"item","numeric-id":3994464,"id":"Q3994464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b3cab74dfda7b50c327eaf0df964d9c2699209","datavalue":{"value":{"amount":"+0.7875762581825256","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":"Q4004235$DACD05A2-B2EE-455A-819B-BA06899BB7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1931a8e12c8845b380958c0dd7d69fef4221baff","datavalue":{"value":{"entity-type":"item","numeric-id":4003356,"id":"Q4003356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e718906c1fe9b10b011905a6c14efcd8af729eb","datavalue":{"value":{"amount":"+0.7560677528381348","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":"Q4004235$DC9F291F-4118-4FA8-BD01-EE3B0A96E263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5042081f4a9359ce63ad7a8c723ccc9cfe640367","datavalue":{"value":{"entity-type":"item","numeric-id":4294559,"id":"Q4294559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12ac66260ebf46c9a487c3a3901bb4c910d84b0","datavalue":{"value":{"amount":"+0.7546182870864868","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":"Q4004235$7AC027B3-3A8B-405B-9E77-53C3B24EE1F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4004235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4004235"}}}}}