{"entities":{"Q3558341":{"pageid":5588245,"ns":120,"title":"Item:Q3558341","lastrevid":50972546,"modified":"2026-01-16T00:56:27Z","type":"item","id":"Q3558341","labels":{"en":{"language":"en","value":"Towards normalization by evaluation for the \\(\\beta \\eta \\)-calculus of constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703521"}},"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":"Q3558341$85813FF2-5460-413B-BC6A-DC8F1B987F3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dab460ec826315605892772e0a9e62a1e85a34e","datavalue":{"value":{"text":"Towards Normalization by Evaluation for the \u03b2\u03b7-Calculus of Constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558341$CED38485-5CEB-45CD-9ED8-C96930CB26CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0e2097842cbdcf4323529f34494c8d210f2fc56","datavalue":{"value":"1284.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558341$E9C60ED9-AD64-4B1E-852F-2ACC5F260C19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6db5faece9b84e68b6127e0e800b0219621f2025","datavalue":{"value":"10.1007/978-3-642-12251-4_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558341$BBE92183-5090-4F3F-B927-5A081FC16B65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558341$8106CEA6-36AD-42CC-B785-B57153E49D6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558341$C766DEC2-DBB7-4389-9BD4-784FB7DEFB63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558341$AABBE938-FBA0-49EE-8382-602B9DF19F9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558341$F51774F2-45AF-4784-BB5C-35597A45D865","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"074a6c9af68016d72b3ec1cd53302a65f5f765c4","datavalue":{"value":"5703521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558341$D1C352F0-755C-4DAC-9E16-CD24B8F1629C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558341$DC902E3A-7F9E-460B-8266-1EE1915808EA","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":"Q3558341$F336F066-9264-4AB2-BA35-9CAE26E8A2AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44203a9be1f9338ac4d8b1509a71433afb0c7ee6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12251-4_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558341$32784C91-2EA8-4349-A972-7B1BECEE35ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c97a7b68c88dc1ea174ef038fc40ae60bea1a99","datavalue":{"value":"W1599601364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558341$20573B53-937F-4F26-9590-3906A43A02A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cdad27cec952b4a067ef178a26a1ca88d8989b","datavalue":{"value":{"entity-type":"item","numeric-id":2841227,"id":"Q2841227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79dd2000536a882998463f466f3e453d68356377","datavalue":{"value":{"amount":"+0.7955834269523621","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":"Q3558341$E1D9B22A-0042-4986-BA38-D90DF08CDD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229fa832c9f679ac8d467437b0c437e298bca5df","datavalue":{"value":{"entity-type":"item","numeric-id":5961667,"id":"Q5961667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea09534506a878dc6b04d45b75eb5d84cdb7843c","datavalue":{"value":{"amount":"+0.7882664799690247","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":"Q3558341$51739ED6-E2F3-42CE-8734-1A7CDADF9273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953159312b7424abe16acfaed309cd34802f4340","datavalue":{"value":{"entity-type":"item","numeric-id":5262927,"id":"Q5262927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61730bc8e2c25e80ac7318ec3b695a20762e3688","datavalue":{"value":{"amount":"+0.7864892482757568","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":"Q3558341$3A566CEA-C409-4923-8B43-D7D75E715C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4ba777ec3d69929aae1fe702e999be4e6dd481","datavalue":{"value":{"entity-type":"item","numeric-id":5308449,"id":"Q5308449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5604e484cc8ad3ec187ea33e964eff4b04393412","datavalue":{"value":{"amount":"+0.7830772399902344","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":"Q3558341$02F9D00A-1FDC-4910-AA68-16517FC55D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f149ed1b7380fe8cb7025eaaedb2a8b50c31fd8d","datavalue":{"value":{"entity-type":"item","numeric-id":4260702,"id":"Q4260702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3acb4d34a0166a3954a90226bbe105a1f6df19e2","datavalue":{"value":{"amount":"+0.7819877862930298","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":"Q3558341$432F7570-F239-414D-B9E5-B1D070AA5DD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558341"}}}}}