{"entities":{"Q6659901":{"pageid":14271058,"ns":120,"title":"Item:Q6659901","lastrevid":42411908,"modified":"2025-06-15T14:48:42Z","type":"item","id":"Q6659901","labels":{"en":{"language":"en","value":"Normalization by evaluation for the lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7964355"}},"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":"Q6659901$3F83C381-DD8A-4C05-A955-11369CA5184B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6683f6473f81eaa39f247e53cd3df19d9c315232","datavalue":{"value":{"text":"Normalization by evaluation for the lambek calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6659901$3E845766-F668-40A6-9015-DB5ACE0ABBB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39a632e645d6ba105bdab27ef952da1f8327439","datavalue":{"value":{"entity-type":"item","numeric-id":1675788,"id":"Q1675788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659901$8B1B0094-B238-4606-B2F5-976F7E900E53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4d97a11f2ce21fc62fce1ecd5bb5e80dc2dcc64","datavalue":{"value":{"time":"+2025-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6659901$2D088A90-C5EE-4E0B-91AF-AB624954A329","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659901$56D972FA-5165-44D7-A8CF-5E8E0C951EB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7018beb7ceb525b3b2743901d29f4853d1b284cb","datavalue":{"value":"7964355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659901$18A85A57-EFCD-4EAB-A162-BEBCC9C73E04","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":"Q6659901$FD0A257A-68C2-44E1-8AA0-9A233BBA6C34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6f93665c2e557c57ca467a92e979922ef9ed2b","datavalue":{"value":{"entity-type":"item","numeric-id":3971583,"id":"Q3971583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659901$38E278C8-1201-4BB2-966D-07BC36823F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa1e1e1a7f2285ef58a648d10db096ce5882504","datavalue":{"value":{"entity-type":"item","numeric-id":5057474,"id":"Q5057474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659901$7555A877-E564-4C9E-987B-E17D798B0126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652bf78846e6de96c39ef527b060150cb49ed98b","datavalue":{"value":{"entity-type":"item","numeric-id":1884008,"id":"Q1884008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659901$1F819D8D-E6CB-4E8E-9A1F-E6E070449999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482e6c07034c1ee3cb0fbd84fc2baad6e36e38a1","datavalue":{"value":{"entity-type":"item","numeric-id":3452250,"id":"Q3452250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659901$4634558E-9D31-4CA2-9F32-7D267534FA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26571693b6a8567e0a13f75c14953cf8fd0307e","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659901$864BA2F3-F960-412D-94F8-D34FB5C27C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ded251e40a864eff7915d4a0cada06fafdd1945","datavalue":{"value":{"entity-type":"item","numeric-id":4933303,"id":"Q4933303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659901$FE78B240-416C-449F-AA86-9204A5C7A086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b43e9ff1657ee77a36bffda09ff25df8b0b49fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4263871,"id":"Q4263871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659901$A2252280-253F-4221-8CD3-34453C53D08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f55ce7a0033f267017eaa754b9f303d49b3795","datavalue":{"value":{"entity-type":"item","numeric-id":1398466,"id":"Q1398466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659901$E9894A40-6CE4-4721-A718-D4BFD6097122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659901$CB4E092C-055E-4CFE-84FE-F32861F18C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659901$81E60D3B-3F32-4F89-BA1E-B557FE2299FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659901$EC83D859-CD3D-4BA2-BCD4-11260ED8619A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348a740290a2c179d9f484476a2f2aa7ed8ffff8","datavalue":{"value":{"entity-type":"item","numeric-id":4263877,"id":"Q4263877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659901$9AC10A92-DF95-4443-9306-C9C68C351F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ad965310e7644ec61576bb3fd650e8d914bbc3","datavalue":{"value":{"entity-type":"item","numeric-id":4013256,"id":"Q4013256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659901$85518301-E522-4E32-B163-8B3DFB7B1757","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc8b35da1094d9c2c0120921497964e22a420402","datavalue":{"value":"10.4204/EPTCS.358.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659901$39686B5F-9A87-4C3C-82BE-51B7FDBFE321","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6659901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6659901"}}}}}