{"entities":{"Q4647569":{"pageid":6677150,"ns":120,"title":"Item:Q4647569","lastrevid":53321213,"modified":"2026-01-24T17:45:06Z","type":"item","id":"Q4647569","labels":{"en":{"language":"en","value":"Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002044"}},"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":"Q4647569$F7C0C8A0-46B2-4E38-9069-40AAA1401B9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f761728df883a701f5dbcc36ff28a270b9c0600","datavalue":{"value":{"text":"Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647569$F85F4EA0-1864-4408-B63A-A6BF524A2708","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18b6d12d9695a65d8ca67422a75d6805077ec5eb","datavalue":{"value":"1407.68432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647569$66F361B9-8FFD-4CD6-9335-808F862E4363","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74a52b744093fe86934325c74b3929d3db84824b","datavalue":{"value":"10.1007/3-540-61780-9_61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647569$455BE429-A6F8-42D9-8C88-01821A99D304","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9795b00ac8f37a027baf8b0bae0821eb83ac345","datavalue":{"value":{"entity-type":"item","numeric-id":4260393,"id":"Q4260393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647569$834F7053-6B87-4A4D-B480-DAC6571827CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647569$524B26E7-38FC-4E14-B9B2-58DE56C87183","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647569$FCA3EAA0-CCD6-4CE7-AD6C-0BA1A3D31BFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647569$E48FE9C8-62C2-4DE1-8747-75D3F3BD05EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647569$DA7B55C0-E55D-493F-A67D-A8810273C092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647569$0AF73DBA-62D9-4A17-9239-C69C6019CAAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40c47b25c730072c1daacff1497f4ae9b19013e1","datavalue":{"value":"7002044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647569$F0A7A617-9D11-44C5-BE96-1C783EB29D98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647569$03E68D61-79D9-4055-BC55-54BF19E9DA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647569$D848456C-8A49-483D-A860-6A07F5D6B531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbc7bac8c77e3cc5af5bc984fb6e7fefd02c19b","datavalue":{"value":"natural isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647569$F5230579-7432-419E-AFFA-1776E5510E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd3ac1520877b376a20ec113028993130e619df","datavalue":{"value":"monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647569$4871C09E-B998-46A7-99A4-590E1F558E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647569$7971B39F-D15D-4E67-B670-E1493538DB3E","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":"Q4647569$DDDAC518-0A98-46DB-A271-26772A209A27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f1b943947743fabbc3312adedd2dc37708f0e0d","datavalue":{"value":"https://doi.org/10.1007/3-540-61780-9_61","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647569$FD53E5BD-A018-42CF-9F96-4572CD272637","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d49a3911aff81ee3522a1e79a15a1329786d2208","datavalue":{"value":"W1489565250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647569$6144D39D-8CDA-4063-9F6B-623514F03E7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa1e1e1a7f2285ef58a648d10db096ce5882504","datavalue":{"value":{"entity-type":"item","numeric-id":5057474,"id":"Q5057474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647569$2D5D84B7-D1D7-46FD-9D20-934F38A122BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4749998a63e8333eabd57d6ad134faa39446f2a","datavalue":{"value":{"entity-type":"item","numeric-id":4525278,"id":"Q4525278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647569$C4FDC883-F0FC-4F5D-A2D4-76C76C8925BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730be61f324b593b9cdcf693cd18218da2ef3707","datavalue":{"value":{"entity-type":"item","numeric-id":2785696,"id":"Q2785696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647569$A89AFF7B-EB00-4350-B41B-ECA1D4AB3827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5b3e1d2709e0f5c17896cdfac83364e530049b","datavalue":{"value":{"entity-type":"item","numeric-id":4012883,"id":"Q4012883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647569$6C1FBE35-9DD6-4D9F-BCED-071973AEF4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647569$9664CC77-7D7E-45EC-BBC0-D00E3E005B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b24aa434a4958ff197c3a4373c175de86dfa4c9","datavalue":{"value":{"entity-type":"item","numeric-id":4851718,"id":"Q4851718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647569$D9C787FC-CA4C-4296-8730-19A86868171B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30390ad556d719409cdc2ab23057c3d8ba123379","datavalue":{"value":{"entity-type":"item","numeric-id":809071,"id":"Q809071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647569$B2D1514F-C17E-40D3-A370-F9D0835E946D","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":"Q4647569$895B57B5-2BB5-4EBE-A626-FBFADE94952C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eac855b811f1b970acabfcc819dcc4856f74155","datavalue":{"value":{"entity-type":"item","numeric-id":4995162,"id":"Q4995162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c58a0e4bd5204b6831d1de9a21959bd63cbb52b","datavalue":{"value":{"amount":"+0.7586590051651001","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":"Q4647569$4A360D1F-13AF-4E63-832E-59CDC63F5698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7809bbf23cf6d18ff1f947180d5f27ea7714554","datavalue":{"value":{"entity-type":"item","numeric-id":1604796,"id":"Q1604796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d30e2b688d06e7d08968080d405b1c93b693962","datavalue":{"value":{"amount":"+0.7545135021209717","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":"Q4647569$7135AA8A-5CA3-49E3-A47C-8CCB8ECD49F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94c3d615144c9d2aecd32a1e49f21b329eede06","datavalue":{"value":{"entity-type":"item","numeric-id":4649461,"id":"Q4649461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42730b4b6ef7afd51af3d909a1c516e1267aa81f","datavalue":{"value":{"amount":"+0.7440981268882751","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":"Q4647569$D0059A29-FFDA-43F2-8AA7-58C0298F0F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ca0e4d4c0291b052485251c3965fc4422970e9","datavalue":{"value":{"entity-type":"item","numeric-id":5037746,"id":"Q5037746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5637ad2812828525a36abb56dcfada7e3bb95c7","datavalue":{"value":{"amount":"+0.7415143847465515","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":"Q4647569$473CCAD4-9A9B-41C9-A387-3F7F32EACBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20064da0a0397d979008c6ca2a64b9c8a4f5925","datavalue":{"value":{"entity-type":"item","numeric-id":2766808,"id":"Q2766808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e95833cb077dc993f36a9b37195f68b548d1f3d2","datavalue":{"value":{"amount":"+0.7349305152893066","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":"Q4647569$5FBA6E96-B918-4E54-AFE1-C3956F06FD02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647569"}}}}}