{"entities":{"Q5074057":{"pageid":7103633,"ns":120,"title":"Item:Q5074057","lastrevid":55408798,"modified":"2026-02-17T15:48:45Z","type":"item","id":"Q5074057","labels":{"en":{"language":"en","value":"Getting There and Back Again"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7523101"}},"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":"Q5074057$4DD20C06-036D-4CB4-A25A-05D58099DB84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c811537d1d76e6fc0c4191729444e99e27e475dd","datavalue":{"value":{"text":"Getting There and Back Again","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5074057$B692F5C8-CED1-4DE9-9DEE-554BB954DFD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cc3fb8e1499f5e2c71ca5e33c8f9b6b6212e46b","datavalue":{"value":"10.3233/FI-222106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5074057$1AA1C1AD-5E35-4A43-A735-865E8537C055","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f7ebf08f82ce515e0740dc978f18c660e5f4735","datavalue":{"value":{"entity-type":"item","numeric-id":232933,"id":"Q232933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$F1EC85DF-4E59-4EAD-90F7-403FC52B6F34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$29699FB1-29F7-42A0-A6C2-3A4A974F8584","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"def5e2641178468c34fb2d72da010f49e0c91216","datavalue":{"value":{"time":"+2022-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5074057$B0FC5FE5-8615-4619-BC2E-11CE50651B55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"984040991e1f3f89796a9ca5d0bdd42bfad78b91","datavalue":{"value":"https://arxiv.org/abs/2203.00145","type":"string"},"datatype":"url"},"type":"statement","id":"Q5074057$331A66B3-6D07-4030-A098-0FD39B416DCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5074057$8BB9C7A9-44DE-4A42-83DE-26578BBE8699","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a8f2319c6bcd2d63a4f95b4503c606167405d0a","datavalue":{"value":"7523101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5074057$2648C552-1893-40DF-93A9-F1363B665F5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3e2bb2a5b6519d78137580135aef1af41e84204","datavalue":{"value":"TABA","type":"string"},"datatype":"string"},"type":"statement","id":"Q5074057$6EA18AF7-BA2B-41B8-8C54-19A5B73F9EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"139ca00a1ad4766c64331a6280a53fdebeccb406","datavalue":{"value":"recursion pattern","type":"string"},"datatype":"string"},"type":"statement","id":"Q5074057$94F5E0B6-59F7-4C2F-828F-09E6914F0179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323010e94a2c00a4cdc3c5a5684770a8be2fdc6b","datavalue":{"value":"list processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5074057$6E4E2189-7387-4B2F-8899-689A5FC60581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01dda3033779f51767308fb2c092a49e8ce7f1db","datavalue":{"value":"symbolic convolutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5074057$26529AE1-7908-453F-880F-04EA73E05DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a309a7f4247ef51dd54cf2de708544cd78455822","datavalue":{"value":"eta redexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5074057$B37D292C-1723-4BAA-A15D-160033AC9A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c648b9af8e1d30a35199bd089f3f681c410bda9","datavalue":{"value":"Coq Proof Assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5074057$B4CF4C7D-CA0B-4A28-A6CA-DD9FDC9BA446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37e80608ca0271f01308d7ade794486156bff563","datavalue":{"value":"There and Forth Again (TAFA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5074057$C8BD2FC4-1743-453E-887F-507AC8738B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85c92f24e1508a05bf67a5c51733cbae2fb6c5a0","datavalue":{"value":"defunctionalization and refunctionalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5074057$6D38E1A1-EAD9-49EF-837B-2BD915E29B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe83b3e83cb8ce1467e86fdcc9825ef86b2c53c","datavalue":{"value":"lambda-lifting and lambda-dropping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5074057$7B11D1FA-AFA1-4B73-8BF1-97A93383D5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbb0d95e989a7c68e0f59397a97c55491f6d88c3","datavalue":{"value":"lightweight fusion and lightweight fission","type":"string"},"datatype":"string"},"type":"statement","id":"Q5074057$82CAD9C0-9C6E-4467-8498-E49D981E3162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24821d94cc8c80abb5ca9331a432b22abfec884","datavalue":{"value":"continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5074057$95D22876-03C7-4F0A-9CEA-05E347F7A991","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19faa45cbd2aa91647aa949b92a03b67a963d094","datavalue":{"value":{"entity-type":"item","numeric-id":42672,"id":"Q42672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$5CA055FF-B1DB-446E-AFA2-2F0DA36EBB86","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":"Q5074057$75F7B22E-9424-4359-8D90-3C7BF8735909","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"795a1b195850936176023b19afd668563f624074","datavalue":{"value":{"entity-type":"item","numeric-id":5472881,"id":"Q5472881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$8F65C917-537A-4DC2-9BC3-02EEFFE4ED7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68d09cf1650942cfe5d18404ff5aaef0982c0a7","datavalue":{"value":{"entity-type":"item","numeric-id":923881,"id":"Q923881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$F93254D1-3B70-4A73-B412-01E7F481CFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c185a35146beeaa1ce8f99a1148558d4bad955","datavalue":{"value":{"entity-type":"item","numeric-id":5178964,"id":"Q5178964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$D40F4179-A499-429A-A045-2AEBA0BC63DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553138d23a55c510b177daa43c21abe0e4339d9a","datavalue":{"value":{"entity-type":"item","numeric-id":3618833,"id":"Q3618833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$B8B1908C-964E-4B61-B8CE-CDCCF49C27EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$0A7A6DE1-6035-481D-8FB2-69C92FF9D3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8ffb67b00ea8cbeeaf44ae8b6f3bc27fbc2d2b","datavalue":{"value":{"entity-type":"item","numeric-id":5618896,"id":"Q5618896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$91AB57BF-B8BB-4901-AB49-600F415898A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$2C7ED877-2E27-49EC-822F-0DE65BF89D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869603246c997edafce07781b01178e14270182c","datavalue":{"value":{"entity-type":"item","numeric-id":772331,"id":"Q772331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$933962F2-FBFA-4314-993B-96154AE65F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5702ae25d4d667668c0ee1dda4fe709a36b738b2","datavalue":{"value":{"entity-type":"item","numeric-id":3189793,"id":"Q3189793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$4F860608-2559-4E2F-AC65-B4332E7F6A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e4be35d0888519e5872195dc487ef081b60487","datavalue":{"value":{"entity-type":"item","numeric-id":1583366,"id":"Q1583366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$38606A38-EF3B-4EF6-8E09-F3FE4EC91999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149c6701797bc70b9623feda8cb44be3225ef16c","datavalue":{"value":{"entity-type":"item","numeric-id":5746216,"id":"Q5746216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$56AD50C0-F884-427A-B672-34900D1C1D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df5399bc2464989c23225ad3ba473f94993f2e7","datavalue":{"value":{"entity-type":"item","numeric-id":968365,"id":"Q968365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$565C5AB7-FDA2-4A6A-A789-CF245D1DDEF0","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":"Q5074057$C6123BC4-E9FC-4E5D-8A27-41FF20A7FB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69108ee0b290475d7662d40fc0f23720e9c429b6","datavalue":{"value":{"entity-type":"item","numeric-id":5567774,"id":"Q5567774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$D73A6F16-6EE1-4F9C-8A1B-E686229753CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a37473bae7d5cb3da92e16e6236e38945f5f83","datavalue":{"value":{"entity-type":"item","numeric-id":1330432,"id":"Q1330432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$ABE12A36-DD5D-412C-B150-CE2438606C6F","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":"Q5074057$71F8BE97-25E6-4852-BA5D-8A9EA3558A2E","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":"Q5074057$7B15E495-B61E-4396-B32D-7D9066779EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d45d62552afebf5e9758a073f084970fe802e7","datavalue":{"value":{"entity-type":"item","numeric-id":1290337,"id":"Q1290337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$5749D24A-93E1-41E3-A78F-BBFCCD1B36A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c57489f03ca684d96b30a47ec6ef9c22b6abf4","datavalue":{"value":{"entity-type":"item","numeric-id":1290336,"id":"Q1290336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$DFA42DAB-8E3F-4305-B635-3BF5E71BE5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e3ce5226ac1d5e2efad51326cbb20def185901c","datavalue":{"value":{"entity-type":"item","numeric-id":2464714,"id":"Q2464714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$7A75AA0F-0DCB-4875-A7C1-A2D568CF4271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b633dbc6ae32d9c067b63f8cc7f1689905fd29e","datavalue":{"value":{"entity-type":"item","numeric-id":2464722,"id":"Q2464722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074057$7CA905F8-4430-4857-96D0-DE3E5DDCC933","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15755edc08147f1fc020ccac64371a53c19a5135","datavalue":{"value":{"entity-type":"item","numeric-id":5472881,"id":"Q5472881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4294d790edfd5613abf06e418a1c3ec2e816355","datavalue":{"value":{"amount":"+0.8501079082489014","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":"Q5074057$EE0B92C1-FB9B-4328-8C2B-C7E86030BDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fecd7508aedd0745e184f1180a294574ba351afb","datavalue":{"value":{"entity-type":"item","numeric-id":808723,"id":"Q808723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b635b96d5103707eb9a86fcd0df9bae2c8304bd4","datavalue":{"value":{"amount":"+0.630508542060852","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":"Q5074057$9BA12293-261F-4936-B269-85D340A2A4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b4ed24702b6de8f1f1955fb75c5109b702791b","datavalue":{"value":{"entity-type":"item","numeric-id":3316550,"id":"Q3316550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc08f88c8fb11c10564eff9ff8314bac8c43ea00","datavalue":{"value":{"amount":"+0.6232826113700867","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":"Q5074057$9FB50FD0-F1FF-4DCB-8190-33AF4329B023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205be020c583f655d069282ecbeb26c52ce575cc","datavalue":{"value":{"entity-type":"item","numeric-id":4299163,"id":"Q4299163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acdc1cf72366733cde398f0fd8d190ba3b985668","datavalue":{"value":{"amount":"+0.6148965954780579","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":"Q5074057$C1918CA3-9678-4D8E-B523-429C09373A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f9baa9a81e64834ae1968498f66cbd0c8edf326","datavalue":{"value":{"entity-type":"item","numeric-id":3521982,"id":"Q3521982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0359ce2aae0bcbbf638a801189d89334f0fb6b","datavalue":{"value":{"amount":"+0.6098429560661316","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":"Q5074057$2CE7E9C0-239F-47AF-9F6C-6ABA3B3C956C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5074057","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5074057"}}}}}