{"entities":{"Q3801053":{"pageid":5830959,"ns":120,"title":"Item:Q3801053","lastrevid":53269946,"modified":"2026-01-24T14:40:23Z","type":"item","id":"Q3801053","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4068250"}},"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":"Q3801053$E5FB4224-4E08-4E4D-BA33-9A315BCEF099","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c430ae535ded451fe68e983035c3cfa6900e65c3","datavalue":{"value":"0654.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801053$4B6267A6-0888-4BBD-A346-7B12928AEC30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3801053$6F700DB9-28C9-4880-A8B9-7B63C46EFAA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801053$67300670-3BFD-4021-9AED-B64BDFEA61DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801053$7DF167FB-655F-4ADB-8246-D7FDED93AD9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcf9f2835c33fd705677bbb5a321d65e4298a2c4","datavalue":{"value":"4068250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801053$61A96C59-A3DE-4107-B8F6-71CACD0BAE7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801053$BE4C0F51-FCB5-4B56-993A-14CB9E065C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801053$CC75B431-D76D-488B-A517-61F711A215A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801053$444FCDBD-1CF3-4E9B-86B0-B6EA846E4C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801053$329A3AB2-B278-4201-96C4-A3429A70A73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0332fe864b5bc3c2a81e6cc0e77972c345d309b0","datavalue":{"value":"cyclic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801053$218F75A8-A4C6-43FE-AD99-99CAED6C7E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801053$D34EBF90-C8BE-49EA-BBE8-BD73817E0222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b47ac3cbfa4002bbb22468e81743a6cb36f77e","datavalue":{"value":"axiomatic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801053$C596D19A-8A45-4E7C-97C6-DD8B5069FBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801053$D947261E-0F41-4DBB-BA3E-713B964D1F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801053$A1425CD7-6B0A-426F-A470-26B4F0FA1079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73726f805dc1edf70c39fc6c6a87bf6a1a269b24","datavalue":{"value":"side effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801053$A6B4BFF6-7CAA-43B7-83F9-534F32344E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e2ba868f1ea6f4698b58f9f228cccbb484b7b12","datavalue":{"value":"formalized models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801053$2A440016-C846-4E0B-9CCA-6ADECD4C019D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"debfedf6f4657203170842670e6619e00f5b8d60","datavalue":{"value":{"entity-type":"item","numeric-id":1662524,"id":"Q1662524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801053$14D23546-A272-4CC2-97EF-9BD59DF24911","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":"Q3801053$C6C069AC-9FB2-41EF-B0CF-5A80C2D362C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7992c6d71b44c1d68d8fc67a1d1533e98c8963ff","datavalue":{"value":{"entity-type":"item","numeric-id":3793703,"id":"Q3793703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111a3e2da4fc36f461af26e7b7f94d5d9f388756","datavalue":{"value":{"amount":"+0.81453866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801053$4E194B61-053F-40AA-9988-743432827F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6a03b5c3c8e01a58394efcc0e032a01b0998de","datavalue":{"value":{"entity-type":"item","numeric-id":5116455,"id":"Q5116455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669a456e3852313563b8426345416d257b0831f1","datavalue":{"value":{"amount":"+0.8101818","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801053$7DBCB890-BD5B-424D-B7FA-AEFB23EBF347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a39a2cb9e8db094cb4da26da228b833592e4016","datavalue":{"value":{"entity-type":"item","numeric-id":796289,"id":"Q796289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e74afd82949f42ec2bd9af42638ca88b2de7f1","datavalue":{"value":{"amount":"+0.79620266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801053$EAA84B9B-C90C-49A1-B34B-2C691D04A398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55dfa17040c705420c2b156bf9fc17fdc2a3345f","datavalue":{"value":{"entity-type":"item","numeric-id":800712,"id":"Q800712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438ce19c7ce097069a65c642c4e11476ba6512bd","datavalue":{"value":{"amount":"+0.7920233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801053$146BD1F5-9925-41E8-80DA-C69D857D6C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84fc63b065aa5ea402fb7a25c350dc80bdb5e4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4944895,"id":"Q4944895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad75b3ec56473441ef18093b25da04df88269625","datavalue":{"value":{"amount":"+0.77621794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801053$863DE6CD-70AB-43C2-8743-E717AD3B8C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc02392c4f7590533e7e4d61452fcb48905ff1b3","datavalue":{"value":{"entity-type":"item","numeric-id":3753469,"id":"Q3753469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e75a2ee8a35dac3a7c0bb0181a4d9e1e5d510a8","datavalue":{"value":{"amount":"+0.7752193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801053$FEE8B2D6-8B54-4AFB-8E29-1C57A02B92A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4610fe29e653a496e2384046c05ca7bc84ead29d","datavalue":{"value":{"entity-type":"item","numeric-id":1924753,"id":"Q1924753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082500644d59096c2d1f13244b172bbfc331394e","datavalue":{"value":{"amount":"+0.7713708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801053$7D57B1B1-9526-4ADB-8CA7-9DC032E96F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a5528e39978c0857b136e99ff5dcf025263b6d","datavalue":{"value":{"entity-type":"item","numeric-id":3707378,"id":"Q3707378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee43b85a4ba3c6cc75f025307a1cbf347ecde30","datavalue":{"value":{"amount":"+0.7704509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801053$16C59E6A-2F8B-4E30-BA6B-CBE653CBDAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacc3906c7a8b47396cdb236ab095fc754e98840","datavalue":{"value":{"entity-type":"item","numeric-id":3769950,"id":"Q3769950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b1451a503620d62e97f932749342dcd2922ffc","datavalue":{"value":{"amount":"+0.76826155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801053$44882FC0-6A07-4B4E-9039-FC8AABCF5126","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3801053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3801053"}}}}}