{"entities":{"Q1854334":{"pageid":1865076,"ns":120,"title":"Item:Q1854334","lastrevid":71504655,"modified":"2026-04-13T22:42:14Z","type":"item","id":"Q1854334","labels":{"en":{"language":"en","value":"Equality between functionals in the presence of coproducts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853093"}},"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":"Q1854334$6AE1C171-090D-4031-8043-F6636ADCC908","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e17236b00151c4ee02a04462564ebd68ddb8b6c6","datavalue":{"value":{"text":"Equality between functionals in the presence of coproducts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854334$19D68603-EC35-46EA-96B9-EB3DF7D44796","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f76ada016f2028ce299c58622c6a450b680830fc","datavalue":{"value":"1005.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854334$C1EF7617-DBAC-4AD0-B3DD-511ADB602FE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d666e96ce2fa8f92917e230fc2bc29c6dfb1050f","datavalue":{"value":{"entity-type":"item","numeric-id":673969,"id":"Q673969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854334$02F45BCE-4C79-4097-B972-275AC573D4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b8ab75510e765dc4c2dd6c02071146f3a80d5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1277301,"id":"Q1277301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854334$DB4A1A74-02A6-4006-BF6F-91D583397463","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854334$ACCA7AED-4E70-49EE-BE6D-909A85D31DF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854334$BDD8CDC0-FA13-4987-A00F-D71BAA769BD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"284eaeb7e50690c2a97da27e388f2a89e76a0981","datavalue":{"value":"https://semanticscholar.org/paper/f786d80cd4e8aad3ee21accbf2f978b57ae91ea2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854334$88181E0B-61DE-4797-8ADA-CC6E9B604BD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854334$62A70F6A-176F-4495-B8F8-641643ABC1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854334$1C1F317C-5C0C-41B9-A5D4-BB642900F48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854334$B71DDC6B-7AED-4D00-AF2B-337FB6F05F1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbdd418ae45057a276b5f4843795c731baf27241","datavalue":{"value":"1853093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854334$D028E248-5FBF-4CD7-BAD4-A5208D63AEF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854334$CEF6D458-0719-40B5-BCED-EA19CDA3A6D0","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":"Q1854334$0ED080D1-CCF0-408D-A490-A70FF93FE2C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1860583761b8737fdf029f5ec22bdd9e1bdc4f16","datavalue":{"value":"W2119992134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854334$77EB975D-6FF1-46AB-8CD1-816323948DD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854334$9FEE2054-811E-4F01-BB32-27BEF20D7944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c252405abd976dcaf3cbe6a893c67bf7aa0b754b","datavalue":{"value":{"entity-type":"item","numeric-id":4630299,"id":"Q4630299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854334$F6D58DE6-DCF6-4D0F-831C-E7048DF5B9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d888f9a9bf6d1962e3fd93c776cc5efd40043e","datavalue":{"value":{"entity-type":"item","numeric-id":5055791,"id":"Q5055791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854334$62C56601-2AF4-49D6-B354-72EA7DDF2B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854334$40C9C9AD-9247-4808-8FF0-867D073AE689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854334$38FCE632-638B-4054-9105-5568DADC51EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854334$12E9BF11-5362-4B3E-AD2C-F05ED20590C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854334$C4485FF4-D9CE-448E-AF32-A56B397824A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74236444b9405abe628a3c6e2a1cbab41fc3b506","datavalue":{"value":{"entity-type":"item","numeric-id":4385534,"id":"Q4385534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854334$456111CC-999B-49C2-A931-E84DA30358C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492542c2fa16745b6c1ab27c66663c1aea1182a1","datavalue":{"value":{"entity-type":"item","numeric-id":804559,"id":"Q804559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854334$0A527239-F4EC-4AE0-A54C-6215EDFD0C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854334$787824D8-A36D-496B-BF19-E06BF9A7B842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774822eedcef03842f356259260ade0204086937","datavalue":{"value":{"entity-type":"item","numeric-id":3947643,"id":"Q3947643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854334$DCAAEC61-F486-474B-A7D5-925A31D459E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"901890a166b4748c6101ab7f80a3aade4bfdf4aa","datavalue":{"value":"10.1006/INCO.1999.2833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854334$418BE6B4-B3EA-46DB-A4B0-C6859B868FC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b13b86fc5e315f3c929a43bda53b8eb60a63d9ac","datavalue":{"value":{"entity-type":"item","numeric-id":5055791,"id":"Q5055791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eec84d5fdfb374487c77b9f829ac1aee72b9c427","datavalue":{"value":{"amount":"+0.7948630452156067","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":"Q1854334$8EC08DB4-76C6-4950-9AB7-575E08332D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23060c9dc1628bd92e9ce02531ff52f85143df1d","datavalue":{"value":{"entity-type":"item","numeric-id":3024834,"id":"Q3024834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6872da20334ae140b8a2767932a952a8be9191aa","datavalue":{"value":{"amount":"+0.7722997069358826","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":"Q1854334$23AB57AE-9413-4578-BEEF-50B6144D7984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6e28e198e7f0c2e2686b0d35dc61587ead36d3","datavalue":{"value":{"entity-type":"item","numeric-id":1283777,"id":"Q1283777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7dab2832c3eae7ad8824695ab95f7b66bcab0f","datavalue":{"value":{"amount":"+0.7624503970146179","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":"Q1854334$18D4C723-704B-4F05-98D1-4D63CD807D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d809c196c39f2e163ea8fcf30b346cc6e52b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4855295,"id":"Q4855295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"367960db29bea98605057030f6c6016ef9752ade","datavalue":{"value":{"amount":"+0.7600376605987549","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":"Q1854334$0AD514AD-0720-482D-95BB-D13B2C1C3F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d106445541691217e6141100a2b45a086b24cf1d","datavalue":{"value":{"entity-type":"item","numeric-id":4946627,"id":"Q4946627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30306e350351967d63f376531240ea62c714a1d4","datavalue":{"value":{"amount":"+0.759983479976654","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":"Q1854334$43D71885-62FC-4FCE-A22F-A916D6082C65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equality between functionals in the presence of coproducts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equality_between_functionals_in_the_presence_of_coproducts"}}}}}