{"entities":{"Q6612802":{"pageid":14223959,"ns":120,"title":"Item:Q6612802","lastrevid":40591014,"modified":"2025-03-07T13:52:03Z","type":"item","id":"Q6612802","labels":{"en":{"language":"en","value":"Semantics for a lambda calculus for string diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7920699"}},"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":"Q6612802$39E5B621-A151-4600-8635-BBFDBB024208","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b4d56e2bf28de2f3d3b20124918f91fa5ccdc6d","datavalue":{"value":{"text":"Semantics for a lambda calculus for string diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6612802$F6F2541E-30B9-4401-81C9-0A9CAD875E87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b850d06cdeca1d0a06f2c14d4766d1a198953ec","datavalue":{"value":"10.1007/978-3-031-24117-8_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612802$4778CACF-0160-455E-83DD-CF37802452AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24f5ba5d748f81640fc166415b6f8552a86086e7","datavalue":{"value":{"entity-type":"item","numeric-id":2088112,"id":"Q2088112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$0B166961-74E3-403D-BE88-BC64F7866FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46a3e3c8a24b211e7440a6138147de4bc19693b","datavalue":{"value":{"entity-type":"item","numeric-id":581872,"id":"Q581872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$F44E1D7F-E895-48EA-91AE-6630DB07231C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c53ee96c25258a099adffdda89c42403a08a832","datavalue":{"value":{"entity-type":"item","numeric-id":2200847,"id":"Q2200847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$46FF6F27-7F0E-4DFD-9A5B-267814C81D33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9920dd23d0b992023e85fc96356e313613230508","datavalue":{"value":{"time":"+2024-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6612802$63790E92-369F-4962-A2E7-2902C5C6DBB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612802$F8518844-D31B-4F9F-9F51-B7B49023A147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612802$788BBD04-D0D8-49A8-A3DE-FFE9AAF5041F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612802$92FE6FEA-13E8-46A7-90AC-56C63D6D0E90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd4d2687739d648773ec4871c0b4a46938f685fc","datavalue":{"value":"7920699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612802$0871D48D-0543-4506-9C0C-E782532BE1D8","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":"Q6612802$74851D5E-4ED4-4585-A2B0-1CECC4512045","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"240d3071743c1596f2471081bcbd235af9d720c0","datavalue":{"value":{"entity-type":"item","numeric-id":2903468,"id":"Q2903468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$2535A94A-4507-4C27-9661-D359D18EFD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$8886613A-B432-48C5-865E-27D32B3B48D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6855200d8c169a00087e15609010d9a6efdd4725","datavalue":{"value":{"entity-type":"item","numeric-id":2851800,"id":"Q2851800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$440B02EF-B478-488B-A925-4E1D87FE02A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$A3579BBE-3FC9-489D-8F10-93592EE618DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$DC49AD35-35E5-4467-BA80-7C81610CF1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$8791975A-BA56-4798-B65D-B7303996CBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba96f83ee5a3db35621065d31d4ce8dbdf49f7bc","datavalue":{"value":{"entity-type":"item","numeric-id":2819836,"id":"Q2819836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$DF19582D-3540-4D90-B036-DC2CC43D6452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$371383AD-BAE2-4DCF-A83E-223607CF18F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fc8a014cc038f78ff3dc0ff5a0842e8b1ee9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1391860,"id":"Q1391860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$70ADB8F3-B6BC-4435-AC58-D4D3B582EF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39bd8b189b056f312cf12d255a3242a87c9c8981","datavalue":{"value":{"entity-type":"item","numeric-id":932077,"id":"Q932077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$CDE8312B-8062-4A52-9E5B-6382896F3A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26096337c4bdb69f9671beead4d3955914fca9f6","datavalue":{"value":{"entity-type":"item","numeric-id":3519509,"id":"Q3519509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$61697BB7-EA2F-4FBA-BCBF-354220872913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5973b1d8e11aece2be4866055f7bac4cd66f7a6","datavalue":{"value":{"entity-type":"item","numeric-id":2937687,"id":"Q2937687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$B2BAAF89-6B20-4F79-850E-7FE10F2730E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$C1539D63-53F5-4384-9D5B-5F6D321CEE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4f30c59cd6dab3a5ff8569a46aa508a2f4a6c1","datavalue":{"value":{"entity-type":"item","numeric-id":4842535,"id":"Q4842535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$DAE34631-BD75-4677-B5B0-14961EE7D6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$54C4819C-5CAC-4EDB-9360-C353C547815E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85736c7696b1d84c1b4c9368238d719c038a9cd7","datavalue":{"value":{"entity-type":"item","numeric-id":534694,"id":"Q534694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$4740B0F4-4B28-4BDC-AEB5-C5CAE354C6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67f4f0b42c5d01363eae21bced4a80941606e06","datavalue":{"value":{"entity-type":"item","numeric-id":2868442,"id":"Q2868442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$E4E51C03-C12D-4983-BDD2-265DA26A7F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a9c6ba23616433034c787e76d12bf12c8b5da2","datavalue":{"value":{"entity-type":"item","numeric-id":4635837,"id":"Q4635837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$E312C403-9646-4300-98B1-B9A8E7A2326F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf998bd72f1422446095073996009831b1c17c6","datavalue":{"value":{"entity-type":"item","numeric-id":2165553,"id":"Q2165553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$24DBD0F0-98EA-4D22-8634-DEBD31AA2B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73488216077a8f2fb95870113b1939b3a859d3a3","datavalue":{"value":{"entity-type":"item","numeric-id":1023293,"id":"Q1023293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$41B9FEBD-44CE-4AED-9271-53E3880668B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea63db11dab787be2569c066c373a063b60fe13","datavalue":{"value":{"entity-type":"item","numeric-id":2088113,"id":"Q2088113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$31AE37F2-4C31-49BE-A416-514ED3C47CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2e43edb37fc8aaffef4789c6550d3089eb141","datavalue":{"value":{"entity-type":"item","numeric-id":3907066,"id":"Q3907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$8EEF3CE2-E030-4847-B551-35274BF34272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e0f295381d340077da9e780036a3b798ee921e","datavalue":{"value":{"entity-type":"item","numeric-id":5145342,"id":"Q5145342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$B3A21B36-1D92-4E95-978C-345CA64C6AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb41300f74dff0bc5950f7508fd361c41f40aad","datavalue":{"value":{"entity-type":"item","numeric-id":4989404,"id":"Q4989404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$33404E71-3EFD-4E1A-A758-32BED866D6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b17e036ee1c0fc304c9bb5bad3b90c28cf1355","datavalue":{"value":{"entity-type":"item","numeric-id":2808142,"id":"Q2808142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$38C8FE17-EECD-478C-9D93-569854D4D295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f933bc25a716aad10a4b75bc37eda092a661fca1","datavalue":{"value":{"entity-type":"item","numeric-id":5370918,"id":"Q5370918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$5C59AC3E-293F-4132-BDEF-DC3E6911D24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cbbdac3eae1ef4b981134828ee5f705ff928cf5","datavalue":{"value":{"entity-type":"item","numeric-id":2200848,"id":"Q2200848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$CB24AB37-C69E-4592-A1F9-F4A160C90A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d6f79189a096859bca4638182454fc7e284e65","datavalue":{"value":{"entity-type":"item","numeric-id":5145332,"id":"Q5145332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$1DF2B5D3-D9B6-4C9A-832D-C1C1F55A7C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086d73bd8bcf34b4be986e827bc6ba690ef6152b","datavalue":{"value":{"entity-type":"item","numeric-id":2130598,"id":"Q2130598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$30D09E06-3A0B-4E60-A5C0-F89C5F1C0ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9888c3757ab243ad1f0c597eea02a6445700651","datavalue":{"value":{"entity-type":"item","numeric-id":5109520,"id":"Q5109520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$D21833E0-8DFD-4AF7-811B-58B2709B9984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452edf164659bee823fac46e6d93885feda47fb5","datavalue":{"value":{"entity-type":"item","numeric-id":3384934,"id":"Q3384934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$04C57AB5-EE4B-41E9-9A1F-F78F95F81D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac1fcf052589745ac72ae23fbc9d5d1dfa38def","datavalue":{"value":{"entity-type":"item","numeric-id":3000922,"id":"Q3000922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$71CFF483-5A19-4AD2-8608-FDDA156BF802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b41fc12e39f02f3e0b15f96319d11fa4e43de67","datavalue":{"value":{"entity-type":"item","numeric-id":5458352,"id":"Q5458352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$2468EE71-7311-4E45-A2A3-F6D9EB1CB110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5e450e2fb7829d72f2fcdc0f87161c2634a97d1","datavalue":{"value":{"entity-type":"item","numeric-id":3560839,"id":"Q3560839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$65EEF722-5A17-4085-BB01-B20064FE8D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85687929c997dc934d0a0053b5208a81d34b285c","datavalue":{"value":{"entity-type":"item","numeric-id":5166761,"id":"Q5166761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$203DF7B6-08A0-497C-9D09-956A38B7E72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6306f92dce7befeb0e0ab86f8dc3a10c922ce849","datavalue":{"value":{"entity-type":"item","numeric-id":3528125,"id":"Q3528125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612802$0E406DAB-5D50-4358-93F8-0F2238752184","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6612802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6612802"}}}}}