{"entities":{"Q5089000":{"pageid":7118576,"ns":120,"title":"Item:Q5089000","lastrevid":91338539,"modified":"2026-06-04T22:55:04Z","type":"item","id":"Q5089000","labels":{"en":{"language":"en","value":"A Fresh Look at the \u03bb-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559267"}},"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":"Q5089000$A882B156-C6F0-4310-95D4-A052495470DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a5fc175548a252094d9a283c297268d69f866a","datavalue":{"value":{"entity-type":"item","numeric-id":897927,"id":"Q897927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$0758F78D-D1BC-44A4-BF12-CA8D1C6EC0B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089000$2FBA09AD-172C-4B37-B248-CFB2C734A1B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089000$4749DB79-8439-4676-8177-65EB5CFEC587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089000$196A3A83-5B7A-4CB1-9EE0-5ED591E9F736","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8bfd7211271142648d226612f623318a72d123f","datavalue":{"value":"7559267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089000$6AA7C313-1D1A-44A3-847E-BCD552490846","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089000$6DCAA2C6-BDCC-4116-B45A-A9DE31A67ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e53df307452a0f493e5ea7f340e6394fad21772","datavalue":{"value":"sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089000$387D3345-B780-49CA-99BB-3749A8F852AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089000$41C819B1-2D65-4B48-9554-E5C9C3F518D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089000$03F86F49-1C38-488C-ACC8-3C012D3E80D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089000$801FE958-1672-41C0-B1BE-89F8FF316BFB","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":"Q5089000$AC1243D5-8235-44FD-AA83-375CCFD256DE","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":"Q5089000$5D0802F7-EA25-4620-9080-79D6CFDC865A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$76C8A89A-6FEA-490C-AA19-4F64EFE72D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881b81f7bf66cd1b74c36866d3bcff62111e24a2","datavalue":{"value":{"entity-type":"item","numeric-id":5111891,"id":"Q5111891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$677950C2-F5FC-42D8-BF63-A7A277044B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d70c7fe596bffb03baa9c21fb0c5676ca6f17f","datavalue":{"value":{"entity-type":"item","numeric-id":3388525,"id":"Q3388525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$6648D06F-920F-4264-AA03-F9CF1627E491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc01d0021ff7d63b3958c1cc1049d6b6ae70fb7","datavalue":{"value":{"entity-type":"item","numeric-id":897928,"id":"Q897928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$32A73D6E-30A0-4826-97C7-973DBA8F7A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff432e362ec4e106692fac3995aa97a869128c","datavalue":{"value":{"entity-type":"item","numeric-id":2820681,"id":"Q2820681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$7CFAF7CA-F81A-4A23-8680-3AC47F95651E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8bc65856d4db9f0ed1cb9544fdad7ca8bd80d6","datavalue":{"value":{"entity-type":"item","numeric-id":1623116,"id":"Q1623116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$91FA5A81-46FB-4516-8775-074AAAEF2379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e207e093bc0b7d07405b2cf42890588e429e43","datavalue":{"value":{"entity-type":"item","numeric-id":2819700,"id":"Q2819700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$09319065-8F7D-4BE7-9244-2D24BBDB3B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"362675962d1938ba3874471a51de6f703c07e893","datavalue":{"value":{"entity-type":"item","numeric-id":3460910,"id":"Q3460910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$F54C48BC-450D-484A-9AD9-1274EDB6908C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736b927b44af9ef59d1147d2f70b5fea094590b5","datavalue":{"value":{"entity-type":"item","numeric-id":5408457,"id":"Q5408457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$201359E0-6C6E-42D2-9C25-AAB6AC582F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7c2965e025f2e44f633931fc66c0e670ed0f76","datavalue":{"value":{"entity-type":"item","numeric-id":4635799,"id":"Q4635799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$052A2118-9DFF-4B09-8991-EDA37A28697A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93abc8cbd64c4f911c19d33976e4cb7d84713d0","datavalue":{"value":{"entity-type":"item","numeric-id":2401632,"id":"Q2401632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$7DEA2CB4-F20B-4CBB-B47B-BFEBBBCAB37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0727f3a0520dc2e660832037f7e16285269086","datavalue":{"value":{"entity-type":"item","numeric-id":5111892,"id":"Q5111892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$EC82D1B8-9A40-45D4-8355-5633C2F8236A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55eaf870926bb49d2ce288fcc4e44fd13c4c4c9","datavalue":{"value":{"entity-type":"item","numeric-id":4635589,"id":"Q4635589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$429F993B-EF67-4592-AB0F-44948DE6CD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cec3adab929cf6aae81987582e38a2192f7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2794671,"id":"Q2794671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$692504A4-1CD4-4C9F-AE2D-F926798DC9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee97b3bcd9f273f766cc2fc91de8c53013b04c7","datavalue":{"value":{"entity-type":"item","numeric-id":5120229,"id":"Q5120229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$18D20FFC-ADDF-4942-856C-5447DFB428C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab84e9c16bd8f4b2d2751db91ba0f2270e2fe090","datavalue":{"value":{"entity-type":"item","numeric-id":3179293,"id":"Q3179293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$F691BED2-CB6C-48C6-A188-E47B8EA96762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faee5cc3c769a982db0b4e99b526b9486a8b9e6b","datavalue":{"value":{"entity-type":"item","numeric-id":2093145,"id":"Q2093145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$9D3D5A5B-9DF1-4C44-9CDF-B54AECF141B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a8d6adf4603d386e03746d070a88c88fdfcac88","datavalue":{"value":{"entity-type":"item","numeric-id":6166135,"id":"Q6166135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$A6FC1489-49FF-4986-90A4-0C2E4E5CDBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27eecdc9b3a54cccaf71096840df1786299da2c9","datavalue":{"value":{"entity-type":"item","numeric-id":6070792,"id":"Q6070792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$4F2D8E3E-D24B-4574-9570-79F62B25A03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc59eca403e6d7ac2b4d4f9d044a3b60310a392","datavalue":{"value":{"entity-type":"item","numeric-id":2900255,"id":"Q2900255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$8EE572AA-B0DE-42E1-9826-308A0CE96A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3907787f92038892e4b3baf1bb47800a1bdad513","datavalue":{"value":{"entity-type":"item","numeric-id":4977225,"id":"Q4977225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$7CE64049-FDAD-4241-A137-5BC578426992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e64e7f5fe92efa0481f27c6c5b93daeafac49f6","datavalue":{"value":{"entity-type":"item","numeric-id":1854460,"id":"Q1854460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$1D4CF325-CD3C-45D1-B615-251F0D9F9A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a553fedd51b2b7ac5a3e7474152ecb075ea6aed","datavalue":{"value":{"entity-type":"item","numeric-id":1827389,"id":"Q1827389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$8BF7A0C2-DC0A-4145-9939-67AEB116A68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c1414cd9962fbd399a92ea473a6510c885053d","datavalue":{"value":{"entity-type":"item","numeric-id":5111304,"id":"Q5111304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$44E109DC-FB8A-4D27-B2A0-520C1109C15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843a825634e9bc89e3e7a2c65a06b1bf072573c7","datavalue":{"value":{"entity-type":"item","numeric-id":5410667,"id":"Q5410667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$2D7A2368-E54F-4037-A64C-BBDB4BD6AAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f669abfbc37b840adcaab6ea4ed7b614f4fd528","datavalue":{"value":{"entity-type":"item","numeric-id":3000619,"id":"Q3000619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$8E71EC36-6EFD-4198-811D-273F1572639B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48136bae4e65d58ad3fee0ff45f72fb61a48c6e3","datavalue":{"value":{"entity-type":"item","numeric-id":5300897,"id":"Q5300897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$7A394E8A-06F5-4184-B7BA-2107283C2F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c695880cf338a015de77cbf0ba509fe33dac810","datavalue":{"value":{"entity-type":"item","numeric-id":2464720,"id":"Q2464720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$AEA63BC7-2880-44D8-AE05-73C8052520A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$92B6122A-13FF-4D56-ACEC-C06067A94373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3ca23894b3ffe90c195f250f318fd879e9e732","datavalue":{"value":{"entity-type":"item","numeric-id":5898807,"id":"Q5898807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$87050901-F6CB-40EF-A254-17E499729145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33bd48d92c2282eb7638de096c367fa9cea77eff","datavalue":{"value":{"entity-type":"item","numeric-id":5747633,"id":"Q5747633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$C0991F5C-D594-4DCD-9BD6-056EBD145F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75889458cfdd49fc95c0cae5eaab3e9767bc37a0","datavalue":{"value":{"entity-type":"item","numeric-id":3638093,"id":"Q3638093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$33A0D299-045A-443F-8A90-8AE2D70B7A37","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":"Q5089000$E9B34436-FA74-4745-99DE-DBDDD158D8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99fad36f552f6c9f003614420eedba916456aa8","datavalue":{"value":{"entity-type":"item","numeric-id":4577984,"id":"Q4577984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$96EE8B8B-5611-42FA-AC83-564201309CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1245adc65c7a6a43c03977a394ea4c343893ad84","datavalue":{"value":{"entity-type":"item","numeric-id":534698,"id":"Q534698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$CB9914B7-FDDC-4245-8BE0-E231E97432C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ab1cfed77cc0d5be8922df711324ecf8a7e5eb","datavalue":{"value":{"entity-type":"item","numeric-id":5441124,"id":"Q5441124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$5BFF4243-7033-4CD2-A5AF-B0B9AEC82062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f28ba5aef8ebb12b26ba5919157452fea70107d","datavalue":{"value":{"entity-type":"item","numeric-id":4649551,"id":"Q4649551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$19A6333D-4C00-4D13-9AC8-FE6430FE44C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e88ca50855d33952487c55dbba1071db8d22510c","datavalue":{"value":{"entity-type":"item","numeric-id":5276137,"id":"Q5276137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$1E299222-7D66-46F9-B329-700CDB8C48DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$7183AF13-8F46-4BCB-90CA-A1757E6B2648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901ba45472e1a0a3be8b2e40215973355027ef09","datavalue":{"value":{"entity-type":"item","numeric-id":2949209,"id":"Q2949209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$F6FD49A1-FB05-47B0-BF2A-820AB561BB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d098aa06913d7a29ab62deb380c4bfe1d1dbc43","datavalue":{"value":{"entity-type":"item","numeric-id":3637192,"id":"Q3637192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$DAA4FAA3-848D-4F15-B6FE-678D19A45B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aff391d2d2425c5869f8f09db3dee3055a8b33a","datavalue":{"value":{"entity-type":"item","numeric-id":5168930,"id":"Q5168930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$C7E49170-1CFD-4213-B85F-F5F6007CF3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74c41ea929505ef6f565669a4cb2bb3fd37a959","datavalue":{"value":{"entity-type":"item","numeric-id":2811356,"id":"Q2811356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$30798940-9381-4735-83A8-CD9653458023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$A9708F11-726F-4BCC-9817-716C79472458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ff8d61329145c82d13d9d25665563352a89931","datavalue":{"value":{"entity-type":"item","numeric-id":5348907,"id":"Q5348907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$26984EF2-668B-4B3F-A193-BE6BBB2492D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"775337f56b301e1e0fc39660e51eb81c15747b92","datavalue":{"value":{"entity-type":"item","numeric-id":4635620,"id":"Q4635620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$36E3C1BD-27A2-4964-B13B-73F720E6DD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8a32843998f49ab911d7dcd038c5c7e053c623","datavalue":{"value":{"entity-type":"item","numeric-id":4635836,"id":"Q4635836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$08C79582-D373-46CA-A84F-D4232F3F0F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a2b9f18ec546e00cf26c8d63230eb3ae1b5d40f","datavalue":{"value":{"entity-type":"item","numeric-id":5370917,"id":"Q5370917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$CAEBD8E2-71F9-45CD-BBFD-62840D0BC9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1621b9ed49fbaf7b5b203bdb96207b475780b546","datavalue":{"value":{"entity-type":"item","numeric-id":5897769,"id":"Q5897769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$197C7170-E7D2-457C-8AA3-BC0132D7B504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfdd91e659b4b4ef923bfa979109e4affebd5ad","datavalue":{"value":{"entity-type":"item","numeric-id":3540182,"id":"Q3540182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$D0DBBBC7-3274-42C2-AD1C-19C107812618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b19591e04d0efb2742c73e0f78dba0d1432d47e","datavalue":{"value":{"entity-type":"item","numeric-id":2904629,"id":"Q2904629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$10CD5847-5E27-4A14-B75E-78F8E62DB579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fceb78452b0675e82e00e35fe3b8b2e7312238c3","datavalue":{"value":{"entity-type":"item","numeric-id":5144659,"id":"Q5144659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$6057147F-CE37-4528-B801-EB454BAC5470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa16ee0b007585cf9333b084e425b8a8bfd9904","datavalue":{"value":{"entity-type":"item","numeric-id":5271067,"id":"Q5271067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$395F5F31-516C-4929-9C27-69A93BAA56E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fac890762b0a99afac7f1a9937173c99b1fc396","datavalue":{"value":{"entity-type":"item","numeric-id":4501671,"id":"Q4501671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$8C714035-26E8-407E-981A-5F217DE1661B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92feaba57f05436346769947d4e90feb503ac7b1","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$A4AFB8F1-4286-48C9-B54B-688EC1F82759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfe4964a46d9b5ae61ca298ddf701e390f98625","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$82BD129C-1EBB-443E-B334-166780BF4396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"879ffd413e7b1e459cd59e4e2f8fcb99347eccd7","datavalue":{"value":{"entity-type":"item","numeric-id":5351948,"id":"Q5351948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$EE2826A9-5C33-482F-99DF-D53B8F8ADC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$7070686E-716B-4D89-8DAD-5615A07807FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d4380a0bd4cb8224cffd727faef6e764f5e902","datavalue":{"value":{"entity-type":"item","numeric-id":2866344,"id":"Q2866344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$D36C0EA1-9AB5-46E8-8462-10E71365A940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$5240F4DD-AB9C-4127-8FC5-71DF753A07D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$0A123670-A2C2-4F2C-A459-6846E6C8C4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693bf5d49b2dc1c71923779a46d08e2176174e00","datavalue":{"value":{"entity-type":"item","numeric-id":2753690,"id":"Q2753690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$91FE46AE-DE17-4E80-B41F-8C8919DBD4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"991ae0236de9ad85accec68bc178feb638845f43","datavalue":{"value":{"entity-type":"item","numeric-id":5111200,"id":"Q5111200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$7F427C27-8DB4-4F4B-B0EB-AB2CC2E91DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261109d22283aa609f05caa89a99c93ee0c9238d","datavalue":{"value":{"entity-type":"item","numeric-id":4448358,"id":"Q4448358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$24C25CA8-79D5-48CE-A742-4885CF0A4181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0225f033d46261505e426bc2e285ba677ea904","datavalue":{"value":{"entity-type":"item","numeric-id":4953339,"id":"Q4953339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$3970B52B-D0EC-4C5B-BE4A-450F36EFF48C","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":"Q5089000$CFAA2316-7F32-4B1D-8404-4A2CA4FDDD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa56ee55ee08ce37d14abf355cc8adb74cee1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1887148,"id":"Q1887148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$412D90D8-22CD-4206-9B89-B5E55D524DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1edee203e7a439bc4100ad982c678cedc9b35d2","datavalue":{"value":{"entity-type":"item","numeric-id":2817680,"id":"Q2817680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$15D56627-B444-4496-9BEA-D121AAAC8DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ff8fc56277b05adf8ad4a1fd54052eb343589c","datavalue":{"value":{"entity-type":"item","numeric-id":4414725,"id":"Q4414725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$FD6A6ADE-7C71-4DD4-9196-EAA1CFC9D934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e197ebaddeb9b57530afbd8a0bb07095fe1718d","datavalue":{"value":{"entity-type":"item","numeric-id":3613366,"id":"Q3613366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$6AFDBD6F-C00A-4126-A303-A085B4A9B606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80b1ce6c7c55e134225781cab112803b76b1488","datavalue":{"value":{"entity-type":"item","numeric-id":4358457,"id":"Q4358457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089000$350F12E1-E920-48BB-84BF-7524B23AD7A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ef2d66d73387ae74ff6b2e5bfa7397429bc6ae1","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-02415786","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089000$89C5883F-7CC2-4D39-92A4-B8C73F5A1BAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba3706b6c813267bec15d1ff2e5ba2cbcb4a5b2d","datavalue":{"value":"W2998508153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089000$08F5C60C-4DC7-4CC5-8B9A-A5B90A971562","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fb20d4fab83552f4643260ed59925183fb74115","datavalue":{"value":{"text":"A Fresh Look at the \u03bb-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089000$6610969B-89FE-48EC-A1D4-466DAF36BD75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7064ae9715d5191342e0103effb19d9dcaed8a4","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089000$AAF51D5B-C6D9-49F5-AD18-0DEA901729C6","rank":"normal"}],"P1643":[{"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":"4add16e631cdd8ece3b1fb3e652216efcad90650","datavalue":{"value":{"amount":"+0.7544360756874084","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":"Q5089000$2757A18B-405F-4ED8-A0A3-CC764384D25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ffa585547f2cd25c61e589567dd1ffab529a87","datavalue":{"value":{"entity-type":"item","numeric-id":4635589,"id":"Q4635589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b599ab9033325808186775cbe432f04d6b4f6bf","datavalue":{"value":{"amount":"+0.7484269738197327","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":"Q5089000$D54C633F-9DFB-4B5D-9CC0-B2EED45DA5BB","rank":"normal"},{"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":"8ea4ed7bc8f59f7250368835409c46d1a59f17f3","datavalue":{"value":{"amount":"+0.7443186044692993","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":"Q5089000$82F913C0-F8A9-4C3C-A93D-833101EA9787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cb4078fd2ca4380d1999e6c7395ad56b13cf09","datavalue":{"value":{"entity-type":"item","numeric-id":2794671,"id":"Q2794671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd11ac278914aefc1278da70243d358a21729f9","datavalue":{"value":{"amount":"+0.74391108751297","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":"Q5089000$2D15F7FE-00B0-4B1D-81CE-C6537BF4F032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683fc71f98b5813b84ed29294094da4d6b8cfd3a","datavalue":{"value":{"entity-type":"item","numeric-id":4843179,"id":"Q4843179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369af3748cb215ae633b33ecf59195db7f304385","datavalue":{"value":{"amount":"+0.7420256733894348","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":"Q5089000$AE2F0093-659E-41C1-86B0-4A66B4DFE067","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Fresh Look at the \u03bb-Calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Fresh_Look_at_the_%CE%BB-Calculus"}}}}}