{"entities":{"Q3149663":{"pageid":3160379,"ns":120,"title":"Item:Q3149663","lastrevid":47992600,"modified":"2026-01-03T07:21:00Z","type":"item","id":"Q3149663","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1808200"}},"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":"Q3149663$B95C1F9D-C97A-4BF5-9E50-47E5B0B99F0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24605895887cdd983c69db5b7d6d1ad2b3649c8b","datavalue":{"value":"1002.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149663$23459A3D-41E8-47C3-9344-FEE16C0C1987","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"132a17179ec8380d06470ef93d3917ae443c129c","datavalue":{"value":{"entity-type":"item","numeric-id":236814,"id":"Q236814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149663$9B680EDC-F284-4668-AE13-21C64718DB9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bffdc8b8d5e9929ac7ba3da2bea94b5f4ddd4baf","datavalue":{"value":{"time":"+2002-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3149663$1CAADF64-0CE6-477C-A4BA-B036D98AF2D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149663$949C9038-8A12-4EB6-8D6F-A386225B969C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c9d7f1a3b70d873791f6c24431f4cd09b8a2a13","datavalue":{"value":"1808200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149663$7D4B532C-5ECA-4960-A423-B11BA302B3A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e5a9cac1fc4dfac46a88f953f03d9d3357f005","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149663$B6D99A82-07AF-493C-932F-C12B8950206D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47d9c6176ea7c06640ec7936efc295307f1c9a81","datavalue":{"value":"complexity of a \\(\\lambda\\)-term","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149663$4879D5FD-D4B2-4C65-8338-32A653C743BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4530c602b000cf152fadf7b889326c47d2e52e2b","datavalue":{"value":"finitely generated types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149663$BBB40F1B-A6D2-43F5-ABB6-8975BC6ED1AD","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":"Q3149663$52B3E59D-64FF-44B5-B6C8-86CA5F8F94BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91441d9438f800049a77dbf5f5e1276d73874239","datavalue":{"value":{"entity-type":"item","numeric-id":4522149,"id":"Q4522149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f8e2462c6353a50e52c1379483c0611ac9def9","datavalue":{"value":{"amount":"+0.8541048765182495","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":"Q3149663$E199D9DC-7D4D-47F0-9E19-418FE963112A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e289fc416153162241f8a464a997cf38eeb87c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398332,"id":"Q5398332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"592def980d355843ff6204c57c5114141fe2a334","datavalue":{"value":{"amount":"+0.8541046380996704","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":"Q3149663$B9CDFD68-9122-419F-9363-E514DF006D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5c9262690b7f69508fe35256fe6a044e509c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2202676,"id":"Q2202676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b054f97037e4992073d9fb68a508c8b5d0f4aab","datavalue":{"value":{"amount":"+0.7732509970664978","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":"Q3149663$F17C34A0-BB45-4CAF-A413-94270E57FE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716097ce76445ff5dae18ad8efe9b23276673ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3804171,"id":"Q3804171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee66f31a7a8a720357a2d6da3eacef7508d9a9f","datavalue":{"value":{"amount":"+0.77044278383255","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":"Q3149663$BA3064B8-C23B-4BBD-B951-B7EF57FAE22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3577b46ed0afb46f602df71296e463a1f781f520","datavalue":{"value":{"entity-type":"item","numeric-id":4526148,"id":"Q4526148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e65eb489f2349e5a6618737418606c88ebd6fc4","datavalue":{"value":{"amount":"+0.7679834365844727","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":"Q3149663$11D2BEB1-4169-4939-B9CC-7AA419A994BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3149663","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3149663"}}}}}