{"entities":{"Q674002":{"pageid":675851,"ns":120,"title":"Item:Q674002","lastrevid":63483495,"modified":"2026-04-11T13:28:17Z","type":"item","id":"Q674002","labels":{"en":{"language":"en","value":"Lambda abstraction algebras: representation theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985885"}},"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":"Q674002$2268792A-131F-4B27-B541-30B1DEED7713","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f1b43012edbd6e25aa0a56db7e904f5bdf7f2ea","datavalue":{"value":{"text":"Lambda abstraction algebras: representation theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674002$CEBC8EAF-05F6-4FBB-A740-34EDF8040BE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8947d488e45b8bebbbe81ce6b5f83fe5952bde4","datavalue":{"value":"0874.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674002$EE1D8A26-41B1-458C-B477-92B32F8E013C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"880c924ad0bfbff428bc85bb97b35d89ae4308b6","datavalue":{"value":"10.1016/0304-3975(94)00203-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674002$193844C7-9FE7-43AA-9D69-C689818D875A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a53629355a87f6eb2c4dceb6664166a14249140a","datavalue":{"value":{"entity-type":"item","numeric-id":673382,"id":"Q673382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$91B30DC1-624A-4DF8-BF21-6F3EC6140C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e73a6f6ccb7e8687faa022e777bcbb77b1f201","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$BC5EA7CE-9F01-4E40-B418-338CB352CDF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$C1FFAAB5-E2F3-4622-A0CF-56FC62450B95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674002$E9D72EAE-6205-4A48-9C77-290063DD4E3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674002$4CB5C9D1-353D-469E-B0C8-93D71917411F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41148ecf1d90e91835e5f994b9d464d61b7fed08","datavalue":{"value":"985885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674002$31BB9E39-F4C6-48CB-8904-46E9DD454F48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a244417629cae43885a1dc06845ea4d0233ca906","datavalue":{"value":"lambda abstraction algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q674002$3ECA57B1-CACD-4EE4-938D-DC4825AD2AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q674002$EB0236A9-3A02-4C15-83B2-9217EADB1DB1","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":"Q674002$56824B0D-989C-4AE7-92A7-F38FBD8BEDD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$8D52B851-00EE-47DC-89B5-EF083D6286D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$CECE7601-21A3-446C-A2BA-30ACA983484F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822fb800f6e4b0909ae356724c2acfe53f72f0eb","datavalue":{"value":{"entity-type":"item","numeric-id":4385533,"id":"Q4385533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$DA76224E-325E-4C9D-B9C7-E61D1F1B7588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$889705E4-236E-4D6E-BA99-1F807757D66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$B3CBF859-4DD8-4754-9A7B-28DF942FC6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7f4e5a9d69eee26c68bbe0829c0b4fe608ebb9","datavalue":{"value":{"entity-type":"item","numeric-id":4260394,"id":"Q4260394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$AF22E456-F452-4AF6-9988-9A86BE2605D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad61285ba274cd91e827670915047392dea37ea","datavalue":{"value":{"entity-type":"item","numeric-id":3956941,"id":"Q3956941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$107F1E3F-0BD0-463D-B49B-25AF6521BF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$4247E163-2644-42F2-9856-3B2D0B1953B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$7E3F75F7-C8D0-4B23-B04C-0870D9B2065B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$08EDC2F7-0402-497D-ABB6-819C9EF66D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbcd3074c470d4a46db67b3dfaa02f9246b5be8","datavalue":{"value":{"entity-type":"item","numeric-id":1170185,"id":"Q1170185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$F7B128F1-9600-448B-8201-962F8C7F6880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$D8A138AA-104D-4DBD-9362-A05E5F2EE397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$5BF8ABF7-B8BC-4811-9677-9444817FD9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0cde258e16ad0b04471de2a47d4d5c37b1baa37","datavalue":{"value":{"entity-type":"item","numeric-id":5678849,"id":"Q5678849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$5F1CEC7C-1701-4AC7-AC66-ABCF18BAACD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e43f784716a014f37546d3a4d6870aa0b11fe","datavalue":{"value":{"entity-type":"item","numeric-id":4744243,"id":"Q4744243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$8F3991DB-E618-471C-A476-AD75D259CA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56a3dd01c8b6900f334f9840cdcfd260af63be5","datavalue":{"value":{"entity-type":"item","numeric-id":1189899,"id":"Q1189899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$32F38832-9F9E-463B-B895-AD1D9135913D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83bf7e764843684610edae08b166a258e6b8103","datavalue":{"value":{"entity-type":"item","numeric-id":3659756,"id":"Q3659756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$74B06CA9-12B9-4A1C-B8D9-C708F56027F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff46760a2ef745ee2bb7c9c94f48a015dbd5e4f","datavalue":{"value":{"entity-type":"item","numeric-id":4835611,"id":"Q4835611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$646539D0-3FBB-445B-84B4-DEF82BFAFF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574a716f4771b72810d77e9676d297d100e5bec2","datavalue":{"value":{"entity-type":"item","numeric-id":4260390,"id":"Q4260390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$2E0FE238-421E-4D36-A980-114AC48C433D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9e1beac0919d070bbbcdf5245d9cb43977ffaf","datavalue":{"value":{"entity-type":"item","numeric-id":1896759,"id":"Q1896759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$B4B6251C-98AF-4A32-BDA9-F3162E6DC321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc81ccd03f119232c1e98a817ed99981867d552","datavalue":{"value":{"entity-type":"item","numeric-id":5681999,"id":"Q5681999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$88C6F125-A330-4D93-B105-9B84577826DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d993bc865fa34a3501c451adb006b10731ed4cb6","datavalue":{"value":{"entity-type":"item","numeric-id":4011732,"id":"Q4011732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$8747EBF4-CE2E-4803-AAEB-73977891A905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$30185EB7-9AF6-4C04-A6D3-890DF5DB8A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17695e225aa63c7d95318b417de6aa4b6f4f2367","datavalue":{"value":{"entity-type":"item","numeric-id":3661543,"id":"Q3661543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674002$8A053B7D-A70D-4A69-AD02-19974B9DF822","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7973d4479f365ce54114273d57f1419ba959ca12","datavalue":{"value":{"entity-type":"item","numeric-id":4835611,"id":"Q4835611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea765134a83e1c45aec19d675d2e3ccb9b6affb","datavalue":{"value":{"amount":"+0.9464181661605836","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":"Q674002$FE60CB86-3566-4095-9E9F-4127C686003F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612d9f9c068b370b224708fe22696ecb30fc505b","datavalue":{"value":{"entity-type":"item","numeric-id":4260390,"id":"Q4260390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e34849277e481c1ca3e1b712bebb92dc6f35b9","datavalue":{"value":{"amount":"+0.9391104578971864","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":"Q674002$21791AEF-9EBB-4561-8A9B-FEB35126395A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf75ed0f172b3d955a9fc9517bf975c9c12d5df","datavalue":{"value":{"entity-type":"item","numeric-id":4381706,"id":"Q4381706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2597540ccb8902d4bb2a2a0afc04b6f7ab82b96f","datavalue":{"value":{"amount":"+0.906619131565094","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":"Q674002$C38DB753-C2E1-4D03-AEFF-D1B70B67C065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"102f5368850076752dbab8b209e293da278ce713","datavalue":{"value":{"entity-type":"item","numeric-id":4217595,"id":"Q4217595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefd251a847335e2742127bec01550cfb4f6cef8","datavalue":{"value":{"amount":"+0.875597357749939","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":"Q674002$DC9E618C-42B5-43A1-B447-911D3EADB34A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lambda abstraction algebras: representation theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lambda_abstraction_algebras:_representation_theorems"}}}}}