{"entities":{"Q802882":{"pageid":804730,"ns":120,"title":"Item:Q802882","lastrevid":42701446,"modified":"2025-07-08T15:23:23Z","type":"item","id":"Q802882","labels":{"en":{"language":"en","value":"Algebras, polynomials and programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4199645"}},"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":"Q802882$B199F344-44D5-470D-9714-5FA2444F740D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27b4dc86c56f805305da5728d9448a05d3ab9fe8","datavalue":{"value":{"text":"Algebras, polynomials and programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q802882$792F009E-AA39-4325-A275-B0087B0891D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8965f1dd8403f138b6bdd751c946b64c18ae446","datavalue":{"value":"0726.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802882$12B69FF8-26ED-4E7F-AB8B-CE17FA4DC33B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d05da6331694e7b37e7ab37f4eb5ffe0dac4a9f4","datavalue":{"value":"10.1016/0304-3975(90)90150-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802882$7B3BFC8D-7495-44D2-9C51-652EBA0EF29C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ebf9d7de436e661fe44c64998a85f0c878859fe","datavalue":{"value":{"entity-type":"item","numeric-id":751296,"id":"Q751296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$7E560AFA-321A-4663-95ED-C669DA990138","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$735C7A23-C6BB-41BB-A663-35DDA1542EBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q802882$B925CD6C-09A3-4503-B35C-E881680CCC48","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5c2cfdeb066e5cceb5e8fefa8bc9535fe53813de","datavalue":{"value":"The paper is directed to an audience of computer scientists with some knowledge of elementary category theory. It presents applications of ideas from universal algebra and category theory to the definition and semantics of programming languages, and to the study of iteration and recursion.    Some of the topics covered are: many-sorted universal algebras, formal equations, polynomials, substitution, (many-sorted) Lawvere algebraic theories, flowchart program semantics, recursive program semantics. The paper is written clearly, and accomplishes its stated purpose.","type":"string"},"datatype":"string"},"type":"statement","id":"Q802882$13C6B360-C84C-4A40-8033-421883D8E705","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bab6095f1b641fc3add262714cd80d4bd006795a","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$960F3CAF-701C-4974-BA79-28EFDA4FE289","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802882$29E10FB8-66B0-4D47-AEC8-70BF929F3F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802882$3712755D-2BA7-49AE-B628-BA7A7AF14388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802882$EE3C6CE2-812A-4C8C-8CC1-05AFF3969894","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ae6522a8840c9ea1013ba0e3e1f910d97f10922","datavalue":{"value":"4199645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802882$16F20A3F-9039-426D-B44B-43C12DC786A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"055328c552b15110e33d0590bf2b095b3c0d16be","datavalue":{"value":"applications of ideas from universal algebra and category theory to the definition and semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q802882$CE440276-4821-44C5-90B5-CEDAE5D1E8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43bf7eef5baa39898efba8eaff82cbeef31aeb2","datavalue":{"value":"iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q802882$6F67A96C-064F-4CDA-953E-5DDEBA2E1C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q802882$74A41203-DD56-4E5B-A19E-917447F499AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d63dd677bb29ebbda9be94177cd2dca63bb5e3a","datavalue":{"value":"many-sorted universal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q802882$FB65B60A-7386-46F5-9DD4-532497B13896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ed165cc1a02dee92c22d20cf87679f6253763a","datavalue":{"value":"formal equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q802882$84A6EE75-4E05-4B34-8669-76290AEFAC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a609ae2c21271342f267522dda74375687f014","datavalue":{"value":"polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q802882$1F14267D-4333-464E-8180-C1B1FD533AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q802882$411B4420-72D8-449E-BFDE-0054125AADED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64d7b9cbe1c24e0fa4f7c8fa9f2f2eb64d26426b","datavalue":{"value":"Lawvere algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q802882$D485827B-9445-4412-BE19-FA4CB288EF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a49d689e90577ca358ef9ee139c1e5e273d43ad3","datavalue":{"value":"flowchart program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q802882$DA46764A-B1F2-4264-B848-08CF863CFBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f887b194de90cc59dc8618dafb09f9d8552d1a9d","datavalue":{"value":"recursive program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q802882$3301A83A-DB70-441C-9C4C-04629DE5BBCF","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":"Q802882$FE11E13C-8252-4F1E-A9FB-C58E0B242B5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$28E53288-3E29-4F99-96DC-EBF0AC06D97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c70c115343eba336fa908d79dfd6574882d82ba","datavalue":{"value":{"entity-type":"item","numeric-id":790235,"id":"Q790235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$DDB288BD-57A7-4822-9C82-9ED2664A59BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1e65078ac556e120790c1619c520cc83c6ebf7","datavalue":{"value":{"entity-type":"item","numeric-id":3695436,"id":"Q3695436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$296F6459-C9E0-4112-AE3C-F1BD0042887D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$6B2FEC19-D2BF-42AB-A794-73AB34FE0A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$DF2BCCAF-8043-4C38-B406-E97F6F8B6B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d99c7f244c600607afce58286b675cb1cbea7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3919058,"id":"Q3919058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$825AE94F-928B-4A80-91B0-9563FB0C806B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$6F7B7F19-7794-485C-8999-3C80E3153EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$9EB69EBF-BDD6-400F-9C17-D4CB5A60C9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$0B602B7A-6978-4D2C-8818-5668B600233D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$24316339-8792-4297-9D82-0A09B3167CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$7831013C-9673-4A34-A1E2-63A4624A9149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a0643d71d7244d1061eef4fd50591d26775ca9","datavalue":{"value":{"entity-type":"item","numeric-id":3950708,"id":"Q3950708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$C7503F33-B23D-4239-80BD-4AD1A5E037CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"818fdddfe8aa20a2513f81442580770b66dc2c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3777431,"id":"Q3777431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$6409234E-B07A-4916-B22D-293B5938F751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b89105d7ff42b98714d5f0e40901fbc5d230524","datavalue":{"value":{"entity-type":"item","numeric-id":580959,"id":"Q580959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$1CAC3163-889D-4F08-8982-104E1267C2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5dcaf87e1f6745acda14dd55addff15f8a3933","datavalue":{"value":{"entity-type":"item","numeric-id":4134935,"id":"Q4134935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802882$9D0E5177-20F2-4962-A27F-A529C06BC68C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209dd9e008f70c6d43cf02a0c03a28fb50396fe7","datavalue":{"value":{"entity-type":"item","numeric-id":1912495,"id":"Q1912495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785d43248ebdc53c0169399aaa3c0ff0675e9306","datavalue":{"value":{"amount":"+0.9257509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802882$1752EE0D-0760-4502-A853-D10398CFCEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bbab4d4284934f270fc5283813a35831cdc9538","datavalue":{"value":{"entity-type":"item","numeric-id":2339983,"id":"Q2339983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfd14a3b8636ad26055c9f7b745ae183fcb93ed","datavalue":{"value":{"amount":"+0.9193657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802882$AA64A4CD-50F3-4901-BB8F-999D0D9A51CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b39ee7477f8cbe3e935e9397e96e0da6128fb6","datavalue":{"value":{"entity-type":"item","numeric-id":6068932,"id":"Q6068932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87535d0a84b6b3e78b269e1678aa5e232ccde6c5","datavalue":{"value":{"amount":"+0.91564137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802882$EE7B9D9D-AC87-4547-9956-FA62CCABFA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67bd9d28b2632320a3c05a7c087a4365eac33680","datavalue":{"value":{"entity-type":"item","numeric-id":1342736,"id":"Q1342736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6c9209f51a526709ee5b7064c667556e0c302e","datavalue":{"value":{"amount":"+0.9151033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802882$E0265541-F84E-466F-89FA-53AD779E586B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0794c44e03aee90ff6774c470420b4178fff845","datavalue":{"value":{"entity-type":"item","numeric-id":4282674,"id":"Q4282674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d5f63d9e02b5ee25f3c7c0308653560d4f1b07","datavalue":{"value":{"amount":"+0.91136986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802882$B62C3822-05D7-4C82-A928-E6AB80EFAB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f9c717cb8f26b4db87333827f60575560f5df9","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ca15919248b67e7e5d1f60a93205aa1ecd9475","datavalue":{"value":{"amount":"+0.91067266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802882$4C79F778-2CFE-4564-97DD-3D999A2E27C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df660d66cea18d039641736425877dbd0de8741","datavalue":{"value":{"entity-type":"item","numeric-id":3834152,"id":"Q3834152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"582bc85b127f3519ca6465aafdd654807b468559","datavalue":{"value":{"amount":"+0.9085453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q802882$2C3FA207-5389-4285-B4A7-8A4E06463C13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:802882","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:802882"}}}}}