{"entities":{"Q3165528":{"pageid":3176244,"ns":120,"title":"Item:Q3165528","lastrevid":86583287,"modified":"2026-06-04T01:49:42Z","type":"item","id":"Q3165528","labels":{"en":{"language":"en","value":"A unified treatment of syntax with binders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6099467"}},"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":"Q3165528$CCFDCB24-F5E8-437E-80D3-8087400CD00F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b0ce5bb65619c971dcdfffe43b7d77575a240ad","datavalue":{"value":{"text":"A unified treatment of syntax with binders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3165528$EA278FDE-18DA-41D2-A7D5-BF2D01D042EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a91eff15dfaa76767433062427c174980a535db","datavalue":{"value":"1252.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165528$292AC263-5D31-4234-8F08-BD41FA1D5897","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdb37183f67c77c9f3eef3dd5d1e0f0d54b6b9af","datavalue":{"value":"10.1017/S0956796812000251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165528$AFDAB77C-C9EB-4517-9DB9-7636D4489FBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e160b35489e3cfab2247968dd48d4d54d2c05043","datavalue":{"value":{"entity-type":"item","numeric-id":3165527,"id":"Q3165527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$BA4FE8E5-7B48-46C2-A8F6-1B053C6A64CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e100a9ec349c9a09af054c90a9680f202a82f59","datavalue":{"value":{"entity-type":"item","numeric-id":670698,"id":"Q670698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$01B90750-E2C1-47C9-B581-F13EA23D32CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$9560C085-E613-4352-B875-58C35F0AC7AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78850d0f93143245d71b956be1f4431496cab06d","datavalue":{"value":{"time":"+2012-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3165528$E2AC6146-6A16-493C-9779-A6555FBF48DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165528$D119D9D8-0E95-4838-AC39-EE89DECCA67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165528$FA897B1C-1C8F-4971-80F3-AF23D173F0B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67c3e6782034ba905f7c6039a0c567c47eb58c9c","datavalue":{"value":"6099467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165528$6CBED782-4A2B-4EBB-8279-B0C386008ABA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a7517f39e70dd5fd2858926ae42c5b9d8433236","datavalue":{"value":"world-polymorphic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165528$DD835AD7-AC63-46B1-8EE4-49532D307549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f8102fe42eff56fa3edceb2b4d5ef4c2c3eb2e7","datavalue":{"value":"term representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165528$A43C2796-1AF4-4F19-A8C4-41CC91E6C354","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$F8DDBB19-AAD7-4514-BC7E-87E1FFF0F6AB","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":"Q3165528$3A880D71-AF72-4CC9-A4E0-A4085B29D2BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c012672e7c126ba7b33abdf4d0ab516498fc775","datavalue":{"value":{"entity-type":"item","numeric-id":2392482,"id":"Q2392482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$EECB3C0D-48E1-4905-9C16-AE7E4532F243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94e0a7bc58887caf8ea3b84d3a676ee2dfdb61e","datavalue":{"value":{"entity-type":"item","numeric-id":757027,"id":"Q757027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$EFA49E1F-04AA-45D9-A158-D08D0C14A93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afff082a6dc69faf74ce9d16730e700193201fbd","datavalue":{"value":{"entity-type":"item","numeric-id":968531,"id":"Q968531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$F74477FB-5BF2-4F32-A783-E58F5D417D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a797407b4949355fcd06204fe2bcb7b1218a925","datavalue":{"value":{"entity-type":"item","numeric-id":4256148,"id":"Q4256148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$F0FE460A-17F3-4A1F-AB77-FF9D837B22A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e154aa9118f1cfec335fe4b3f0ee878903e59e9e","datavalue":{"value":{"entity-type":"item","numeric-id":5176953,"id":"Q5176953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$8D09E52C-4ACE-4AAD-8218-B5DAB7D964F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7468f573ed17da34f0221d7db8a18cd38ff141ea","datavalue":{"value":{"entity-type":"item","numeric-id":5176942,"id":"Q5176942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$71F46241-DFB7-4458-95DC-25711BB1665A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1c4e3e9abb8d3f1418514c061c1d7ea6d5d61f","datavalue":{"value":{"entity-type":"item","numeric-id":1346686,"id":"Q1346686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$41C24C61-2B1B-4249-88EA-1390D3D8B66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa702d7d109a22b360d5066a3e267a9b5cb26b6","datavalue":{"value":{"entity-type":"item","numeric-id":5176983,"id":"Q5176983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$7F2336AA-0FFF-485F-A6F5-E9D8F8CF524F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa2c981de8e849b53502a149adaa2a6abbd0f5f","datavalue":{"value":{"entity-type":"item","numeric-id":3637185,"id":"Q3637185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$E6DCC09B-9C55-4714-BC90-13A852254C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f84acc216b46a16d3a5b1ae053e7c59afca67c6","datavalue":{"value":{"entity-type":"item","numeric-id":5437031,"id":"Q5437031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$DFB4396A-EB69-4826-972A-1AB6263FCBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893e24895c818d766b4ac601e2292c1956a8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4819653,"id":"Q4819653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$9B6A325E-4FC2-43E4-8655-F8F1D7956513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e678cfddf453ace95d62268a3ca88ca789ec4a","datavalue":{"value":{"entity-type":"item","numeric-id":3160301,"id":"Q3160301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$70E4129C-9885-4999-8462-0E5CD7CBDA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4133cc3f6d012e4eb1d1464f6a6670f5d96aa8a","datavalue":{"value":{"entity-type":"item","numeric-id":4376491,"id":"Q4376491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$C9769D4E-3046-4AC6-A345-4F00DF41E5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$8DF09105-90A8-4000-B182-01522966EB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e05d299fa7f6a8c75ff2783cf006e569807898","datavalue":{"value":{"entity-type":"item","numeric-id":5176984,"id":"Q5176984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$32F48FD1-2228-416F-940A-F147E4E0BC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1851616a00610aaeabd4291b4d22573878184fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3546313,"id":"Q3546313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165528$9251827E-388F-45C2-BF06-550E467C81E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c209d31a8cf5359696a5f7f5d12e323f8458611","datavalue":{"value":{"entity-type":"item","numeric-id":5176983,"id":"Q5176983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b84b046dfd0924087336562cc23fa0f8e1d040","datavalue":{"value":{"amount":"+0.869987964630127","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":"Q3165528$96E85CA2-CADA-4FC2-90CB-80A25339CAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d3ff78280b6fa30c94b36837937fff68bf12af6","datavalue":{"value":{"entity-type":"item","numeric-id":5176942,"id":"Q5176942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467b619dfbb5f74649be72d950b9857e7134e723","datavalue":{"value":{"amount":"+0.7709180116653442","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":"Q3165528$1ADEBD77-964D-4E06-88B4-AC53EBA7AB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa54398b0a04659f67dc8e10c06d84c78634629f","datavalue":{"value":{"entity-type":"item","numeric-id":5176984,"id":"Q5176984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604b3c343fe82b251efcd4dd3ca984c67c0c6324","datavalue":{"value":{"amount":"+0.767288863658905","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":"Q3165528$BD9F7BEC-3B38-4859-9AB6-771074FE6294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fb4fc1cd4f41cb4175f9715fde383042ea49165","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5809a726025371aa4953dfadf98126832051b8","datavalue":{"value":{"amount":"+0.7566863298416138","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":"Q3165528$F2985510-66F3-4930-9E55-1B02A9547FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973fd08337cb4463b6909df5db2b0913fc9a4d8e","datavalue":{"value":{"entity-type":"item","numeric-id":5019018,"id":"Q5019018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3387ad0b7dd7302f6c4397238a02c5cc69a0556","datavalue":{"value":{"amount":"+0.7475029230117798","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":"Q3165528$A473F57B-E23B-4DFA-9F42-36BA2C3F76C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A unified treatment of syntax with binders","badges":[]}}}}}