{"entities":{"Q1057976":{"pageid":1059824,"ns":120,"title":"Item:Q1057976","lastrevid":66650961,"modified":"2026-04-12T11:33:44Z","type":"item","id":"Q1057976","labels":{"en":{"language":"en","value":"Tensor product of partially-additive monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3899133"}},"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":"Q1057976$61CE4045-F6B6-4346-B529-35EEE6ADA8E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5decbae45759a4d077346d8c06d66495ee4ef1a","datavalue":{"value":{"text":"Tensor product of partially-additive monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1057976$96FF1D7B-6EFC-4522-B159-BB77897B828C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5275056aee246b94b995a15a3d802ee30282ee7e","datavalue":{"value":"0564.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057976$FD8788A8-39CE-4623-B1AA-31513469A302","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93282c6aadb2a313659a7c8d31dcee91cc010f9b","datavalue":{"value":"10.1007/BF02575521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057976$D1087C0B-2A5B-41CA-B00D-2801B5F1B16F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c00e12e9a60f793867f54286fa86ab8a919ef84e","datavalue":{"value":{"entity-type":"item","numeric-id":645915,"id":"Q645915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057976$FCFDBB02-03F9-485B-80EE-86126A2D025F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057976$7198255B-43A4-43CC-8762-E07F0F4F980F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1057976$B25D425C-4884-4DC3-8E56-B9275793E0F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c28780edfbfbbbca228b49dd79a9ff3ca1f750f","datavalue":{"value":"https://eudml.org/doc/134765","type":"string"},"datatype":"url"},"type":"statement","id":"Q1057976$FB31C28D-B5A7-4B87-8DA0-56BC4274E271","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54a3b917a9def8eabe29a6f95f4b051655d90a3d","datavalue":{"value":"Partially-additive monoids (pams) were introduced by Arbib and Manes in order to provide an algebraic semantics for programming languages. In this paper, we prove that the category \\({\\mathcal P}am\\) of pams and additive maps is a closed category whose monoids are partially-additive semirings.    We follow the tensor product construction of \\textit{R. Guitart} [Cah. Topologie G\u00e9om. Diff\u00e9r. 21, 5-62 (1980; Zbl 0477.18007)] for categories of algebras which generalize the case of modules. Nevertheless, the problem here is more difficult owing to the fact that pams are partial algebras rather than algebras. Thus, we have to make some modifications to Guitart's approach.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057976$4C7B2CDE-9330-4E9B-A105-438B497740EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057976$20C47A11-9B30-4494-8FEF-E72B49CF4D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057976$7BE904F0-EAC7-4BF1-B28A-20639A9F61FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057976$189B2C86-1268-44EE-8782-827D47123593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057976$079EB0F9-0198-43C5-8786-A99ADDC2FB11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"648a48ce972791844ba5abf3b616b788695e973b","datavalue":{"value":"3899133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057976$DDEDFDC6-0307-437A-B1DB-46D30AF47F09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e3b9170f4f96a0774bb15a801749f5df558245","datavalue":{"value":"Partially-additive monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057976$CDD9C390-3879-4085-A81E-99BAEE736F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057976$C9C08BA4-04DB-4466-A3AF-6E4E840025F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057976$A7B713F9-35CA-4107-BB73-AEF1F38BB6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46299baa1baa8aad3e6449a07fa9c249b88d007e","datavalue":{"value":"closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057976$44B60F99-600E-4241-95AF-A3DA5ADDA9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057976$13DFE1A1-1221-4108-BBCF-75C02ADA5F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"157ab91c419be05cdd3c038eba702556731cfe6a","datavalue":{"value":"tensor product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057976$718519E3-838B-49B2-8028-97246104F26C","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":"Q1057976$D6F79B8B-8DE4-42B7-9DA4-24B477E94B81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02b0e3de2592ad06004d554fe4c7ddf3beb4561","datavalue":{"value":{"entity-type":"item","numeric-id":3049836,"id":"Q3049836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057976$6A8B21AC-DF1F-4C0B-93D0-199487BC2D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25471e433ccc7132cf3bc9bb0afab7bc3de34135","datavalue":{"value":{"entity-type":"item","numeric-id":3936172,"id":"Q3936172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057976$30832D43-648A-411B-B8A8-BEC6F598D5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057976$ED8305A2-BA32-4001-89AB-FC0A4D7D0FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24086f4adb2942483e0c0e378127607b90341feb","datavalue":{"value":{"entity-type":"item","numeric-id":3704056,"id":"Q3704056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057976$70E5B243-5C33-40DE-83C1-8207101ECDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e2297751ae18b927d8b7388b3455bce1ae63c9","datavalue":{"value":{"entity-type":"item","numeric-id":1236553,"id":"Q1236553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057976$520C9AFA-A5EA-4EA9-BB0F-4755066B73B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dde1144a194f86bba18e75e4bee97d584f37b7a","datavalue":{"value":{"entity-type":"item","numeric-id":3934678,"id":"Q3934678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057976$4B1D1665-6068-4109-A580-010902897FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057976$4DE45506-EA2C-40CA-AF36-64836CFC5BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057976$3C9F374B-66D4-47BC-A1A1-73E42F9F8838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f06c3146f318eddd4170419dc0d4f0982f29ab6","datavalue":{"value":{"entity-type":"item","numeric-id":800396,"id":"Q800396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057976$06D292D7-504C-4A8E-82A8-2E89410C289A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69af1d7dc1c2c2b7f959c2827c89682d8afdcb86","datavalue":{"value":{"entity-type":"item","numeric-id":3704056,"id":"Q3704056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d6398d1ae1360c4a76491bc0c558c0088ec641","datavalue":{"value":{"amount":"+0.8687974810600281","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":"Q1057976$4624F78E-19ED-40D3-B7D2-0F2C23FB3571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197f2b8949e72b405e8364dc997a77b96f33c171","datavalue":{"value":{"entity-type":"item","numeric-id":3713980,"id":"Q3713980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70515098f792f6131853a52ca1533255dfea6160","datavalue":{"value":{"amount":"+0.8260230422019958","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":"Q1057976$55526DE0-1481-4D8E-ABDB-C673F404A43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d70874ae23003ad8d6d842dbda9b2a9277966c42","datavalue":{"value":{"entity-type":"item","numeric-id":5687244,"id":"Q5687244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1abedac7db66d92384f2f93d3fba68bbb9fd178","datavalue":{"value":{"amount":"+0.7524355053901672","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":"Q1057976$BAD9EAD2-E0AB-4BB6-ACD7-9E926FA301DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40a25f5a90b739689fb1fc6d1927b6a00d1f2f39","datavalue":{"value":{"entity-type":"item","numeric-id":3826733,"id":"Q3826733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105a709e0c0a9d0674873ef6ff67b528ceceda7b","datavalue":{"value":{"amount":"+0.7515959143638611","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":"Q1057976$F6E0FE50-F5FF-47C4-887F-913D9481DF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d47f055a2896e3fc5fde19417ea08552e8ff91a","datavalue":{"value":{"entity-type":"item","numeric-id":2366850,"id":"Q2366850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c39dded00e0807aaa748203e80886b7958a7f0a","datavalue":{"value":{"amount":"+0.7320833802223206","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":"Q1057976$70CB4FF6-AA09-44CC-A37E-E8950C18D740","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tensor product of partially-additive monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tensor_product_of_partially-additive_monoids"}}}}}