{"entities":{"Q4580321":{"pageid":6609907,"ns":120,"title":"Item:Q4580321","lastrevid":58283760,"modified":"2026-04-04T13:46:19Z","type":"item","id":"Q4580321","labels":{"en":{"language":"en","value":"An estimation for the lengths of reduction sequences of the \\(\\lambda\\mu\\rho\\theta\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917936"}},"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":"Q4580321$EFC3DB7F-AACC-4BBE-B090-C77783DF41A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91feb075affa368b739b08875d2eae7cd226b04c","datavalue":{"value":"1453.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580321$B8C35AAB-E35D-41DF-8794-9DBA2EC885B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ae713017766763c099241ff0e66fd03b7c58d53","datavalue":{"value":"10.23638/LMCS-14(2:17)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580321$B3882830-D92F-4584-AA9A-713AFE254D90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecf453dfb45cbee325db213f09dd10d6d9e8f531","datavalue":{"value":{"entity-type":"item","numeric-id":1982989,"id":"Q1982989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$55E9EB2C-E21F-443A-9578-E4E62FB8083B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$3416CD10-E390-428B-9217-60D3135FD511","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db9626bb787427167dc8802eb63a193ac3c35362","datavalue":{"value":{"time":"+2018-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580321$E4899EE3-ACC5-4995-B512-D8662693D494","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"997bc7fb5832bb1073e899aa2788515ebcce2ecc","datavalue":{"value":"https://arxiv.org/abs/1703.05930","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580321$E2EFFDB8-8E95-42B0-9E5E-E1B622EAFBA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580321$D3E26F61-7496-4BA5-8EA7-A257675AD2F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea035e44e651be38374ef3914c900403c2df18c8","datavalue":{"value":"6917936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580321$8DEA6E1C-6D25-41C3-B76B-51267997FEE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580321$511403BC-A1FD-41ED-8235-24C1F1E7BA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9070650248892f99e4132bfd1d0fef05fd7f6d2e","datavalue":{"value":"\\(\\lambda\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580321$FAF88B8E-BFD1-4020-90E4-BA793E5ABAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18d613ca5d558d91e811df923cf208208ced9e8","datavalue":{"value":"standardization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580321$EE0CBEC0-2621-4222-A3B4-64751F23F861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e109bac0cb55949b5204ac9b45df0e097b1d6344","datavalue":{"value":"length of reduction sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580321$25DB748E-B402-4109-8258-6F0828383032","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":"Q4580321$B05AE0C8-96CA-49F6-B7EE-07BEB14DFC4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9ba77ba996281fe5afb7c519b2a039ab0230b6","datavalue":{"value":{"entity-type":"item","numeric-id":5271066,"id":"Q5271066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$63D26589-1977-4DD9-8EB8-56E1B6ECAC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$969EB0E2-6297-431D-9721-92CE6D4096A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a3788383c9cc058727f1358cfc587595de30c","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$83E9F909-E578-46C6-A384-FF812D82BE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89014fdaf1fabd43e47c8e235e2631fcd212f550","datavalue":{"value":{"entity-type":"item","numeric-id":1840460,"id":"Q1840460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$8137613F-9731-423A-A49E-8F44E0EC6D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5688d40c9725b5bb9cdf1fc19ea473f7da06434d","datavalue":{"value":{"entity-type":"item","numeric-id":2851698,"id":"Q2851698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$ADE5D909-3BA8-48C1-8833-71A7EE73C2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84b832ed7190208927e77de885748d75e5f7f7e","datavalue":{"value":{"entity-type":"item","numeric-id":5704007,"id":"Q5704007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$8DBD7D23-5E7F-41E9-B611-3346407E6704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870a1e43dce10080e28b1e1ff59ebbd33d5f383b","datavalue":{"value":{"entity-type":"item","numeric-id":3593501,"id":"Q3593501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$E6449B3B-47FE-4D0C-AE62-41BA4B4E1B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6049ddb292d791b2bb481fd336e7a3dd16c1eb1d","datavalue":{"value":{"entity-type":"item","numeric-id":3612624,"id":"Q3612624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$4A6B1B97-B6A6-4E1B-AB91-916773F0EDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974d1f198a8d979a72c541959c750e0d0512ea5e","datavalue":{"value":{"entity-type":"item","numeric-id":4954443,"id":"Q4954443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$EAE3ECAE-D6B2-4474-AEE6-D5396052F9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164e164be4d75ec979fdc954e7e437e9cf684e41","datavalue":{"value":{"entity-type":"item","numeric-id":4236202,"id":"Q4236202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$0B58DC28-D699-48E0-91EE-6CD7360E3606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0188d0b062ce233e0f9cf2a92159d09920bb3a55","datavalue":{"value":{"entity-type":"item","numeric-id":2778822,"id":"Q2778822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$BE33CE83-F546-42BA-B776-9A31850475C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8496790a8bf966a77336e99f504c74dd8e43fdd6","datavalue":{"value":{"entity-type":"item","numeric-id":3204440,"id":"Q3204440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$1A8EEEF8-7ABE-4FCB-B7BE-976B19DED999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e93b7524b60bb9ab3f8d71fd24ac2451f79309","datavalue":{"value":{"entity-type":"item","numeric-id":1326769,"id":"Q1326769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$06547360-2C39-446D-AF2C-7845FEAE3CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9a53038a3e03bede13deef3624bad6ce441e04","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$4119A13F-7044-4F84-B00B-5BDA04CF6DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$F9467604-DD65-4CA3-8965-9D0E9C1114A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa835630938477c822be55302e9ff7c75f348e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$7A2939E2-2FC8-4C21-BB88-7F7EE235FB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$AFE1E7D7-023F-40A6-B2F5-5F76F2B2F998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$D138B9C7-F138-472A-B178-15737B397DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45a5ccff7799ef1ef32a13fc5f4bb5fdf5f4d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4254636,"id":"Q4254636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580321$4DBF2E54-7257-4247-B264-51E9FD4479B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e268013a2b619b7c21b2276357366cf3ebb236c","datavalue":{"value":{"entity-type":"item","numeric-id":4218109,"id":"Q4218109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"416f1c83a0dfb185e11e2069c063c48fc2820cab","datavalue":{"value":{"amount":"+0.7851740717887878","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":"Q4580321$29858476-3B84-4EAE-BC2B-BAB6C94D35E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f7b79de14babdb69672b856c46adf9f12776ed","datavalue":{"value":{"entity-type":"item","numeric-id":5432351,"id":"Q5432351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56adab54f3773bc367ffca7cd21c3654db07e28","datavalue":{"value":{"amount":"+0.7686570882797241","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":"Q4580321$C504112D-69D0-4F6B-B21A-6EE25498A6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af1ac89803161c951e5bd389a782119d7c1d9f1","datavalue":{"value":{"entity-type":"item","numeric-id":5170828,"id":"Q5170828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0576f4fde716250c963fb79f15c85d952c2c97","datavalue":{"value":{"amount":"+0.7681018710136414","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":"Q4580321$4A74D38C-DD58-452A-856F-461ECAC3AAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f814973f2cc21b2aa6ff68e6c5de6f3725cc9079","datavalue":{"value":{"entity-type":"item","numeric-id":4530146,"id":"Q4530146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a44fe765dc3d441346b50d10b89064bfd36b266","datavalue":{"value":{"amount":"+0.7680053114891052","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":"Q4580321$2D2E95C7-2F30-4A63-BDE9-67984FDAA8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23009ce55f8277af134c1b6790070733fdb97bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4583170,"id":"Q4583170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfde27e50444af940fe83bd2fed5a1d4c66a34ed","datavalue":{"value":{"amount":"+0.7612317800521851","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":"Q4580321$A26ABCF3-2505-496F-990A-7E7CC0587F17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580321","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580321"}}}}}