{"entities":{"Q5875894":{"pageid":7905445,"ns":120,"title":"Item:Q5875894","lastrevid":57188985,"modified":"2026-03-27T10:26:52Z","type":"item","id":"Q5875894","labels":{"en":{"language":"en","value":"A quantitative model for simply typed \u03bb-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650542"}},"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":"Q5875894$3731A782-7CFF-4698-AEA0-486386A2222D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f200679b288ec7e6119873930701883e30975c04","datavalue":{"value":{"text":"A quantitative model for simply typed \u03bb-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875894$C7FF3AF6-4919-4021-914C-BCF0D5FB017D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35bf99c2b8ecf46ba526a190cd61ba6e411567bb","datavalue":{"value":"10.1017/S0960129521000256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875894$83229316-A32B-499F-AB26-087B1BDD43E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875894$9423CD54-5C32-450B-80C8-A14A74FAF939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e51cd15c16b0c6c69509fa4abe3962120c64e6f","datavalue":{"value":{"entity-type":"item","numeric-id":777881,"id":"Q777881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875894$656DC255-5960-40AC-95B0-AA87C509DE9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875894$9B951CF4-BCD5-487C-9424-8EC20CB1D78A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd19c0da70be3be0168636ed48cb0aa4a71f51da","datavalue":{"value":{"time":"+2023-02-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":"Q5875894$135D1421-3FB6-4130-B17F-E2F586149AE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875894$0B503B5C-783F-4CA3-AF70-F588ED7EF2D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0edda18da031aad1c23e2be2c6398ba9f4e87ce","datavalue":{"value":"7650542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875894$39EA0647-B1F8-4DC0-A6A2-6FEEE7DBFEBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4784112be4b4fc1ecf59556b4e2fe73a2a7e3525","datavalue":{"value":"resource monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875894$11260FC3-AADE-4578-9D5D-1CF04BA701EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0631e351ec737ce2cf601631e03df2f0d553ab50","datavalue":{"value":"length spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875894$549E6B18-B324-4364-BFA1-975EE8135A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6557f96c7331af6f8acbd886ca6331ad8977db4e","datavalue":{"value":"quantitative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875894$49726CB3-AD88-4EA1-AE52-981E1C0CF2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875894$90068BC6-4F68-4CD6-A8B7-13FBF619451A","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":"Q5875894$09CC0B70-4CAC-4BF5-94F7-9217E559B834","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f164942c642ed9a292cf7e76c01abfc31e247d2","datavalue":{"value":"https://doi.org/10.1017/s0960129521000256","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875894$29E50065-0F7E-44EE-B607-623768E23CCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec65170e98d05bb23ddb1225089d1968b6fb1823","datavalue":{"value":"W3214783275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875894$BD99AFF5-8BEF-499F-B649-211ACAF0B33C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"367db641df6040a1f12d84299126da223d00ffc4","datavalue":{"value":{"entity-type":"item","numeric-id":2758058,"id":"Q2758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875894$8B7B96C0-7EF9-4293-8F63-C0B8C162DD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1621b9ed49fbaf7b5b203bdb96207b475780b546","datavalue":{"value":{"entity-type":"item","numeric-id":5897769,"id":"Q5897769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875894$FA0D880B-CBB2-4A7A-9F48-C9575AC53DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a11c6ac6cbb411ddf661bbedf46e788a230cfc6","datavalue":{"value":{"entity-type":"item","numeric-id":5894004,"id":"Q5894004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875894$ED1AB85A-95AF-4A35-BB11-6F32CC731AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56079f4315d57683f7ac986dd68231174e9401","datavalue":{"value":{"entity-type":"item","numeric-id":987375,"id":"Q987375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875894$7820A263-3232-455C-B61F-727CEDD5996C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d41bc368794651eefaa5e01225b43165e58b5bb","datavalue":{"value":{"entity-type":"item","numeric-id":534712,"id":"Q534712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875894$8D6DA6C1-6E0C-4924-A7D1-49C81EF6BC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bcfabc22212d3db2a4fa41c3566844e5ecdda6","datavalue":{"value":{"entity-type":"item","numeric-id":3668859,"id":"Q3668859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875894$C3A30BAE-5C39-48C2-A61C-A9D3820C5767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c29f9ad4a87e00a5c390abdd0c2d16c4c6fde13","datavalue":{"value":{"entity-type":"item","numeric-id":5958783,"id":"Q5958783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875894$08D503B3-B61C-4CFD-A22C-15ED004A511E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd3f1c74ecd2d6b960ebb394a188f86a23ced68","datavalue":{"value":{"entity-type":"item","numeric-id":4094854,"id":"Q4094854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875894$026AFCD8-0C32-40B4-AFD5-0F6CA4287EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"886dee40f42def471a97967ad48c04c047f9b17d","datavalue":{"value":{"entity-type":"item","numeric-id":3322086,"id":"Q3322086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875894$013176D5-4A74-4C0F-B426-0F344B867F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b18359a30d947e14706b442470b5718def45abe","datavalue":{"value":{"entity-type":"item","numeric-id":3370611,"id":"Q3370611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875894$65C0A667-A7AE-4A42-A470-76F5290EA5C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61f1043df0660b821c287adfab81436de44a8af","datavalue":{"value":{"entity-type":"item","numeric-id":4362931,"id":"Q4362931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3bc53be633e63c991f4acd6e74cde413d2c90d","datavalue":{"value":{"amount":"+0.7421917915344238","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":"Q5875894$4E16EC52-07C8-48EE-9105-65A4D0F08C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e08705f424a61127723ac10045096fba5f9f8a","datavalue":{"value":{"entity-type":"item","numeric-id":5015215,"id":"Q5015215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256dc21a90054543ce841d1696ee19c4ab76b22e","datavalue":{"value":{"amount":"+0.7333270311355591","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":"Q5875894$221A8BEB-B476-498F-BD55-48BBC7B9147A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a7ad034b78d26f2fc4b0eac02a7301a20d73b2","datavalue":{"value":{"entity-type":"item","numeric-id":5111320,"id":"Q5111320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c3dab694df28facfd1455c39a4b84853f4eacb","datavalue":{"value":{"amount":"+0.733277440071106","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":"Q5875894$95D93DB5-239D-4B27-9AFA-E9A7A770167D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9795a1001d869ee56951197f6cdb3b225803548b","datavalue":{"value":{"entity-type":"item","numeric-id":5144610,"id":"Q5144610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224b3549a46fa5e2f171f8cae7c7f469b5a93533","datavalue":{"value":{"amount":"+0.7323631644248962","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":"Q5875894$1F093C0D-6372-45CE-9C18-764C3A70066A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1d837a84776abb8838b2159d529d454dd0767e","datavalue":{"value":{"entity-type":"item","numeric-id":4704764,"id":"Q4704764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a0f0e574cd7a097158d76d3142fb435a548be4","datavalue":{"value":{"amount":"+0.7281556725502014","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":"Q5875894$E49BA11E-3249-465F-ACB1-D66EBF196876","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875894$C74E465B-3A7A-46FB-917A-61FD386AF813","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875894"}}}}}