{"entities":{"Q3673065":{"pageid":5702971,"ns":120,"title":"Item:Q3673065","lastrevid":49981528,"modified":"2026-01-12T11:16:53Z","type":"item","id":"Q3673065","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827166"}},"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":"Q3673065$3A99A3FB-5116-4A8B-9418-637078FD35B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dc7d061916f81df186f9c7a6f5c2556f917c0a9","datavalue":{"value":"0522.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673065$3EAC4DF3-C544-4E2D-AB4B-9C5D24D65E29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3673065$C69B7713-1A6D-4439-886A-90928D4F3E7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673065$FD6602C4-12AC-48D8-8F4E-BFF82D86715A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673065$759FBED9-00D1-4349-9F24-4FA93E78FD16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"520d815bf57277e2de093fb0d4d99cfcc9f11104","datavalue":{"value":"3827166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673065$2CE69C95-8E2C-4AF9-B3D9-BB80F5607C5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f5b98f3d0249bedffd18af87c46aab4737c599","datavalue":{"value":"Program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$B8043E40-FFC4-4531-8C55-D1EE1E753FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61319da87b210caf61ad3aaa3a9a096d64907f7e","datavalue":{"value":"Nice/France","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$74E4C3AC-6D8B-432D-A085-97EB5A56C9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68f6f8ff3a172be1cc757c36e4331422fd8bfae8","datavalue":{"value":"system development method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$71D80182-E713-4A4C-9D5B-88DE1BBFD5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97d3792f802da4d0211f8397af007b1b5999a9b8","datavalue":{"value":"formal systems specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$BB0B395F-8931-4F47-BF32-242C4CB6EE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca349b7534ee4c6daef46219f1870f6141cd3cfb","datavalue":{"value":"induction principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$F9343C2E-EC2D-455D-AFE9-12FFF41F4D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05335a83eaaafa58fb33baa1c68f578c37d0702b","datavalue":{"value":"invariance properties of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$89908551-CBBD-4B50-9521-22106BD4DE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f057f8ab70cf44c38b10973fd1848ae5510961a1","datavalue":{"value":"idealized Algol","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$402A4122-3F66-4ED2-B734-03D0CC87D057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a68ba5872fe79be920eafdbd3ed7c7b13785eab4","datavalue":{"value":"specification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$75EE8C98-156D-498E-A48A-382EBA23A598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8bdb025f936231b9b29a7044b58cbcee05cb73","datavalue":{"value":"logic for computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$02D9FAF0-7C7E-421A-9F3C-87581777F08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$A5EBF128-0594-4537-AB98-A370A8DF5599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$B693F4F9-881A-481C-874E-92B172FF28CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c925a284aff95e7d44c8d20319326a9ec94631aa","datavalue":{"value":"transformation of recursive procedures into iterative ones","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$36732DB8-3E56-4C1A-BB65-B9AFDDE61F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cb2d05897b92a65bbcf5c284b4b94ced80cfd1","datavalue":{"value":"Ada","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$7E55A4F9-45BD-4E7C-9074-9A95918BD463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$65E6AEB3-F163-4FD2-A7CE-045B024FA0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be006266bb44779e4575cad7a35e529cdf22fff0","datavalue":{"value":"system DELTA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$6965DC81-A163-49E2-AE76-6EB9210619EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67d8b5261f4d36936d11d9d289da52662927750","datavalue":{"value":"compiler production from abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$CD1DA346-429E-4ED1-8866-17EE1F1BBAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fc335a1a2ecf142b607ba921416ef63598510b7","datavalue":{"value":"perluette system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$DEB4ED95-6D15-4041-8F99-BA1C8DEDE838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9be8e22c6ffb1628460300106da3abab5b9cb8c0","datavalue":{"value":"SPRAC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$6E227F65-C195-48C5-924D-E559B4CE93E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c4df5c0cd246319ec98364cc18f750639d6c6e1","datavalue":{"value":"VLSI","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673065$C1DE5DFE-492B-4B2B-8752-A7877EEF2BBC","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":"Q3673065$A9A87626-75A1-4E05-B36A-64FA92D4BC56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3673065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3673065"}}}}}