{"entities":{"Q3221387":{"pageid":3232095,"ns":120,"title":"Item:Q3221387","lastrevid":48781177,"modified":"2026-01-05T20:35:22Z","type":"item","id":"Q3221387","labels":{"en":{"language":"en","value":"Programming as a mathematical exercise"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3888899"}},"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":"Q3221387$B510B2C2-90F3-4015-B900-036C58E6653A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a4bb8d65ebeaa578d97e0e6504ed344df395295","datavalue":{"value":{"text":"Programming as a mathematical exercise","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3221387$738532ED-FC27-4550-870F-91DF8DA007A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"100d3d3a8e1f3b0e863a019dc3b2c0452b62d765","datavalue":{"value":"0557.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221387$742392E1-354B-47E0-9E45-DAEB12388139","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e136bbdda99981f780084921153c27ffb0ef7a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3028582,"id":"Q3028582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3221387$DA163B7F-664B-4BFA-9563-4E035630C225","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3221387$48FFC9D0-F793-4E6D-8EE0-1F231CE7864D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221387$83DD1F0E-CC02-4EF9-AECA-C92B0D965B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221387$5A98C7AC-0D08-4761-BDE8-0E358D5197A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa60249821ee0e756694addb77d8bd0d66747b07","datavalue":{"value":"3888899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221387$CB573AD1-DF7F-40E5-AE23-38C0EC73BB63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221387$C1C3332C-F3E6-4D61-80A5-853A5950B4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b6a1b200d919ba14feafd892b12b000f411711","datavalue":{"value":"Programming Languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221387$EB0934CD-6BE6-45A2-B5CD-F7173CABCA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f802f3e8569c8814279d27422c34b41eaa5f1e34","datavalue":{"value":"program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221387$697DC076-E98B-4D8B-B32F-0B69208221C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f095fb766aa5a3c0b3eeb13676b67c4c906ea55","datavalue":{"value":{"entity-type":"item","numeric-id":1044180,"id":"Q1044180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3221387$595B07A0-5E63-4137-B61C-40DAE0ECF44D","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":"Q3221387$2D6C83AC-1A27-46A6-80C3-86C753D4ADC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c427e593aba10d18e0e10545ca4b6abc01438f7","datavalue":{"value":"https://doi.org/10.1098/rsta.1984.0070","type":"string"},"datatype":"url"},"type":"statement","id":"Q3221387$31D8EC96-C838-4E95-B8B2-C06A2B28461C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"696ea59758b466247d211d315992f637713e3b7d","datavalue":{"value":"W2171025851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221387$5BBB603A-1463-45B6-93F7-FB423AD3F1BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d668fe2e282c9064551f2045214502aea9e497a2","datavalue":{"value":"10.1098/RSTA.1984.0070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221387$A652226F-8A90-462D-96D2-B1B7000E3C05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba69b2f89ebfb87e7a1b11f58bfd56da984fd58","datavalue":{"value":{"entity-type":"item","numeric-id":3723688,"id":"Q3723688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8c08dddeec3e90974cd192b11a55a009662de84","datavalue":{"value":{"amount":"+0.7705142498016357","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":"Q3221387$6BF8861C-B524-46B4-A88F-644719436762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5287e0aa1e87217bd42cd2d66e24afc654f209","datavalue":{"value":{"entity-type":"item","numeric-id":1820596,"id":"Q1820596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a459f7df3901f88240664323d4395f35f50e58","datavalue":{"value":{"amount":"+0.7482694983482361","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":"Q3221387$635DB40D-7847-4FED-AAE9-02001274307E","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":"990520cc27d8f8c4020992a4dd424bb4bd3dc951","datavalue":{"value":{"amount":"+0.7462755441665649","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":"Q3221387$F02E76FC-EFA4-4E6D-AC14-94C677849AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73124ac6a3cd9c13d79448c43935324f05f53da","datavalue":{"value":{"entity-type":"item","numeric-id":3319764,"id":"Q3319764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b923fb9a3b12d23ee32c94d21dde24b40cf0f5d","datavalue":{"value":{"amount":"+0.7455599308013916","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":"Q3221387$7DB2B0CE-AF21-4690-9507-5CE73AF3BA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787bce44c26bfa68c4bdd6a337d32f1925d9a163","datavalue":{"value":{"entity-type":"item","numeric-id":3757915,"id":"Q3757915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86bed935a720acbecc6dfaffa702b3cd187dcf6f","datavalue":{"value":{"amount":"+0.743008017539978","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":"Q3221387$C0E79733-870B-485D-B4CB-48E4AC54098F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3221387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3221387"}}}}}