{"entities":{"Q3740201":{"pageid":5770107,"ns":120,"title":"Item:Q3740201","lastrevid":50937845,"modified":"2026-01-15T20:19:06Z","type":"item","id":"Q3740201","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3974258"}},"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":"Q3740201$5AE2BBB5-C043-4CC0-B35C-F2AC3691EF02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e51dade4148b191c32072d6612dc3b7f60e551a","datavalue":{"value":"0603.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740201$A4E8EBA9-6C78-45FE-B9A4-5E9E62405782","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3740201$64609C9C-C542-44EF-90B0-B73755061316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6864df6a81eaf3b55e725ae1e843ca021bc92c02","datavalue":{"value":{"entity-type":"item","numeric-id":578899,"id":"Q578899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3740201$A5A6E5FB-9F7A-499A-91DD-3F9EF910918C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3740201$F3ADAA04-0DC5-4B8F-84DE-8293E44B4A0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740201$DB04B5DC-86D0-43EB-9AAA-A687C91E0B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740201$F3E62F0E-40FC-429E-B30D-AC3C76DF5236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740201$7740DFB5-B0A9-47F6-AA3F-500D3E8162FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0530fea7656d06257ee703ba702ad1eeed5bd767","datavalue":{"value":"3974258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740201$09AD4219-652B-4AB7-B1CF-C42156C9A2E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740201$5F862DF3-9AE0-421E-86AF-5179316FF9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740201$A24A32C6-3D1B-4E5F-9204-CCBBEAB8B57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740201$AED8E089-BEE4-40BD-82E1-80C8C8F2E8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bca0dd7dd8f12d6d83152745547785898f60f415","datavalue":{"value":"Dijkstra's calculus of weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740201$B95B83D5-BEA3-4B14-8C9B-F60586458EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d37755158a76f36435655e35b413d7df278569b","datavalue":{"value":"weakest prespecification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740201$C614D830-48FD-4387-A4B7-44271BF9479C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3215a37f2f3e4759778d3eb8b23b9eede7c28f4","datavalue":{"value":"general recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740201$395FEB97-09A7-49E4-9139-30C0C2E6B6A7","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":"Q3740201$6B3E7C58-0535-44E8-AC72-FBC1221F5008","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a0626fef48a0fe0955dd4d1bfff167635e9099","datavalue":{"value":{"entity-type":"item","numeric-id":1091121,"id":"Q1091121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9000595977498a0a45823d57c77cdcdf3b2dd413","datavalue":{"value":{"amount":"+0.9387862682342528","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":"Q3740201$433402FD-1E94-4F78-94E0-7CDEB7DD9A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b17a4c09cadfc312d1c735800a532722547ea9","datavalue":{"value":{"entity-type":"item","numeric-id":1104780,"id":"Q1104780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b892a8bab3e54fd82eaeb8d80e5a51970f2f72f","datavalue":{"value":{"amount":"+0.8223530054092407","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":"Q3740201$57A6AF73-DA4B-4F30-866D-6A67BF34B6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf40fe6e41abe507700f2b9818bffab569481e9","datavalue":{"value":{"entity-type":"item","numeric-id":4281676,"id":"Q4281676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9583f9df46699d90b985a047ae4fc31aefebf00b","datavalue":{"value":{"amount":"+0.8200621008872986","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":"Q3740201$83251C83-4522-416E-835A-3DE5B6807E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e729418c484f788f970df01f3f07c7735aff7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":3692832,"id":"Q3692832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be99f1db5d7c0c469af22b7a5be3320e510be68d","datavalue":{"value":{"amount":"+0.8093668818473816","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":"Q3740201$394646E8-F905-4048-ABFF-76A0739B0D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ee3c3a23d51f4b4342339ba02f16c06b7d06df","datavalue":{"value":{"entity-type":"item","numeric-id":1346768,"id":"Q1346768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6256645c33158ce2653f95fc8a51f4f3486a94d9","datavalue":{"value":{"amount":"+0.8087359070777893","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":"Q3740201$CF965AAD-085F-4647-856C-53013999A32E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3740201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3740201"}}}}}