{"entities":{"Q6934137":{"pageid":21108388,"ns":120,"title":"Item:Q6934137","lastrevid":104077271,"modified":"2026-06-06T09:01:50Z","type":"item","id":"Q6934137","labels":{"en":{"language":"en","value":"More Church-Rosser proofs in \\textsc{Beluga}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8089322"}},"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":"Q6934137$4B031460-3019-4234-8EAD-759BC80EA755","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90d91a8330100d9f1daa5cf5f6ca7fceb61e5b9d","datavalue":{"value":{"text":"More Church-Rosser proofs in \\textsc{Beluga}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6934137$6A3933A9-0DBD-4B34-AD57-A25106CDDAEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb471fc819d8d9560ab3dadd983bd6cd882cd269","datavalue":{"value":"1572.68329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934137$609EAB33-0FDA-4CE0-8B4D-BAB2CFA11065","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4469b8b6150576152b051b24165967f625c4cfb3","datavalue":{"value":"10.4204/EPTCS.402.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934137$BB64DEAF-70E9-42F0-88A4-6C34856A87F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8135914452c3b1bd839ce74f3161ea4765c65f58","datavalue":{"value":{"entity-type":"item","numeric-id":287276,"id":"Q287276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$E591FEB1-4F4D-45B2-B385-65D2134BF64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e97a88108bb3d927bdb7c08f60252fb03cb328","datavalue":{"value":{"entity-type":"item","numeric-id":6934136,"id":"Q6934136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$A23ED4EC-6523-43A5-BD3D-B0203389C543","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50e7e1513349015c9ad9d54964e1d81738fe0b09","datavalue":{"value":{"time":"+2025-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6934137$A6D75CBA-93D7-4004-B410-F380FF5E3D6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934137$4B1C648A-A218-4E9C-A286-9E5798F927CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934137$FF444F22-D4C5-48E2-B7B7-52DE3D16EC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934137$C51A5FD7-22A0-47FD-BCDC-DDBFB185C10F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19228b2bdfd333eceff6235f47d3fee83bbf9501","datavalue":{"value":"8089322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934137$BBD649C3-5E55-4A49-87C2-454FC63EDED9","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":"Q6934137$CA30E5B2-A8AF-439D-94B7-38027BA8E388","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934137$FDDF6D94-80A8-4ABB-92DF-C07774C91654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934137$988FFFAC-E814-464E-85F0-3F4D17BC149A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33fd81627acd56a240fde0d4d7060d89e19d0782","datavalue":{"value":"System F","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934137$52EFFC3B-2AD7-49FF-8CF8-11200C9A594C","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":"Q6934137$AF3A5E2E-AB98-495B-87C4-33EB8DFA9FC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cb7bc6676bcf4ae8d66c7a793e7ffdddba9905","datavalue":{"value":{"entity-type":"item","numeric-id":5110924,"id":"Q5110924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$B7AEC5DC-789D-435F-9BA9-DC4CBFAE5145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3127df92e823928db9943d2b21122cc061b2a1bb","datavalue":{"value":{"entity-type":"item","numeric-id":4916060,"id":"Q4916060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$4DB2629F-E851-4F1E-97AC-E9C704CBA2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52bc2eece43ed61a28c0516dc0b9048a4a049547","datavalue":{"value":{"entity-type":"item","numeric-id":2392480,"id":"Q2392480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$785BFF0C-2B0E-4729-9147-BF4B89E18424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a6052e2df6acd43e142affcc03baaac83ae5ad","datavalue":{"value":{"entity-type":"item","numeric-id":5022932,"id":"Q5022932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$15AA1B87-71A5-4ACC-BC0A-75293922F223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf284620825356e4026f7163726a6eaa28789317","datavalue":{"value":{"entity-type":"item","numeric-id":287277,"id":"Q287277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$93151D94-663B-418E-B797-9A286B6AAD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba3bb8eb8718e00bca2697a55c941e0dc2927c0","datavalue":{"value":{"entity-type":"item","numeric-id":4691183,"id":"Q4691183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$FC71E2A4-2338-4EDB-8CB2-D29F84AF0A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dceaeb69355189fc068eb986132da2a3b9a2d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2703747,"id":"Q2703747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$00947F12-7448-41BA-917F-A9AD964392B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a550204b4fc9eb077df82e95f8c42f6d0c6fa7c3","datavalue":{"value":{"entity-type":"item","numeric-id":4764621,"id":"Q4764621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$F610971B-2C1E-45CB-859C-B12B04419024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d570e10f7d8dc4bc97d799b910f2dafe94176984","datavalue":{"value":{"entity-type":"item","numeric-id":5111317,"id":"Q5111317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$FF23BD3A-0836-4849-B252-80B8DFAA0A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347ff5e243a44fe280b61636b43f4d0e72b66679","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$94834BAA-B652-49A5-99C7-3C4481D42F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693ee42653a3b11e8160602b1f85eb4bc2fd3c0d","datavalue":{"value":{"entity-type":"item","numeric-id":2753689,"id":"Q2753689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$684FD36B-03CD-4EB4-8491-B7F5E5BE69DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab11f968a1fe231094f125d88568cff5c0be92de","datavalue":{"value":{"entity-type":"item","numeric-id":1595924,"id":"Q1595924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$0EE56CA6-55B6-4896-99BC-B3486990F0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c251862798025af0ed73cb57538684bb7c1e6c74","datavalue":{"value":{"entity-type":"item","numeric-id":3454100,"id":"Q3454100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$9ECD363A-BCC2-4338-BE38-023FFD84DEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2bc8da536a49ebbe145903a26559f6e7ce833b6","datavalue":{"value":{"entity-type":"item","numeric-id":6654495,"id":"Q6654495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$0DE59E92-7793-4CCD-B32F-45FCB1C82D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$65AE84CD-BF74-4A89-97E2-615F6F16A33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdfc6c2a229e09846d7ccb887c26192d20ce0f8","datavalue":{"value":{"entity-type":"item","numeric-id":2945649,"id":"Q2945649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$982045C6-E3EF-44B6-8453-7EBCB5F4C173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93870916f985296994d3e934a3bbc33cc4056cee","datavalue":{"value":{"entity-type":"item","numeric-id":3801105,"id":"Q3801105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$76AEF01C-50BF-431D-8B7D-14DC6A2DAF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$8EA05EBB-A468-4E34-B985-97AB91E0E770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038fe3d523d25b19ee4156c3ba003d8763564740","datavalue":{"value":{"entity-type":"item","numeric-id":2778886,"id":"Q2778886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934137$8687A819-0606-458A-9756-4A980AA38C04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6934137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6934137"}}}}}