{"entities":{"Q5415643":{"pageid":7445217,"ns":120,"title":"Item:Q5415643","lastrevid":51997529,"modified":"2026-01-20T17:26:41Z","type":"item","id":"Q5415643","labels":{"en":{"language":"en","value":"A categorical model of the fusion calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294843"}},"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":"Q5415643$E57F4AA5-C9A3-4524-883B-0C0EDD028A0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a920f47b44de58883d918082e0c53ae6fc4591b","datavalue":{"value":{"text":"A Categorical Model of the Fusion Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415643$4D11F70C-8EAB-45A2-B161-D33E474609E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0cf6c052714543835e5c9bb00431d9d37f6d3e5","datavalue":{"value":"1286.68355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415643$21500D31-D2BE-4E53-AF43-359F8FD303F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$4920FA10-6A82-4F89-B3CE-20F7D773ACD5","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":"Q5415643$3B96C7A8-A6C4-4E2E-86FD-2EFE6AB1E65E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415643$F6242EDB-3A09-4358-8872-0C2BF0F16C95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415643$6DC211E0-F196-4B9B-AF91-FFC4DF0EEDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415643$D13E4A0F-1B88-4F98-AD7C-F35759E5849A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb96205d5cd494c37bdf08e91bf520e2837b6b45","datavalue":{"value":"6294843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415643$71E9161C-F595-4661-9ECF-6AF305FC1CAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9c4b824c66a8bb594a80cf26557a4bfeb530185","datavalue":{"value":"fusion calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415643$5536E8C8-BBA1-43FC-9469-AE5EAD669C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d611e9c4f91063c6ca694f4a9f4d3844d5c167c","datavalue":{"value":"presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415643$FAA6A1DD-EDAB-4B19-AC85-EFEDB8BFB710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"821977560c64bb8ccf9556f4f20636299c2fb367","datavalue":{"value":"hyperequivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415643$A7AD6F68-86F5-4378-B725-CB287C8028D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"070a98fd4b2ad038304d18d687e1cc3ca9326140","datavalue":{"value":"fully abstract categorical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415643$207871BC-DECA-4F1D-ABA2-FF282CE8DD92","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0db97d1f6d295f671d08d3e0ef6408e6a7f0f440","datavalue":{"value":{"entity-type":"item","numeric-id":26927,"id":"Q26927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$8968EC41-2F71-4457-A41A-F2609B880177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bb93cf78691f43914bdf854eb0aa4deba2c2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":14610,"id":"Q14610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$42CE060F-4D31-40DF-9F09-3C9767C5D7A5","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":"Q5415643$21B4A9B9-B142-4FD8-9618-645814C289E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"502e4201dcd03da03668ea404b1c8bdb20897182","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.10.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415643$AEFD57F3-A138-49E2-B91C-83BC59C0D679","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6838f172b9f663dac61a9472b0fa614205022f0c","datavalue":{"value":"W2030716060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415643$A68044C9-B031-4100-B2B1-AC9394AE5815","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee5cd2b8a6ed911aea81ce9fb92b47ca14f672f","datavalue":{"value":{"entity-type":"item","numeric-id":360557,"id":"Q360557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$EB95850C-11D7-4B04-8926-A7B9DE7B7865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1dc290df059ff29926fef008c9e1053408a1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4680360,"id":"Q4680360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$1FF927E8-B799-4A6C-9391-2E2EBBD2DD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85898b3b31b227bd28a3bb9fadbf6a01e1238970","datavalue":{"value":{"entity-type":"item","numeric-id":5262958,"id":"Q5262958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$D6FE5C2E-A2A9-4B94-9130-B72675412522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00333b8c091e6b82fbc0cc7a0877cc914b98fb94","datavalue":{"value":{"entity-type":"item","numeric-id":5756485,"id":"Q5756485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$66A4E170-6822-4279-A8D9-7DCC45519F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f829e937e53bde24a395ad933c2db339937707fe","datavalue":{"value":{"entity-type":"item","numeric-id":598191,"id":"Q598191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$9E298FF3-BB46-4DC8-9A19-996BA7DFB050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786f36ff7d6065f2bd6a2efc6fa07650b4214142","datavalue":{"value":{"entity-type":"item","numeric-id":2495643,"id":"Q2495643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$6667BAD8-F2BE-4357-B662-0F6AC5ED373C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa8d51e474d9ea85198566809f39fdf0a77629d","datavalue":{"value":{"entity-type":"item","numeric-id":3411953,"id":"Q3411953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$CAC835C8-6673-44C3-A56D-9AE5C1C2D254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad2b69b673372da9a4630e03aecd124942a7f30","datavalue":{"value":{"entity-type":"item","numeric-id":1960530,"id":"Q1960530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$FDF34F22-04E5-4E16-8A73-366045255698","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":"Q5415643$9A40ECE8-BDD9-48E1-923B-529F9DA2FD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5671f1001f6beb9daea3282f95facd15b77debbf","datavalue":{"value":{"entity-type":"item","numeric-id":3525650,"id":"Q3525650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$5FF31750-0138-4196-A2A7-DE78EF0F1FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb2b0c4ada2e2771332088612b74bfc567c2488","datavalue":{"value":{"entity-type":"item","numeric-id":5941161,"id":"Q5941161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$8AF17ABF-DC1B-481A-8D82-C69409EDD11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$D4D77ECE-6075-42D5-AA08-64184621BA98","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":"Q5415643$A267F8C6-7197-4D11-90A1-3BCC16F67A43","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":"Q5415643$760EC953-3696-40AA-8066-648FAF853E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b644153447aa23c9117cb5e94181f8568d34bd95","datavalue":{"value":{"entity-type":"item","numeric-id":5704018,"id":"Q5704018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$544E42C3-D5B6-49F4-85AB-2F0DD5BDBDC1","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":"Q5415643$9C43A1ED-BB9A-4E5B-9182-6FC028CA8CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cb876fd4dd36ff31fdabc99386e316ba8491e8","datavalue":{"value":{"entity-type":"item","numeric-id":2566040,"id":"Q2566040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415643$8020FECE-3114-4B37-9726-BA2688CF30D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c2582b072f82bb75fc36c5b7c8a6eb314877dab","datavalue":{"value":"10.1016/J.ENTCS.2008.10.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415643$22563C5F-2F93-476D-AB58-16070B0280D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542ba45939f5618da98ac33b984e2550b107e48b","datavalue":{"value":{"entity-type":"item","numeric-id":2373651,"id":"Q2373651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8b789027a93c8fd94f38769ea758463436dc9f","datavalue":{"value":{"amount":"+0.8567869663238525","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":"Q5415643$21465F63-3904-4328-AABB-49B25A47CFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbb7078ad2d495796610cf15cfc88951788f3afd","datavalue":{"value":{"entity-type":"item","numeric-id":5262958,"id":"Q5262958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e22fea11a940038f5078b63dbe12c6a19a0c29","datavalue":{"value":{"amount":"+0.8388724327087402","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":"Q5415643$A8DEFA13-8037-45AF-A45C-21B8FA5CC4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d0e1be0c6bd05a1432efcbf7fca4e1960fa9e2","datavalue":{"value":{"entity-type":"item","numeric-id":5492819,"id":"Q5492819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e0a5b97fa959fcc6493fb2e47340afc98cd48f","datavalue":{"value":{"amount":"+0.8044442534446716","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":"Q5415643$9D7792F6-821A-4D9D-AF52-D259C7CB0E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c4b25fb8f67b3d0d232ec7245063d9a169c843","datavalue":{"value":{"entity-type":"item","numeric-id":2392481,"id":"Q2392481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67cc16fbcf4f9de9b28ca3e0f50a88a85d604daf","datavalue":{"value":{"amount":"+0.7874056100845337","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":"Q5415643$3FA08CAF-EDFB-45CB-BF29-FF07E4A62DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45fdf51e6ad5d2d3521c3dab29897654aff458e1","datavalue":{"value":{"entity-type":"item","numeric-id":3507388,"id":"Q3507388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb1af1a7612e708600d1c74511145186d598496b","datavalue":{"value":{"amount":"+0.7739068269729614","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":"Q5415643$57542FBE-4A91-458F-9379-99638FA64C66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5415643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5415643"}}}}}