{"entities":{"Q3453110":{"pageid":5232510,"ns":120,"title":"Item:Q3453110","lastrevid":80512700,"modified":"2026-05-06T16:22:11Z","type":"item","id":"Q3453110","labels":{"en":{"language":"en","value":"Ranking/unranking of lambda terms with compressed de Bruijn indices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512414"}},"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":"Q3453110$6E9308DE-6002-4461-A73D-EC8C98C64EA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46ea9bb8a8987850ec6bcb246338871fa2977621","datavalue":{"value":{"text":"Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453110$4B020EBF-93E4-4BDF-9788-B759A6D5AF59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e1ebaf54558782faa9cfd3b6d6d3824e77168b0","datavalue":{"value":"1417.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453110$27D81F96-721E-4512-A46E-0D103C2F6AA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29ad228f4a94a0cd5a855b2f4402b0003179f052","datavalue":{"value":"10.1007/978-3-319-20615-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453110$79C50F33-92A8-464C-B48B-39D32D40D8CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec49a6685e47abe38cbcbbcac2d3c6df36399c7e","datavalue":{"value":{"entity-type":"item","numeric-id":461477,"id":"Q461477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$6BB40B00-758A-4780-A0C0-D97655522C41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$AEFC1498-F836-4913-B833-9DD523999023","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453110$2FE89AAA-A238-4D64-9347-4F407DEDC16F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453110$344812CA-2E53-4249-B42C-82EE47A0C9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453110$F95E256F-F8EC-42C7-99F9-0AE0E0B02B30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ea1e1fda95faff37c8fbd3b554ea19392d8e17b","datavalue":{"value":"6512414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453110$92869C51-49AA-41F0-B12F-E4F3C8D003C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453110$40A273B5-6D62-44BD-8DFA-14956B29F479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edcaf4b865d581f486f497f6d16d5aa00bdf7e23","datavalue":{"value":"de Bruijn indices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453110$3F7BCF63-864B-403C-975A-273AF1C8EB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1a545cfa01255e87dc1dba7534c12015c68b3d8","datavalue":{"value":"lambda-term compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453110$397E3DA5-A564-41CA-8A86-F496AAFAB9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7bcf47450e06b5e9da1b1689840c261fcd258","datavalue":{"value":"combinatorics of lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453110$B00BB563-9CEF-4879-A97D-F16682AC77B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb86592420eb36582881048aabc5e5d248e1b1b","datavalue":{"value":"ranking and unranking of lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453110$86A180B0-EA64-478C-80D7-EDD2D1BDE220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d0f84ea7120ee28f098c6fc91ac3b46268249b","datavalue":{"value":"bijective G\u00f6del numberings of lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453110$1174CB57-9411-478B-A981-640B008BBC46","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$D1468E06-CDF3-4C57-9AB6-EE766E504BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$CF23E1DD-F698-452F-ABB5-85ECE3E8EE0D","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":"Q3453110$D6728530-F2CF-4E95-8679-EC8B70EF8980","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be9311f35ae21224b8813ee9460a195aec218f8e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-20615-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453110$CCC98C67-285D-47C5-B87C-11B2737E7157","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da5193fec5b897b7b6877be179cfc0e06b6206cf","datavalue":{"value":"W850177946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453110$32F006A3-8174-4018-8EB6-3626DAAAF32A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$33602019-03AE-4943-AAA0-2D208A3DEE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$8C945455-4331-409A-A951-25240AAF36EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ebd623f6b8e57b27792095bc1a5f936ffa53ab","datavalue":{"value":{"entity-type":"item","numeric-id":3748279,"id":"Q3748279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$B029BBD9-7377-4C0D-BA01-0EFBCA818354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee65844130568f7c22ce6c535ff8d8c23b7235d4","datavalue":{"value":{"entity-type":"item","numeric-id":4234989,"id":"Q4234989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$69BE0993-23EB-4305-BA36-DC79B786734A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ddb8400e0e4fe44c62fc549cdf01587605b639","datavalue":{"value":{"entity-type":"item","numeric-id":5398332,"id":"Q5398332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$B75C98D7-2837-46A4-9D6E-4E544FF528A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfe8b3db045c3af5bd936077fb2e74b1125b562","datavalue":{"value":{"entity-type":"item","numeric-id":4443440,"id":"Q4443440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$CD38AF13-B508-4383-A19B-589C16EA9B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab9300b4bba551b872dcb6cf7aa35711ac81e5f","datavalue":{"value":{"entity-type":"item","numeric-id":1960537,"id":"Q1960537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$864686BF-567A-4401-976E-B4242BB8ED95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e7fd1286f9172727302c41c58f0c58f2c03e18","datavalue":{"value":{"entity-type":"item","numeric-id":5519904,"id":"Q5519904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$72BCFCD6-C0DD-44E7-94B7-B2B648F244CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55980f69e832281e17dc901971ca7693709ffc53","datavalue":{"value":{"entity-type":"item","numeric-id":4681162,"id":"Q4681162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$80F3B254-DD4C-49AF-A8DD-F13A22205434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfafca4327b7fbda73f47b4d799d9c36825d851f","datavalue":{"value":{"entity-type":"item","numeric-id":5398315,"id":"Q5398315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$C8A1EC72-A2FB-476E-9FE1-79AF036DB795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2952ac915f2cca31818fefbfaf85498ff6aa1f","datavalue":{"value":{"entity-type":"item","numeric-id":4913764,"id":"Q4913764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453110$04F8E57F-7C04-4B40-ABF4-748C1A6360D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d588371dd4520447bca8b82b6c554c12d775b46b","datavalue":{"value":{"entity-type":"item","numeric-id":1706116,"id":"Q1706116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc97a4cdbb02ea43d01aeadd94f41fda194774b","datavalue":{"value":{"amount":"+0.7845001816749573","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":"Q3453110$5E0E5668-5568-4BC7-A3FC-6680ADAF1F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47fb797c9a10cc2f84124bc18e6ddc05240a8baa","datavalue":{"value":{"entity-type":"item","numeric-id":4601892,"id":"Q4601892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f7edf57fbb253d4edcd24aadaef2917d00f3bd","datavalue":{"value":{"amount":"+0.7655159831047058","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":"Q3453110$0D87FD6A-500F-4D63-8840-3D925E926E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e289fc416153162241f8a464a997cf38eeb87c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398332,"id":"Q5398332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6a1c6f12bfdc2ef9adc678d4fff91a01bc5777","datavalue":{"value":{"amount":"+0.7566930651664734","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":"Q3453110$684B720C-6BB0-42EB-8E75-F421B77F1434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64620b7eef9143bbd01b29eef671e6b3c17ef770","datavalue":{"value":{"entity-type":"item","numeric-id":2794357,"id":"Q2794357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9427bf0099e5346ca3f0afbab303f06022dd5c69","datavalue":{"value":{"amount":"+0.7566009163856506","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":"Q3453110$70BBEED0-C6C0-4D32-83A7-30FE1D422E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ff4291c24f5c08115fe8653662be172601c197","datavalue":{"value":{"entity-type":"item","numeric-id":1944777,"id":"Q1944777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25bb4e55f4cf0d628266a2a3fa23282ae03a3ed0","datavalue":{"value":{"amount":"+0.753801703453064","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":"Q3453110$15E17C05-7977-4602-BFCA-919C358F0B33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ranking/unranking of lambda terms with compressed de Bruijn indices","badges":[]}}}}}