{"entities":{"Q6149958":{"pageid":13284265,"ns":120,"title":"Item:Q6149958","lastrevid":93913763,"modified":"2026-06-05T05:25:49Z","type":"item","id":"Q6149958","labels":{"en":{"language":"en","value":"A concrete model for a typed linear algebraic lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7813373"}},"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":"Q6149958$BDC536AA-68B3-4B82-A08C-9BBF973658F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7439f299ea0157205fedf220e76c7519999501eb","datavalue":{"value":{"text":"A concrete model for a typed linear algebraic lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6149958$90284955-B7F7-4EC5-BD86-11B0C8FEC984","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d46858b2e681b050e11340ef98cbddcf45ff298","datavalue":{"value":{"entity-type":"item","numeric-id":529048,"id":"Q529048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$08B3E957-5459-4ADB-8653-2A346ED99D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18c6ebe705900b0945c1fa06056c76a7b551e84f","datavalue":{"value":{"entity-type":"item","numeric-id":1940190,"id":"Q1940190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$56C05748-3D21-4970-8CB8-A60244C780C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$E24C0328-F2FA-431C-8FCC-F621EBD720E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c36f49e8b4c980a4dd1d9ff655af85a597603033","datavalue":{"value":{"time":"+2024-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6149958$A037257B-CCCC-42AF-8655-4B74777E2DD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fd12525770a57b1cb162af5c0a4dd40383a8b08","datavalue":{"value":"https://arxiv.org/abs/1806.09236","type":"string"},"datatype":"url"},"type":"statement","id":"Q6149958$7D7E7B63-308B-4E7A-A433-B1A6CD30155A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149958$8B7684D2-D1EC-4FEC-9A96-5F269FF822B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"346032218a58bd2c53ad77e4340fa8909a57e8f3","datavalue":{"value":"7813373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149958$D6CA7CB8-8BB7-405A-86B4-5C7991050321","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149958$C6F2E7D0-AD7B-4872-ABAB-21BAEE0B2570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdab31fbaa588e430ddb0a889f9c2ec0966895a6","datavalue":{"value":"algebraic lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149958$DD79ECB3-46CC-4DAD-8D09-1085E7D227BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149958$B1B4B8CB-1C4F-4D90-A048-60A3F14B237B","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":"Q6149958$8A4F9885-4AAC-422D-ADC1-D5B7B1AA494C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"492c39903047d2f9821b37aa35fea28e4d94636b","datavalue":{"value":"W3092546402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149958$23C5569F-4AF5-49DE-91CC-A92C5647BF6C","rank":"normal"}],"P223":[{"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":"Q6149958$E5D20A7D-F3E6-47FA-83AB-30298EDF4DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8fe2097d6a43ae9325a34d980fac0b22e147c2","datavalue":{"value":{"entity-type":"item","numeric-id":2881078,"id":"Q2881078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$54982325-60A3-4926-8133-8A47C8D911D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d954d0bd9f4f0e8641f1df7607608bbeec9d34ac","datavalue":{"value":{"entity-type":"item","numeric-id":529049,"id":"Q529049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$1C131F60-CD66-4D2D-8614-5269A511E482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa641d9bd95d099beb13e931a65ef0f86bf7dfcd","datavalue":{"value":{"entity-type":"item","numeric-id":2980972,"id":"Q2980972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$371EB1C0-DAE5-4F54-B765-750F4573F0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c631ec0f6f0be4fec65a56389cb0c55d9574631","datavalue":{"value":{"entity-type":"item","numeric-id":2938763,"id":"Q2938763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$4625B84E-E0E2-4773-8899-3F0DA9556274","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":"Q6149958$8F351FF6-92FF-4407-A1F3-372E793006AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab6bb1b36c936a3f72ff491a67175dcfcdf32052","datavalue":{"value":{"entity-type":"item","numeric-id":5055990,"id":"Q5055990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$7FA16FC1-1D82-4C14-96FD-81CD900CF721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"148626c5777fde77f5351bc6cd4df255a2ac10ba","datavalue":{"value":{"entity-type":"item","numeric-id":2333669,"id":"Q2333669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$1708318F-D2F9-40D7-870E-CDFE0805350E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6064f1328144526a150d910be9d714945416bf85","datavalue":{"value":{"entity-type":"item","numeric-id":2024925,"id":"Q2024925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$668781A0-0069-4F2D-8B7F-8A6CA8B0A61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d34eafbda89a6378a15f4884978feb2dba9a51","datavalue":{"value":{"entity-type":"item","numeric-id":2333318,"id":"Q2333318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$66677551-0E88-4837-B66D-86567713B03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d274fd939869bd955ebc1c14db907af76cff4a9","datavalue":{"value":{"entity-type":"item","numeric-id":2915029,"id":"Q2915029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$D4A5E702-82BC-44AD-A340-B6DC283C0086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$5E19AB4A-E16E-413E-A772-834DA4CEFC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$7BDFF4BF-C195-43B8-AC84-C34D520A2CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a122bec8a0c9623d3baa3f6b071dc66632a816","datavalue":{"value":{"entity-type":"item","numeric-id":5408456,"id":"Q5408456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$D844FEF8-D89D-4256-A08D-339DEAFC6547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"718146f5c0034d868485cd8397798587df00b9e8","datavalue":{"value":{"entity-type":"item","numeric-id":2864173,"id":"Q2864173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$F790FE77-3D4B-4B2B-958D-A6D42F1C7A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8781691f3a90f4232c741473b5f76f8ee4cf3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5482273,"id":"Q5482273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$1ED8DF73-599A-4F61-913E-F7E8CC60C1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e43e36238b5fbe19fd4ec373f051c3c2b3c20475","datavalue":{"value":{"entity-type":"item","numeric-id":2973238,"id":"Q2973238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149958$8B629653-7C49-4EF7-AEB4-27DE3DF82336","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e5988caa6c23fa5778cca3577f4afb8618fa834","datavalue":{"value":"10.1017/S0960129523000361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149958$A006EBB7-104A-46B3-B44A-C67B72C8483C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A concrete model for a typed linear algebraic lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_concrete_model_for_a_typed_linear_algebraic_lambda_calculus"}}}}}