{"entities":{"Q4428704":{"pageid":6458303,"ns":120,"title":"Item:Q4428704","lastrevid":48179590,"modified":"2026-01-03T21:20:46Z","type":"item","id":"Q4428704","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1984270"}},"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":"Q4428704$1968C9F3-7115-4700-BE61-65B99BEE00B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"689e4d93be409029e19c235ac237ec99ed8bc418","datavalue":{"value":"1023.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4428704$66A7CAAC-F456-48DE-9A64-A2297B28B8B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4428704$64CBB6B2-95CB-4923-8312-2715E7A4BF0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e003f34ab8fffc5fc5e5962ff052c379cce9b157","datavalue":{"value":{"time":"+2003-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4428704$8DCC8A94-D801-4814-BD73-EC48DA91A01E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4428704$6008878E-C3F1-48F0-A234-83EDD912FC46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3ecbe431973c82a9b9f04c8ce96882b41e65e2c","datavalue":{"value":"1984270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4428704$6C20A6AA-0DBD-484A-BF83-9BBC8D1B4F24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"482c3f845cac6032b06a93fcee39f4c998594eff","datavalue":{"value":"propositional Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4428704$C3703A23-BF97-47B9-9A5C-D60DEA9453C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c54aa264a7c1d9b79c43498771adcd2b9f98c47","datavalue":{"value":"type calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4428704$268C13BD-76C6-43DA-9782-E1010518B51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9c9b9f09d74edbfc181527ae2126acfabc1c856","datavalue":{"value":"typed Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4428704$C0FECA4B-F4B0-484E-814E-E254854303F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7742fb52da27b08344024141d8d3cda7d1c18fcb","datavalue":{"value":"typecast operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4428704$25C81BB6-49D6-459E-B10C-423EF3E1BBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77526ca6ed45a4455cf978fe76b2d850ce91b19","datavalue":{"value":"partial correctness assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4428704$67DD453F-8A9C-45B6-AE23-0A9779E0AD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df70f54fe6341cf38c6056b215f3ea1da21bfe96","datavalue":{"value":"typechecking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4428704$05E5EA72-48E8-4235-8E93-F06D5CC3AF35","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":"Q4428704$E4CE0AC0-CFE5-4286-95B5-7DAE8796A4A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e685dd3d6d5059dc0bd8a2b049a131d647774c","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4de2dc1d2a1fa1435b0be90fffcd3884c0b3f9","datavalue":{"value":{"amount":"+0.86219722032547","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":"Q4428704$8FC4378E-5E64-4B10-8BB6-0B54C3176D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50ae29063f8ee81b7d1c148111db5979dbdd5d2","datavalue":{"value":{"entity-type":"item","numeric-id":5267434,"id":"Q5267434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c11b4121749cf1a25efec612800df9ff76b4bd","datavalue":{"value":{"amount":"+0.7875238656997681","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":"Q4428704$2721BA48-5264-4BBA-A3BF-68C4586C6015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a57657f66d1f9b9f24efdb74b7bfaae695967f","datavalue":{"value":{"entity-type":"item","numeric-id":5312995,"id":"Q5312995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab752523535f60db38591979ba65b04e3d41107","datavalue":{"value":{"amount":"+0.775852382183075","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":"Q4428704$302F9428-01CA-4DE4-A4C7-F417C8EE27BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160c0f8ee6e39eefd6127e636b75a3303eb3d207","datavalue":{"value":{"amount":"+0.7699341773986816","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":"Q4428704$4B143552-DA8C-483F-A350-1FFA6DECB1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672d995dd3428eb07ed30b7429a38292a5821170","datavalue":{"value":{"entity-type":"item","numeric-id":3763566,"id":"Q3763566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54fb024ed2850cce9ec410c825c9aa9f8a0718eb","datavalue":{"value":{"amount":"+0.7656393051147461","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":"Q4428704$EC94A3D4-376E-44CB-B212-54BAA9E0ED8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4428704","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4428704"}}}}}