{"entities":{"Q2805171":{"pageid":2815909,"ns":120,"title":"Item:Q2805171","lastrevid":83607920,"modified":"2026-05-07T09:18:46Z","type":"item","id":"Q2805171","labels":{"en":{"language":"en","value":"Two cotensors in one: presentations of algebraic theories for local state and fresh names"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578714"}},"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":"Q2805171$2B7F6475-76B2-4BDA-B149-A7150FD17429","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f23768cb8ab8d27f21fbdcba2885b48342034d3","datavalue":{"value":"1338.18034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805171$FA141EB7-4B87-4C46-8BA9-4D37FF7A9DDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a180f6b8fbe32ff0de946e58b70ddd0c3edf8524","datavalue":{"value":{"entity-type":"item","numeric-id":265791,"id":"Q265791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$141CC6F1-D816-4406-819F-0A331A81CEA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$F4A83CE3-C0CD-46A9-8D6F-FD3CEDE0B82C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2805171$561F472D-EBC8-4471-8C3F-B8B4FE99C598","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805171$9E65B916-0A55-41C2-8088-53F2CD8EDD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805171$31C500CA-2627-4E34-B533-D04BD80EFFBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21509e303ec9acc806af57487ce3dd091bf3081d","datavalue":{"value":"6578714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805171$015241EE-AC44-4237-B484-251798AABD53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805171$E47B0632-FAE9-44E9-897E-51260BF3B728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac35c8e7c26dd0d6a8e566b40f1924e8bf8206cf","datavalue":{"value":"monoidal closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805171$2F989E57-F574-47C3-85A4-62B6FF2BB455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f733c9e0f8b3f1824dc7c4389f051f33cb3842","datavalue":{"value":"enriched algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805171$F5B3F654-59AD-44D9-A48A-B2BAA36F450A","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":"Q2805171$004F2EE7-62E4-417A-AD9C-146DEB78F0BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd2561a8dff8e6ed7e52494e33b29729d4ae57f5","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.103","type":"string"},"datatype":"url"},"type":"statement","id":"Q2805171$927A4D3B-F110-4C69-BA71-37892F68B591","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e531048f1d6df18d4dbc932b79903a13fd55b61","datavalue":{"value":"W2086115819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805171$9AA72899-D25E-459F-A801-FC059504EDE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde312bad8685b2d5dcb73ab9f9b1b746e5f55dc","datavalue":{"value":{"entity-type":"item","numeric-id":3003347,"id":"Q3003347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$9F8E850D-412E-42F9-8959-54522FFB3CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5adc47a96ca420bb12283570fe24dcdb71dd9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2864152,"id":"Q2864152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$DFAD15C6-41F1-4D1F-9F31-0C8662136447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1b44c22eb3f9132e6fc0043559e90d8e5590d6","datavalue":{"value":{"entity-type":"item","numeric-id":5615383,"id":"Q5615383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$47E6AEA2-6438-453E-83E8-08DE820A5119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9701c4e4a8a6a6373c23900beb1d6949083c86","datavalue":{"value":{"entity-type":"item","numeric-id":5603226,"id":"Q5603226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$34E70C3B-A226-4269-87F3-FB13323B3EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4d4d51eec50085395d381accdbc188dc3b4d39","datavalue":{"value":{"entity-type":"item","numeric-id":5428843,"id":"Q5428843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$47E9F79E-7884-467C-B860-AB4297504517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a7265c2da33545499d3787209431c5a6686e122","datavalue":{"value":{"entity-type":"item","numeric-id":5415637,"id":"Q5415637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$EFB2BC01-41E2-4A1E-B592-A917C1BA601F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5917031cd6ce8484665fe8349c2192d249de0f24","datavalue":{"value":{"entity-type":"item","numeric-id":1400720,"id":"Q1400720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$8CA6E344-762A-4601-A339-3546A6AEB6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b77c76291788d67b5cc53456f4160970986e99","datavalue":{"value":{"entity-type":"item","numeric-id":3612660,"id":"Q3612660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$52CCA8C9-7D2E-44B9-A849-5AF31F47601F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$C94AE177-355C-46DA-8245-3455988E72DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9210fa9dd2bb3fb16d1c30133c7f9fbae7ba51d","datavalue":{"value":{"entity-type":"item","numeric-id":2847810,"id":"Q2847810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$7974AB48-9069-41EA-AA21-660CDB58D6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6434f38d852894f09acbb77e7f83a9fe3c989f0","datavalue":{"value":{"entity-type":"item","numeric-id":2805149,"id":"Q2805149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$44A2EC2D-0963-4E1C-AC07-24FC279395EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$FEFDDABA-BA14-4B89-9EC2-EF837A2E690E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02768dee0710788c24f2d16dcd4382b402bca028","datavalue":{"value":{"entity-type":"item","numeric-id":3324132,"id":"Q3324132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$70048253-3B8A-4337-A3AE-4CBAA01469B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e896c75803fe00b7716aa64499f6fd323ddeec","datavalue":{"value":{"entity-type":"item","numeric-id":687583,"id":"Q687583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$608C95C8-2445-485F-A26A-A77FB85C37E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c0b3e148c7a43771fcdf2347b22ddbca70a9d7","datavalue":{"value":{"entity-type":"item","numeric-id":5705871,"id":"Q5705871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$5680F37A-9D43-414B-995A-1B2E0F3135D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$91393B2C-AA73-4B52-A83B-437371C69337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$9F35F1F7-8F56-40C7-B0D3-961F8E8204C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83209e451b386934da087af785ccc2e33c62046c","datavalue":{"value":{"entity-type":"item","numeric-id":4461769,"id":"Q4461769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$123B7189-D20C-47DD-9CD1-9314F85F5628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4bd4e9f355e413c5a79c8a76668dfbe415e7a0","datavalue":{"value":{"entity-type":"item","numeric-id":1575885,"id":"Q1575885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$A51EDA7B-0E9A-45DA-B270-A89B8EAA2814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6adb107bdfe6d7d78cd50627b681655c7f3b8a5","datavalue":{"value":{"entity-type":"item","numeric-id":2851544,"id":"Q2851544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$F89AC2EB-0AAB-4A31-8432-4A913C71459C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$45F53CD5-E3D1-4E35-9CA1-EA75DAA18827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16ef0291e0d3c0d57f6596cad586e01c5227f22","datavalue":{"value":{"entity-type":"item","numeric-id":4704209,"id":"Q4704209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$E3D83FD4-FC76-4DC9-95D5-A8022BD4E8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06837aa6da8ea8460e1db2d4071921676125b997","datavalue":{"value":{"entity-type":"item","numeric-id":2851332,"id":"Q2851332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$76620670-B70A-44D9-993D-4509986F31FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$514CDE58-143C-44BE-BAD0-B1781E2B5C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f905df8a88311db82e37f87e5596b4b57104bcfe","datavalue":{"value":{"entity-type":"item","numeric-id":699931,"id":"Q699931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$E40EFA57-D127-4EB1-90F4-C97C6D3D814A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$B838B131-AB47-4331-9786-55A486553142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f2193ccb2db0bac384d6cdd7e01f259e3448f0","datavalue":{"value":{"entity-type":"item","numeric-id":2474057,"id":"Q2474057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$10C48D63-E14D-4E6B-A1B7-D512FBF1D447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234ca72d36654d00b6e8980f7c7e9a102739c5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2852102,"id":"Q2852102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805171$057263F7-3C2F-47A5-AC91-30CE993D4F63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c68f5b823ac931ecfa116349a2a728a3ea6e5f3f","datavalue":{"value":"10.1016/J.ENTCS.2009.07.103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805171$C9C64C4F-2F24-4D95-9443-03A47F670DDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5e04a61bb9b2bf274b905ad02ac4ff7261475e4","datavalue":{"value":{"text":"Two cotensors in one: presentations of algebraic theories for local state and fresh names","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805171$EDE08243-853F-48BB-80C4-6086E8354172","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16f32da30e36d31c18fbd80b7a2cad06904a64b","datavalue":{"value":{"entity-type":"item","numeric-id":2474057,"id":"Q2474057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59cf94de32dba6847dd4e2db60ad14a1954de3b5","datavalue":{"value":{"amount":"+0.7295029759407043","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":"Q2805171$0367B28F-FF8B-4D02-843F-690F9715DA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998ce59b2e2182e9a17f7061382d98f6f3ee00a7","datavalue":{"value":{"entity-type":"item","numeric-id":4028343,"id":"Q4028343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4883a3be4942bedccf0fdcca88f7ea8742b8ce","datavalue":{"value":{"amount":"+0.7269027233123779","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":"Q2805171$9773BA02-7E20-430C-B6D5-886AB2090CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e72fd80304e69b159e5ac9d2ea74f2c0147610","datavalue":{"value":{"entity-type":"item","numeric-id":4222833,"id":"Q4222833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4883a3be4942bedccf0fdcca88f7ea8742b8ce","datavalue":{"value":{"amount":"+0.7269027233123779","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":"Q2805171$F8BF3295-E10F-4D34-8F81-DD7E9D58F9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d459696034d89353ceb384371e16bbd67c5de810","datavalue":{"value":{"entity-type":"item","numeric-id":3557843,"id":"Q3557843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57f4115763922fe7d89b9b7d0589921f0fd4776","datavalue":{"value":{"amount":"+0.725625216960907","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":"Q2805171$97BF77A2-C0D2-4620-8E2F-C4790F02DB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e8583fbcca71ad0e1be5f5f92ef5e7d01b3e65","datavalue":{"value":{"entity-type":"item","numeric-id":1605185,"id":"Q1605185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4240a98d6193e04fe28d972823fb68d1dd9a10be","datavalue":{"value":{"amount":"+0.7168278694152832","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":"Q2805171$F57CB716-859D-4D54-AD77-5C97C4D64C25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two cotensors in one: presentations of algebraic theories for local state and fresh names","badges":[]}}}}}