{"entities":{"Q3823813":{"pageid":5853719,"ns":120,"title":"Item:Q3823813","lastrevid":54102554,"modified":"2026-01-26T06:20:50Z","type":"item","id":"Q3823813","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4098735"}},"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":"Q3823813$00335DA3-DF30-42E4-8D75-BA8D5DE20FDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1048891b2744935f808dd1ae9887552f69c881d5","datavalue":{"value":"0671.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823813$A9BFED52-E00D-4B7A-BA2D-E2D03385DBF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89efc04017073bfb8c5d7b0cf7f25e439024bbb","datavalue":{"value":{"entity-type":"item","numeric-id":406443,"id":"Q406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3823813$A1B9A7C2-E3AD-4359-9AD3-6BBA98028A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9256b9c66abf0874079ec7a59d0475f09ad5128","datavalue":{"value":{"entity-type":"item","numeric-id":3823812,"id":"Q3823812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3823813$5B4BB189-7286-4D8A-9A0A-EE2AA596BAFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3823813$A0B5E6D8-D720-4873-BCD3-3C860C91771D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823813$FE227A55-9DC9-4441-8021-A25002467C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823813$A24E7C79-47CA-49F3-BB47-7B4016EB9720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823813$2424DB9F-6099-4CE8-94E8-34EE9B9C39BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"612c10ebd0c5e1b54f3e1e0606881952284b53ab","datavalue":{"value":"4098735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823813$6A1AC67F-4394-4685-97BA-C48CC3C13AB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a91d095f8149f7450da4fe2a732d13912808522","datavalue":{"value":"sequential programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823813$74A13DC2-C695-4280-B73F-171B27F27CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3789f7098f4c7c02a92637bf9402fba8b82a0b","datavalue":{"value":"specifying and verifying and reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823813$6AB3347F-9714-47CA-99D2-7A273C618BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b830bf1e0406d6dfbc0f4f05ae1ca6a37a82e76","datavalue":{"value":"about programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823813$D0333049-8272-4C4F-8D04-D7C64CBB8B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19d56a76d08ec5345f622590af42e78e2441f9d1","datavalue":{"value":"logics and meanings of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823813$152E2D2F-4121-44CF-B29E-01C0AB05BC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b873c35f08a55628ba9dee4a466b52ea8b8c6b5","datavalue":{"value":"denotational","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823813$00EE68A8-C2A2-43F1-902A-FF06D810BC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823813$8661C2E6-2B90-4CA3-8CC9-D078297166A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bad1f6d15c6fa43a3793f9e8214ef203517a0d1","datavalue":{"value":"control structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823813$3268DDA8-501C-4462-8AEF-55FDE5918663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f2fc9f56209eee2454e3cbbeeba04e4d47883a9","datavalue":{"value":"procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823813$F12BFEE8-6F43-4CB1-A5BB-4AFAF6AF8C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ee22da1db5e6626176a61285ec8d7b899c85265","datavalue":{"value":"expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823813$B731B74D-2DE7-4C5E-8789-310649753FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823813$7AECDDCC-2EAC-4B73-9A0D-E70F1D64D137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce082811cbb13dfcf2d410ec2e4fba767aec477d","datavalue":{"value":"semantics of a programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823813$FD7A1E01-576D-4931-BAE0-B1F68BDFC809","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":"Q3823813$D73F59C6-7EFB-4FD1-8376-3DA8AF4BFD96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12ae9b79fd8f47daaf661945c04e5a8c4c144e1","datavalue":{"value":{"entity-type":"item","numeric-id":4011708,"id":"Q4011708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48b0ae6bb3c07372c1401a6d8ae37f77d3e3e37","datavalue":{"value":{"amount":"+0.763001024723053","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":"Q3823813$9DE92EF0-48D7-4663-AB81-1ECA13B0FB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f8acdb72d5e669e9c48df9fe7072855f43143d0","datavalue":{"value":{"entity-type":"item","numeric-id":5687234,"id":"Q5687234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48b0ae6bb3c07372c1401a6d8ae37f77d3e3e37","datavalue":{"value":{"amount":"+0.763001024723053","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":"Q3823813$670F7C44-F486-49CB-AD2C-74202CFA9B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"916a0fc9fa6932c201d9dc6238363298b5f9273a","datavalue":{"value":{"entity-type":"item","numeric-id":1350513,"id":"Q1350513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314f6a6cec1273e371deaef59fd5d36a41451f5d","datavalue":{"value":{"amount":"+0.761775016784668","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":"Q3823813$05E6EEA7-5115-4CBF-90B1-99482565934B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8ef9d4240389554e81d67996e54fe22f675992","datavalue":{"value":{"entity-type":"item","numeric-id":4273429,"id":"Q4273429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22812902ae3960aa1f2fd7df3f8af287b941628","datavalue":{"value":{"amount":"+0.7390091419219971","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":"Q3823813$EB223927-C554-4DCB-ADCF-399561D3D387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c31661fe8c26cd89f369eeb4be7f8249fd0dee7","datavalue":{"value":{"entity-type":"item","numeric-id":4362890,"id":"Q4362890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e00a13ea626c0bb84d230235fd42378e2aebc8","datavalue":{"value":{"amount":"+0.7357068061828613","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":"Q3823813$33A9990E-4300-4741-9E20-C067B04D4152","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3823813","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3823813"}}}}}