{"entities":{"Q2758058":{"pageid":2768797,"ns":120,"title":"Item:Q2758058","lastrevid":83109860,"modified":"2026-05-07T06:06:02Z","type":"item","id":"Q2758058","labels":{"en":{"language":"en","value":"Exact bounds for lengths of reductions in typed \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1679331"}},"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":"Q2758058$4E1E3307-3CB0-4DEE-A12F-A232060177F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"641bf98191e8b3411fc85b8e17b31d17b61075a0","datavalue":{"value":"1159.03305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758058$BE117827-5B68-4499-B7ED-ECDEBF083264","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1d825cf675cadddb292960d6a35703088eaea1a","datavalue":{"value":"10.2307/2695106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758058$C8706336-84D6-4CAE-8488-E8F180EBCFF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758058$EC065721-93E4-4462-BB05-E7BB22D706D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc2ad12482be989162f6dc592fad63843b795129","datavalue":{"value":{"time":"+2001-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2758058$5F529BF0-3850-4C41-99BD-AC70A59C461B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758058$A5901B96-ED3E-4D64-AEB8-102C0B2E163E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e88204baad21397fe7c348ecc536be2b0542075","datavalue":{"value":"1679331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758058$7F719582-EB1E-4BBD-B8F3-F59729CFE011","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":"Q2758058$A008502C-058E-47F1-967C-07B56C56E8A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e9f5ea8ffc8a7f78c3f8af2bdf3c7017a17ee24","datavalue":{"value":"https://doi.org/10.2307/2695106","type":"string"},"datatype":"url"},"type":"statement","id":"Q2758058$DA95611B-9CD0-4D11-BA90-C85FA5853C50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea07a6b479717706ebf587c072f1f67acb8b9e4c","datavalue":{"value":"W2086316626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758058$CA7CD765-B2FB-492E-8514-6E3AD9638F3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e085c4847c227118c61fb798400661bb25f4681f","datavalue":{"value":{"entity-type":"item","numeric-id":2639840,"id":"Q2639840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758058$07E843A0-6D92-421D-B0B6-EE89CE41F45F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ffc7ea402b28df30b7842bb65c8624fdbf5d432","datavalue":{"value":{"text":"Exact bounds for lengths of reductions in typed \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2758058$BF3919A5-3D52-4FB5-996F-AE07316B70D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758058$E544BCC0-E2CD-494A-9748-590EBAF2965E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c849d33f13cca487b27c42b5fb87268f8b2a0159","datavalue":{"value":{"entity-type":"item","numeric-id":2639840,"id":"Q2639840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc25f8aa28fef31d83f2695ac70e2aa3ba514d10","datavalue":{"value":{"amount":"+0.8832769989967346","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":"Q2758058$72906809-3FC2-4F74-BD4D-6348A4A33399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6b506bc6c20617e49cb3694507236168c8039c","datavalue":{"value":{"entity-type":"item","numeric-id":3322086,"id":"Q3322086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a297b033cbffa6fd80ec1caa2beac2b8efdba83e","datavalue":{"value":{"amount":"+0.8321083188056946","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":"Q2758058$D3F2D67E-84C4-477A-84EC-8900C01A1BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"571937d0a9c5e7d51af282b89a5828fcdf3162de","datavalue":{"value":{"entity-type":"item","numeric-id":2988360,"id":"Q2988360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7589816ef4a6363f983b3675653d5284cbf0e734","datavalue":{"value":{"amount":"+0.7962610125541687","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":"Q2758058$DE3E6063-038A-4C44-B6D1-D655BFDB4D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9786710b6bc443c79f95fa3fa09fbbcf5ae1b5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4625705,"id":"Q4625705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7d6eac5a8fa1525e0c67ad39b452039db0f50ff","datavalue":{"value":{"amount":"+0.7950032353401184","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":"Q2758058$61734112-FBB1-4B5E-A9DA-F3556E7023D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d78d72c4f385e6277b8141cbddd5d7a6d613b716","datavalue":{"value":{"entity-type":"item","numeric-id":4254636,"id":"Q4254636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6bf9b33d462cdc624e9e4e68f42dede4c55b7e9","datavalue":{"value":{"amount":"+0.7931819558143616","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":"Q2758058$DE7DDC3D-82E0-438C-9487-EAD7CAEB2284","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact bounds for lengths of reductions in typed \\(\\lambda\\)-calculus","badges":[]}}}}}