{"entities":{"Q3805878":{"pageid":5835784,"ns":120,"title":"Item:Q3805878","lastrevid":53471126,"modified":"2026-01-25T00:31:28Z","type":"item","id":"Q3805878","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4074446"}},"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":"Q3805878$67E7FB57-33E0-459E-B0FE-CF5AF5C15B67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34d5b384887e7b31d777cfc5a452f96ff5ea9c6b","datavalue":{"value":"0657.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3805878$7B402907-06BC-4D0A-BD24-010F6B0A878A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3805878$D1D9FA57-4E8C-47DA-9100-F5A19E83160B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba0f3518c63fae0840953e323bd1960facd9ea09","datavalue":{"value":{"entity-type":"item","numeric-id":2366107,"id":"Q2366107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3805878$80E04282-BBEC-49FD-AC56-E6E0BF061F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fe46baa1c49a39eba57b78767f5c209e948bf9b","datavalue":{"value":{"entity-type":"item","numeric-id":1151015,"id":"Q1151015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3805878$DAB86561-7578-4B7F-9222-2ED1A9F00729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d146253b50ea098810c32fefd75002fefee80627","datavalue":{"value":{"entity-type":"item","numeric-id":2151280,"id":"Q2151280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3805878$C7E3B46E-A4F8-42F9-9149-457A13BC151D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3805878$2D757310-E065-492E-957D-C478A263F485","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3805878$8E9C9084-1C4F-4D30-AD38-D8E7D339E6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3805878$35B9E09C-76D4-4ED0-B586-E094377BE70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3805878$449C3985-DD51-421A-BEBE-E7ACC55F9302","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd8cd12c8768364d38f9299105f8279e95724ddc","datavalue":{"value":"4074446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3805878$E5703FA2-736B-4A47-BD65-B9DC20E0BEDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77f6b122613ab28ed1949959e76bf4107c78456","datavalue":{"value":"\\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3805878$B97A052F-CB54-4447-A655-BF91E5F916FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73764d321446821fc3032a2bffcb56061eeb3fd6","datavalue":{"value":"functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3805878$35A78A36-1E69-46AD-B9AF-D118DA52F9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c9154806af6151290a286f02a4ed1d34dfbe386","datavalue":{"value":"categorical combinatorial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3805878$B01AFF5A-8D70-4358-9EF2-C36FF0F5AE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3805878$8DC74633-782A-48B1-964C-7B4EA92F273F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d7a4ac2836747b460f831f03db4e98d1f613512","datavalue":{"value":"categorical abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3805878$166AE9D4-E99E-4335-9B69-CFD01659C3D7","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":"Q3805878$53043DAC-79D1-4004-AEB1-EFA153C49C37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4413f2d4f1b96a82414ee2db1446389d273ddea","datavalue":{"value":{"entity-type":"item","numeric-id":3721820,"id":"Q3721820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8879c36fc22dc93e1126648ee9dc9c752c110d92","datavalue":{"value":{"amount":"+0.8567177653312683","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":"Q3805878$84B32386-BD4E-46F5-AA7C-2578A2CA29EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd61c7dca6f04275027a1d1efbc76ff2ff8e33fe","datavalue":{"value":{"entity-type":"item","numeric-id":3714049,"id":"Q3714049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5cc6de0e11cc2721632e159e5adc87625c93953","datavalue":{"value":{"amount":"+0.8505599498748779","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":"Q3805878$F5B488C0-7BEA-4623-A630-081F2C0C75AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821d4caec5608df4d9c3b134be10e8dfa7385f46","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f5dbcd636b49d6160a61a290b69e559496e6a2","datavalue":{"value":{"amount":"+0.8439400792121887","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":"Q3805878$44878EF9-B6E3-44F9-A94A-E572AFC391E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e86a7f5cb63c7ffc1e66391f948c2be18ad344","datavalue":{"value":{"entity-type":"item","numeric-id":3801523,"id":"Q3801523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a0370c83061437313a5604e3d8a4e2015d05bd","datavalue":{"value":{"amount":"+0.8278948664665222","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":"Q3805878$55DCC91D-122C-40DF-8152-22E6A64395C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c93df6cf7dfc2f1bae81f3b92827f61c69a1a93f","datavalue":{"value":{"entity-type":"item","numeric-id":4019965,"id":"Q4019965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f544859d81e1438da68bd834f86fa6dfd9d77a","datavalue":{"value":{"amount":"+0.8232128024101257","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":"Q3805878$65222036-3D72-44E0-865A-5CD45286C82A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3805878","badges":[]}}}}}