{"entities":{"Q4537518":{"pageid":6567110,"ns":120,"title":"Item:Q4537518","lastrevid":28713884,"modified":"2024-03-05T15:17:34Z","type":"item","id":"Q4537518","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1761899"}},"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":"Q4537518$49499082-6625-4F63-8FFD-AFB6AE81E547","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35265618c9ecd27fa0fd42e691bd8f15967de63c","datavalue":{"value":"0988.68531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4537518$33F39189-BA85-4123-A2C1-70F43C26E7C5","rank":"normal"}],"P16":[{"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":"Q4537518$E6E13258-5198-44B6-8485-516FCC317EBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0cc71ed348578604783485987e55d1614aa1f2f","datavalue":{"value":{"time":"+2002-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4537518$C8CD8E7C-A6EF-4C47-847D-CD0B7518BA05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4537518$91B0F335-EEC2-45F2-8BDD-BDC48D505EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4537518$DA7245F8-E136-4333-A42B-04D7814108DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b83f6c1cfb4cc2cded90a84fa0784ecbbd018f1d","datavalue":{"value":"1761899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4537518$9D4C202F-69EC-4F63-AC9F-494727F3234C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4537518$EC17A465-0F63-461E-A9A7-1D10A40DC183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"491e8725c8651263a210dc15dfabf985196b0a39","datavalue":{"value":"product types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4537518$BED7946C-2B7B-4CF9-87DD-C8AE8C6B6299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f5b38fb2a74b9d769b35f0082d509945130efd","datavalue":{"value":"fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4537518$E8A0274C-E549-4C3D-B958-56E3E811321B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4537518$554EC4A1-45F5-4287-BF7A-3A5D243B7CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f139f485bfbc0efef3240275c23790ec4be3d041","datavalue":{"value":"surjective pairing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4537518$FD69D04C-DA02-4A58-B94B-EE06FF42C480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba4f2132af082d1f8f6c26f957f6bd459d8c8044","datavalue":{"value":"confluent reduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4537518$FD5CFB42-8984-4C9F-99E1-B580D3018EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4537518$72D7F058-EDFF-47F9-ABC7-AE93209F7959","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":"Q4537518$84A0E5E9-E47A-44CA-8502-6E5A6D78F447","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4537518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4537518"}}}}}