{"entities":{"Q4621185":{"pageid":6650768,"ns":120,"title":"Item:Q4621185","lastrevid":36883678,"modified":"2024-07-30T07:27:55Z","type":"item","id":"Q4621185","labels":{"en":{"language":"en","value":"Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020181"}},"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":"Q4621185$EEE0B410-3D28-423F-A07B-E6D1338179D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14ec84c90209f790392661019118f95e662ff2c1","datavalue":{"value":{"text":"Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621185$2CB256E6-76E3-4F32-BE38-D222492B7C5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ae1679d0986804330fdb7d4829f1ddad3b12365","datavalue":{"value":"1424.18015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621185$A526FFF6-BB31-40F6-8A34-949444749F9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7f5338101933ccaabeaa2ee5bf4bba78d86b1c9","datavalue":{"value":"10.7561/SACS.2014.2.325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621185$67EB162F-A958-4036-AF9D-6952DC18B837","rank":"normal"}],"P16":[{"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":"Q4621185$F66C3D30-992D-42F3-97AC-4BDC98DFC56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"009b7b8cbfea2fbcb395e57ee3935b49b0504fc8","datavalue":{"value":{"entity-type":"item","numeric-id":276493,"id":"Q276493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621185$8B1A2A09-BB11-4EAE-8609-7F1B8881B08F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621185$B60C0023-04A8-4B61-95D1-E109747B6C8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621185$484DF0BC-837E-4197-A42D-4E9745BA1229","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621185$71B1BA4F-5E7F-4F18-AD7C-A268F6101AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621185$30E6D1B8-12AD-4414-B09A-B828A19BDDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621185$A913CA6F-D36D-496D-A210-05019D5B5BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621185$7F362865-2D0A-4A02-BF64-BA8A0B03D2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621185$EEBE77B5-F480-400B-AF3E-5ED524CAFAA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"744600ec60085ca9b912e669a197e7736c111bf5","datavalue":{"value":"7020181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621185$F94ABD93-4C2F-404A-B483-C19A71682F57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e7fe3290861cbeffc9f1352d890f08587aa3066","datavalue":{"value":"finite vector spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621185$9E71FD42-7E18-4C3F-9FB0-E7819CDB5C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3bdfaf50a859f5dcfd6c0d4cd8eb8dd602821d3","datavalue":{"value":"finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621185$968ADFB1-43F5-473A-9F8D-187384F2AB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdab31fbaa588e430ddb0a889f9c2ec0966895a6","datavalue":{"value":"algebraic lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621185$C2ACAC10-632A-4F46-98F1-F449710C0F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621185$8A651E60-2351-4F2A-90A9-93CBBE0ADC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba447e061584557180de7a7ee2568ee7a9e1aba","datavalue":{"value":"Eilenberg-Moore category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621185$983AE417-8433-4DBA-BD69-95089E59587D","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":"Q4621185$AA18DDAB-1E3A-489F-9D4B-1A1C54F27A6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3593e655d5ce3dd7f824dca1bbd5d7bfc81967eb","datavalue":{"value":"https://doi.org/10.7561/sacs.2014.2.325","type":"string"},"datatype":"url"},"type":"statement","id":"Q4621185$92E843D1-DD16-4117-8457-D9B64810436A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b34effb5d446d655a9e761bc49a7aa77809c0425","datavalue":{"value":"W2094561316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621185$043DF080-C016-4B72-825E-F72ADBA2D77F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621185"}}}}}