{"entities":{"Q2007730":{"pageid":2018472,"ns":120,"title":"Item:Q2007730","lastrevid":72322305,"modified":"2026-04-14T04:06:46Z","type":"item","id":"Q2007730","labels":{"en":{"language":"en","value":"Evaluating lambda terms with traversals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135126"}},"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":"Q2007730$A8EB796D-B1E0-431B-BB62-A4799BE03650","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa2ffcbea715c06651ff2df84021bc270e27cd50","datavalue":{"value":{"text":"Evaluating lambda terms with traversals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2007730$70B860D5-8CF4-4B47-BBE8-30F17D2797F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bca3a58021175d8537eadea868f8703884244523","datavalue":{"value":"1436.03103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007730$13FE60DD-0FA4-4B3C-AC76-0211EB635B68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b953125982b3eb0bad27a24bb8ec7aa3cd1602b7","datavalue":{"value":{"entity-type":"item","numeric-id":2007729,"id":"Q2007729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007730$6B8A0EA7-930C-4689-BC95-15E93B12EB96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007730$BEA066AF-C975-459A-8499-1D90DF820BD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2007730$BF4ADF25-FEDD-4638-892A-CAA1AB22453B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007730$8F2CB847-8718-4CA7-B2FE-1E4633C0D4B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5035275be5c5ee102a7b5f638bae7fd5fa308602","datavalue":{"value":"7135126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007730$E49355CB-EC12-4556-AA96-9A713D94789A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007730$1EC643D0-E64A-4102-A273-0DF1606D7F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19700a7e1cfdaf8ba174bae01ed9a7b163596ed3","datavalue":{"value":"linear reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007730$73949E13-8E47-4B22-A93E-C844766B4128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e087e08c9ecfbbefc4c5469d8763aa194dac1e3f","datavalue":{"value":"traversals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007730$3BAB463C-0A54-4516-B214-66536D3EBFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007730$D3D59AC6-04CA-41DC-A916-CAD9E9DE276A","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":"Q2007730$BD9D888F-7D8A-4F86-B30E-87C62C815347","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c58236f5363f3d6a482422fabbba210cf14c0419","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2019.08.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q2007730$7428BB98-CEEE-4EF4-8429-C92F67B1DA64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0f325c6fe94d3b45ad6fd3a38d7334ece30e533","datavalue":{"value":"W2973316748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007730$C74AD6C5-B9CD-43C3-BED3-CF22F212B8DC","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":"Q2007730$A3B367FC-886C-4ACD-811F-4BB5CC9421F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398bdb41311ca1c0b088df074fe93694f499ab24","datavalue":{"value":{"entity-type":"item","numeric-id":5901537,"id":"Q5901537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007730$AA746C46-219B-4F49-BE98-3C91BD366343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6153e1c3fffb715aeb3bf1cf0bd6d05da7b7efe6","datavalue":{"value":{"entity-type":"item","numeric-id":1575873,"id":"Q1575873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007730$650FE293-E0A7-445C-AEC3-CB194D240470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007730$4A22D26F-0C92-42BD-9071-8EC245B3F51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007730$E8927735-2943-4D6B-BDEC-D6682E0B9005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c9404f2812df07dbbcc40cd23192d14986d7be","datavalue":{"value":{"entity-type":"item","numeric-id":5958298,"id":"Q5958298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007730$11E772FF-A176-40D6-9EF6-A934C717D6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442937e7a92071855338b0012339d681574f358b","datavalue":{"value":{"entity-type":"item","numeric-id":2464723,"id":"Q2464723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007730$A6C64203-5CC3-49CF-8A79-D0480FC8FDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007730$281730B8-E126-4961-8D40-564654DE9105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e80654d96b359be8aac4f544f7cd3afa5bfdd47","datavalue":{"value":{"entity-type":"item","numeric-id":1342250,"id":"Q1342250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007730$5D3EB12F-B528-473A-A9B9-A2B4E5A8CEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007730$CDCE4A4B-8AA4-46A5-8D86-97008D0B4264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007730$CC6C0451-16B0-4512-9646-1084BD05A3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007730$C2DD40E8-5C92-43F0-8B9B-3C4B77FEC712","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c620016e4286abc3edf7a0ec3c952f4c53b8e534","datavalue":{"value":"10.1016/J.TCS.2019.08.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007730$905AA74A-96BD-4B9F-9774-09A3E70054FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01139883031fe87bf499e2c4e740336ba881fc54","datavalue":{"value":{"entity-type":"item","numeric-id":4414741,"id":"Q4414741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af30c786876622e6c3761e3fd682ca44bd12405","datavalue":{"value":{"amount":"+0.6967812776565552","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":"Q2007730$296EB5B6-4765-4FC7-AC83-57FA4A75F4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f480926e955c7268003b70684fb393d5c2bcf377","datavalue":{"value":{"entity-type":"item","numeric-id":5881291,"id":"Q5881291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e6ce4adf77b45c47c2dd3041176a3798f556cf","datavalue":{"value":{"amount":"+0.6935885548591614","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":"Q2007730$62B47414-5D2E-47E5-8D20-CF65D5C362EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063e1ba206934372fcd8008b2e1801955ae67537","datavalue":{"value":{"entity-type":"item","numeric-id":1114667,"id":"Q1114667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906c0af54be51ebd28f048b44f8e2dcf7403f0b1","datavalue":{"value":{"amount":"+0.6872258186340332","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":"Q2007730$2D137910-8E23-4E4A-81A5-59825375D7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4400596c9af62ac251c02d13ccbc6f6903f92a85","datavalue":{"value":{"entity-type":"item","numeric-id":4818938,"id":"Q4818938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbd25f96734106de6da506f4d23c1de97aeb8b26","datavalue":{"value":{"amount":"+0.6862229108810425","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":"Q2007730$34FA14E1-7BE3-4AA2-A75F-29D9FD1C066D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9123a6382e52431fd39f62f73b065e2ba71307c9","datavalue":{"value":{"entity-type":"item","numeric-id":4870805,"id":"Q4870805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e3cc2ed6d791e5bb41106587497096833f0560","datavalue":{"value":{"amount":"+0.6847123503684998","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":"Q2007730$7EFB46CA-DBD4-4D58-BCBA-AF78C3259E3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Evaluating lambda terms with traversals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Evaluating_lambda_terms_with_traversals"}}}}}