{"entities":{"Q6653745":{"pageid":14264902,"ns":120,"title":"Item:Q6653745","lastrevid":103710905,"modified":"2026-06-06T07:58:02Z","type":"item","id":"Q6653745","labels":{"en":{"language":"en","value":"Categorical semantics of reversible pattern-matching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959042"}},"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":"Q6653745$4ECFB9FD-7117-4425-B60B-4FDB58965BCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7d393080e73e88141e0419076e7414a8d893a6f","datavalue":{"value":{"text":"Categorical semantics of reversible pattern-matching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6653745$70A9402B-B6C5-49C7-BBA9-2BE5D8AC69A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c782a5678da78c5ef286d490f2ed961e9cb3d629","datavalue":{"value":{"entity-type":"item","numeric-id":2039894,"id":"Q2039894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$CC369456-3A68-4EB1-B4A3-A3DAD3479CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cb7ebc29972004b090362781a91a54356c03aec","datavalue":{"value":{"entity-type":"item","numeric-id":6405435,"id":"Q6405435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$454B8951-E0C9-4656-BCCF-8C12CA894B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdedd14f542819f3e703a4797215dd716a1cd763","datavalue":{"value":{"entity-type":"item","numeric-id":468583,"id":"Q468583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$62C0C043-5FB2-42C7-AD53-2292805823D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"225560291f4bcf404dd3dfdfdd922a74c2690673","datavalue":{"value":{"time":"+2024-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6653745$11B457A5-C1E8-4154-BEBA-B3E013C8B823","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653745$5F28AE6F-55A5-4CAC-A217-DBFF64721097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653745$42B07D8F-7068-4103-A2C2-4425AF4120A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c67baeccc3c0bc2b09154d57ecbfadf32db277b","datavalue":{"value":"7959042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653745$3514AF07-B802-4EF4-897F-4492F1821E9D","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":"Q6653745$F37DBD4F-F43F-47D6-B812-AA705BA886C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f82214d1e0f550b1efc1fa68fc37d0dab774cef","datavalue":{"value":{"entity-type":"item","numeric-id":2811333,"id":"Q2811333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$CA03808C-6305-4B6B-8F41-B6A56E4F476F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1366bd2322a8359118d05135af2e7062ee0ec3e","datavalue":{"value":{"entity-type":"item","numeric-id":5684240,"id":"Q5684240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$84F17F84-5DB7-4971-8683-A5CCCE9CA995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620ad48d08e5fbc4b155a6fafb67e393da6869ef","datavalue":{"value":{"entity-type":"item","numeric-id":2802473,"id":"Q2802473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$5B661137-793C-407A-8DA9-906FAC8A677D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec67a238c7644c14a6fcdee28bd12b741d003ea","datavalue":{"value":{"entity-type":"item","numeric-id":2039895,"id":"Q2039895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$54E2615E-97F6-4197-AA98-91F3DD34A315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd04d969c418aa9cf82982951db0dfad593b17ce","datavalue":{"value":{"entity-type":"item","numeric-id":5958307,"id":"Q5958307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$D1D35FAF-1DFC-4302-B232-59C746A97474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30b8960949e22d89199b69c7dfa16333a87952b","datavalue":{"value":{"entity-type":"item","numeric-id":1398462,"id":"Q1398462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$71945FFD-9430-47F9-A2BC-F76733148BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b46e23d879b38d657dfe6724fc4acf7ca3dac70","datavalue":{"value":{"entity-type":"item","numeric-id":5756980,"id":"Q5756980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$5EC797D4-9381-4DE8-A8F2-3BE6F229F47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0b7f22325a68096b9e1cae0d748af5791562aa","datavalue":{"value":{"entity-type":"item","numeric-id":4585070,"id":"Q4585070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$9B7BD04E-EFED-4B43-B6BD-FBE958239051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f849a43390e5fe05edf66d4a447e44230f5e2bce","datavalue":{"value":{"entity-type":"item","numeric-id":6485502,"id":"Q6485502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$0A2DD272-EB25-45FD-B5CC-56ABDA128E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9725d031d4d246a067d34f3caf2b23fe9ccad0de","datavalue":{"value":{"entity-type":"item","numeric-id":2134817,"id":"Q2134817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$14D9ADC3-0C10-4030-995D-0A0564FC147B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6bd379cd3500a2a440b436631ac47ea5fd1412","datavalue":{"value":{"entity-type":"item","numeric-id":5971401,"id":"Q5971401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$3285019D-ED6C-421E-BB82-985745931906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11786151c6ee561457e03d3ec122fa0db6dfcb47","datavalue":{"value":{"entity-type":"item","numeric-id":3178284,"id":"Q3178284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$0DC47F02-30E6-4C26-9C13-F91A2F80CF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a690308d4c65a6d9a6c8841b2847d2b9461a95","datavalue":{"value":{"entity-type":"item","numeric-id":1796398,"id":"Q1796398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$FD3901A5-0070-4D0B-843E-DF0FE4DB6B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5d528d17d30a2f1f0f74a852299e22ce24675c","datavalue":{"value":{"entity-type":"item","numeric-id":2942859,"id":"Q2942859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$B6458173-E04D-4B50-A45E-82FD9585147A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47420c6c2c0d2bca6e6e42703ee2d9116a6cc0d","datavalue":{"value":{"entity-type":"item","numeric-id":2133172,"id":"Q2133172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$5ACE62B4-799B-4C06-826F-59A5C414933A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24d3e95e66e578ea5e79fa53fd9809b09f0b56e","datavalue":{"value":{"entity-type":"item","numeric-id":5237212,"id":"Q5237212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$CEA2FFFC-CAC4-4036-B0E3-D59A1161E949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c190f3acb19e579b61b3724268e24d56604f0b","datavalue":{"value":{"entity-type":"item","numeric-id":511931,"id":"Q511931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$A01344A1-F10A-498C-B6DD-CCF844C8C673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108fc2c3f6dcaadf5ae8426c9c6b003c664e9af9","datavalue":{"value":{"entity-type":"item","numeric-id":2176686,"id":"Q2176686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$2BCE471F-4E95-4D1E-8F84-BEC3F16645CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"026dd2a3280a4905e7578381c80842d7e4d46508","datavalue":{"value":{"entity-type":"item","numeric-id":3864044,"id":"Q3864044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$B770235D-7628-4BD2-9CF1-DA5D9CA426B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5d30377b1d88f6fded624586a0306b8b2d38d","datavalue":{"value":{"entity-type":"item","numeric-id":3629225,"id":"Q3629225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$5DB2B9D9-79A0-48E5-B9E3-69D7A0F1C165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e685b31f72f2c99ac75d157f505935c97e09f5c","datavalue":{"value":{"entity-type":"item","numeric-id":1652998,"id":"Q1652998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$957AE3F5-5F14-446D-90B4-CB566C6461BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"859c6d56b5fa020a47e3c25ebfc07a0adb6a82f8","datavalue":{"value":{"entity-type":"item","numeric-id":2875110,"id":"Q2875110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$9F36B2D2-6838-4DD2-B3DC-0D41E04B2143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222e18bce6bb68d46897d8bc98eff527f0d5a8a6","datavalue":{"value":{"entity-type":"item","numeric-id":2902497,"id":"Q2902497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$6EED5D8F-F7D9-43D2-93E4-C82CE5EB5690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b4d87691b92efedd3c932a9e0f82d8b33f1bb76","datavalue":{"value":{"entity-type":"item","numeric-id":896906,"id":"Q896906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653745$10CEB067-81FC-48F2-A52F-71D7B0B688FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c81e4857ad1ddc2bff446cb590799733babf896","datavalue":{"value":"10.4204/EPTCS.351.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653745$FA08D72C-69B5-48DF-BD2C-DCB0AD9675F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical semantics of reversible pattern-matching","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_semantics_of_reversible_pattern-matching"}}}}}