{"entities":{"Q6567752":{"pageid":14178907,"ns":120,"title":"Item:Q6567752","lastrevid":40565220,"modified":"2025-03-06T22:49:11Z","type":"item","id":"Q6567752","labels":{"en":{"language":"en","value":"A lambda calculus with letrecs and barriers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876711"}},"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":"Q6567752$1559B9BD-F6F2-4A05-81F1-C43270C6F8DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eaa10b20cd0f959bde27ad890145f1dd4472ce6f","datavalue":{"value":{"text":"A lambda calculus with letrecs and barriers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567752$7A76A97C-7CED-488C-A93C-8C6EFF197971","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cd7d884a82962c75eaa4b32ff50ce726aa14bad","datavalue":{"value":"1541.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567752$A825394D-6CC5-49BB-82BF-8A149C4F0884","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b97d054e4b90df5267c729fdcbb21ab481e792c6","datavalue":{"value":"10.1007/3-540-62034-6_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567752$15EAF77F-84FA-4458-A0C0-3BDF2E2E40D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3868d1368341d15a99633a658212fd448996167","datavalue":{"value":{"entity-type":"item","numeric-id":673125,"id":"Q673125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567752$7ACE4D21-0A53-4449-A06C-1A1B3682FDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3c2dcd24b5ac11878b2e47a952b426e1352f103","datavalue":{"value":{"entity-type":"item","numeric-id":6567751,"id":"Q6567751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567752$1D1C88F2-246B-4CFA-9483-7CAC298FD701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b9edabb8a53421c15e40b0aa75f927b37d3ddb1","datavalue":{"value":{"entity-type":"item","numeric-id":3685175,"id":"Q3685175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567752$EB596D79-195E-4F2C-A1E2-819653C6F3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"732b20bf38c732366f1e0830427b9491d25ca6e0","datavalue":{"value":{"entity-type":"item","numeric-id":1155951,"id":"Q1155951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567752$1D3D2607-6780-4A5C-A847-0233DDFA7352","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567752$61F6A42C-626C-44E5-97FD-D098A788E3F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567752$E9E9FAAE-2A30-4162-A227-530988C24A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567752$4899B62D-5FE8-43B5-89F7-6BB1B4C20A80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f03ec55736744ee730c5a426c48a58a6a697b0d","datavalue":{"value":"7876711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567752$F98E77FF-F0D9-41A0-9E92-F1657B615873","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":"Q6567752$36C7FDC8-D184-4AF5-9AE4-CCDBA02E1A75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567752$9EFBBDC9-15AA-4DD7-B393-610B6EB98731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7536e92384e11ec3ce8637ede805331f9e036d8","datavalue":{"value":{"entity-type":"item","numeric-id":3997095,"id":"Q3997095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567752$C398B22C-A08D-4C65-A96D-56C15F03DCC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567752"}}}}}