{"entities":{"Q1349901":{"pageid":1360640,"ns":120,"title":"Item:Q1349901","lastrevid":67204632,"modified":"2026-04-12T16:01:37Z","type":"item","id":"Q1349901","labels":{"en":{"language":"en","value":"Combining algebraic rewriting, extensional lambda calculi, and fixpoints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983813"}},"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":"Q1349901$C98D9C84-70D8-485D-A70C-4230D0D3AFD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f97a8bce5f81951f47cd597bbf3b0850f7594adf","datavalue":{"value":{"text":"Combining algebraic rewriting, extensional lambda calculi, and fixpoints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1349901$63928AC9-B438-4992-B18A-FB58220980D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89049871bef559550fdb7e502578b5db29d905ce","datavalue":{"value":"0874.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349901$9E6D8558-7DC1-4004-81D1-90E631FAD535","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06533481b9207a8910e391ced507afc842d6f5f3","datavalue":{"value":"10.1016/S0304-3975(96)00121-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349901$6965C65B-2812-4968-AB6A-472CF7345494","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$88900FAA-2886-4CFD-9AE8-B2757152BB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$B1295B9D-9C46-410D-8717-CB4ABFDBA19F","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":"Q1349901$3CEC9A04-97C5-4C83-B82A-CE10C5B49F44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1349901$A33DC3C1-BAA8-4302-8861-38F00E1E726D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349901$21830623-381F-4E00-AD7F-49B3F93973BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85d125321a3b7213b63c6ca9fad84e650f855d9b","datavalue":{"value":"983813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349901$A3753142-4498-4FD4-BA23-517A05E60847","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":"Q1349901$2B17734C-6CD1-4FFA-9718-7CEFE3B8909D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daf7bad1890a034b4e71a6cde1221dcde5a29c5","datavalue":{"value":{"entity-type":"item","numeric-id":4281490,"id":"Q4281490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$891D9AF8-DA18-4AD0-9E0A-9F706C17A022","rank":"normal"},{"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":"Q1349901$C7780AD0-9FF4-47F8-8077-DEC6CBB11AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb96fb7fe69adf25841ec11cad0a036fedd3ca91","datavalue":{"value":{"entity-type":"item","numeric-id":1176244,"id":"Q1176244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$3A95AA9B-0173-4CD4-8E75-2143EC9EF81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aed163fa47586d6760e996c78b547299a8e45c4","datavalue":{"value":{"entity-type":"item","numeric-id":1336046,"id":"Q1336046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$0B157414-5F49-42A2-A623-EF1DDC98EAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d318da55de3f531193a364d562784327d78648c8","datavalue":{"value":{"entity-type":"item","numeric-id":4036571,"id":"Q4036571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$A4CF1712-ED44-4515-B053-AF65EA0EF7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$23A1932C-95B7-42D3-941B-376171F3F173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbc1c92f9569f25eda43c06e11022416e14d982","datavalue":{"value":{"entity-type":"item","numeric-id":4632448,"id":"Q4632448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$1AAD6E16-728F-4B37-82DF-0485403DF97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ccfd968af8cb773cbd0325ee3bafe2e06f78e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4322432,"id":"Q4322432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$1F03509D-9DFE-4976-8C81-F97BDEF2AB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d888f9a9bf6d1962e3fd93c776cc5efd40043e","datavalue":{"value":{"entity-type":"item","numeric-id":5055791,"id":"Q5055791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$DDAEC4D7-288B-45E9-BFEC-762EF98B1F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d5bf17a767be3c2d2fe0e26f029368df3acb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4850162,"id":"Q4850162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$3C7F0D58-BAFC-4C69-AD34-9FBF1F885F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e054dc5c627c624b017a498debf02f5214e3a91a","datavalue":{"value":{"entity-type":"item","numeric-id":4537518,"id":"Q4537518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$CE37ABB2-F487-44B4-BEC5-3E11DA21B83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$FD1F5A39-BA07-4EC8-A986-73FF91005767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$C3188B60-7824-4FE4-8574-35787A9FCDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388d6d8bedfb9883d2de8ce73620980a36e5e759","datavalue":{"value":{"entity-type":"item","numeric-id":1229201,"id":"Q1229201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$819D81A8-63B8-408E-8440-B5422A8406A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9df63191e117e98445c65ec498daee7c4b8d612","datavalue":{"value":{"entity-type":"item","numeric-id":4145693,"id":"Q4145693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$E68E0041-D3AD-4967-BF84-C8F80F28E092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab1577738caf45933796ddfe1e49621007507c2","datavalue":{"value":{"entity-type":"item","numeric-id":1089793,"id":"Q1089793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$AC247CB0-B242-47B5-9B27-233E2F72399A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4935ad48e4266d08c483ec2131b1e0a201050d","datavalue":{"value":{"entity-type":"item","numeric-id":1392147,"id":"Q1392147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349901$7C35F8B6-B3BC-4660-93E8-81492395A139","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a885762a0dea866ecaae8969db5ac5ec05192fc","datavalue":{"value":{"entity-type":"item","numeric-id":4632448,"id":"Q4632448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd66d1fc0ffdf1d974a2cb33ed013a9fd09cbcf1","datavalue":{"value":{"amount":"+0.9707643389701844","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":"Q1349901$673F80D3-865F-4303-9FB2-1AB78A13E2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07ea29f34a0ae3c3bb20ee1e6b731c59ab57a81","datavalue":{"value":{"entity-type":"item","numeric-id":5055747,"id":"Q5055747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044efd87888b5ef77b17a10ef0dd4ce7e06eda25","datavalue":{"value":{"amount":"+0.8253366351127625","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":"Q1349901$1C18DCE9-597E-4CAA-B252-BB1F9E986285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114941f7931c3b195587f701beb9e1579622913a","datavalue":{"value":{"entity-type":"item","numeric-id":1207945,"id":"Q1207945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc2a8c948fe40437df9353c4693945d69a06d08","datavalue":{"value":{"amount":"+0.8243328928947449","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":"Q1349901$ECC732FB-074E-4D18-BCC7-354EBB465D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5178de57625deeef6f421d0d43375c1cd7d0cd81","datavalue":{"value":{"entity-type":"item","numeric-id":4571956,"id":"Q4571956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3014e4b4b1afe1b2d096f185aa438e14f41fa527","datavalue":{"value":{"amount":"+0.8195540904998779","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":"Q1349901$444CC197-0CA1-42AD-8135-6EA13D90927F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ad3551fb745cf52b15d1a7a6bcc7a82129a4d4","datavalue":{"value":{"entity-type":"item","numeric-id":4205074,"id":"Q4205074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a42ccccb6b5fe0a05986cc8cd60cced7dc8d42","datavalue":{"value":{"amount":"+0.8182159066200256","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":"Q1349901$EFBC0C78-5227-4E25-8C5B-9FB33F5D508D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining algebraic rewriting, extensional lambda calculi, and fixpoints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_algebraic_rewriting,_extensional_lambda_calculi,_and_fixpoints"}}}}}