{"entities":{"Q4522149":{"pageid":6551742,"ns":120,"title":"Item:Q4522149","lastrevid":41263134,"modified":"2025-04-26T05:24:13Z","type":"item","id":"Q4522149","labels":{"en":{"language":"en","value":"Non finitely generated types and \u03bb-terms combinatoric representation cost"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1545792"}},"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":"Q4522149$2543D5FA-83DE-454A-8604-F4F568165AC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"621f4370edc2d66dd31c0820c9a6b99ebf6314de","datavalue":{"value":{"text":"Non finitely generated types and \u03bb-terms combinatoric representation cost","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4522149$47AF2B6B-5B0B-458F-A754-92F73E10B485","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42c861429a900967d95c42fcc72ee26cb5e3f8eb","datavalue":{"value":"0962.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522149$357E6C03-F3DC-4FAA-B06C-BE280C31127D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e0e4741a816a7f2e4b94989e3028eecf6ebb87a","datavalue":{"value":"10.1016/S0764-4442(00)01686-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522149$50163C98-F1D9-45E7-BE5C-655DACB071BE","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":"Q4522149$2A1D78A1-0640-42EA-B96D-A70C5CD831C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"58ced672599bb2e7dff5992f597a84bdb942fec7","datavalue":{"value":{"entity-type":"item","numeric-id":2704621,"id":"Q2704621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4522149$F9A447EF-753B-4690-8301-CFDA2D93119E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da0ddb63369ee51f0c4f965ee150089663821f4","datavalue":{"value":{"time":"+2001-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4522149$6135D8E3-7EA1-43C1-9FD6-BE84CAA2E24A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522149$6A2E5A41-7F39-4CCB-AAF8-5A68117A608E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16c82206e2a7940146cedaf9df2386eaa6dea1b1","datavalue":{"value":"1545792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522149$7C4209C2-95FF-4563-9DA9-00C20D932814","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd296386a9d085a659a41f8242b7f9dd655cfb0","datavalue":{"value":"representation of \\(\\lambda\\)-terms from combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4522149$52B03A14-BBA8-4E58-96BB-F99A9B5945D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e5a9cac1fc4dfac46a88f953f03d9d3357f005","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4522149$10B446BD-08C6-4266-AE97-C9AE08C39852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"051d490a1ca205c27bb20abaae4b26cba623baf6","datavalue":{"value":"pure \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4522149$A4F2860F-0DAE-4F13-9D76-94D456B5FF0E","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":"Q4522149$7CDBBDBC-3483-4410-9C47-AD2B00443813","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c01e17c7459ad6c79c55cd665591bdffe72ea226","datavalue":{"value":"https://doi.org/10.1016/s0764-4442(00)01686-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4522149$664BCBAA-AF3A-4C0B-85E3-CC7EDA7B929A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"755e787e5baef461449eaa11a15f1f4bedda0ee2","datavalue":{"value":"W2049764522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522149$C48FCAD5-303B-4DB6-A6C3-CD2490709EC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78942b7ea60679f671a1298841ec7c566a704356","datavalue":{"value":{"entity-type":"item","numeric-id":3149663,"id":"Q3149663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad2a35abb190589e260be4509d053aa828acec9","datavalue":{"value":{"amount":"+0.8853754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4522149$C943B6D0-5A43-43CF-92D1-4E21C25CC377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f80de2c067997645fc3a69a447c2b4d09f8eb3a","datavalue":{"value":{"entity-type":"item","numeric-id":3000601,"id":"Q3000601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff13747f4cfbc43ff8b6f4df1e09a826d26ae07e","datavalue":{"value":{"amount":"+0.875695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4522149$8200B365-C183-4ACD-BA02-79713A1B426B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c77c2b758077c5d7a3c44544e8df1298d40c7a8","datavalue":{"value":{"entity-type":"item","numeric-id":3125171,"id":"Q3125171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ad8dc17c140ef68ab5036d8bed2899769764c34","datavalue":{"value":{"amount":"+0.87560797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4522149$29F7C4A0-7A41-453F-B184-FE4082BAD1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee482c69d1c03ccdad4af08b4279047c87ce18a","datavalue":{"value":{"entity-type":"item","numeric-id":4536366,"id":"Q4536366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb6699b85441d53c00a7d2cfd6a725752080e6b","datavalue":{"value":{"amount":"+0.87115395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4522149$E6D282D2-20E8-4DD5-9670-5E7F3744D57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcffa8894e2339f068fc5f5814ba951cff769c6","datavalue":{"value":{"entity-type":"item","numeric-id":2566033,"id":"Q2566033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994ed5db8cffdd6ec28d13d11b253c5e9590a2ac","datavalue":{"value":{"amount":"+0.86831504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4522149$E6D31C7E-7461-421B-BB54-2EB49FCEF9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ddf68208fec3d1423a51d071151463ca40b4ae","datavalue":{"value":{"entity-type":"item","numeric-id":4764610,"id":"Q4764610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6401fe3e94e031b0b7f89679e15dc57497b67dfc","datavalue":{"value":{"amount":"+0.8648048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4522149$080093F1-8E4F-4022-BF8D-FE31334C7691","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":"59db5f59039a3be68505d6961c04458c28a297dc","datavalue":{"value":{"amount":"+0.8644822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4522149$C297C965-88AB-4777-B2DD-263266AEA104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f8863c0ad8f47e8885016b775f423134b8191f","datavalue":{"value":{"entity-type":"item","numeric-id":6064279,"id":"Q6064279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c482e060787f4421e72272ea4226e56e35fa33d5","datavalue":{"value":{"amount":"+0.86386883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4522149$298FDA20-78CA-44A4-A29A-CE03273D2967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a14a996e0f34d6aec88250df446b0d0a0e27f0d","datavalue":{"value":{"entity-type":"item","numeric-id":4644585,"id":"Q4644585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877368d34890316eff5ec4aa7ba1571210455548","datavalue":{"value":{"amount":"+0.86226404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4522149$536397D5-09CE-47C1-B6B7-5176F797204E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8b9b1ead44f7b2e3e7f4382d6eba6dfd4c1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5371961,"id":"Q5371961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb2b0f4c5ea23154a140038d27e9f2343247872","datavalue":{"value":{"amount":"+0.8616764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4522149$A2A98FD3-FFAE-4B24-88C2-C732C48FB628","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4522149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4522149"}}}}}