{"entities":{"Q3976042":{"pageid":6005939,"ns":120,"title":"Item:Q3976042","lastrevid":42293815,"modified":"2025-06-04T12:45:20Z","type":"item","id":"Q3976042","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 18638"}},"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":"Q3976042$DB0229D8-AA6A-4156-B111-A49F18199BFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4789df95d0c8bc672a16653f4abfbebe3e293eef","datavalue":{"value":"0748.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976042$A8573846-017A-4D94-9F82-AB64779BF047","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bb422b0a71c7373d6ef3f0283ecc33ac78f3208","datavalue":{"value":{"entity-type":"item","numeric-id":1083859,"id":"Q1083859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3976042$C1BD01A3-413A-42F4-A3E1-B2ADA1C725BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3976042$EBA936DB-4CEF-4A0C-A297-C84FE6256A5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976042$59CD060C-D980-4818-8353-E75D66B03E2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc99f53296cc8d873c4e7556f4f80a038ff08a42","datavalue":{"value":"18638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976042$FF1A9EFC-C98E-4BAC-B0AC-C5D4C90B85D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c467f21ae87719ff5fbe65ce9d6e0d1ad96360bc","datavalue":{"value":"normalization theorem for apparent redexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976042$78E6C5C0-74F8-4100-A89C-DBBD0495CF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c13eebe19b20c04d47652c45bc04efc4af0ef8","datavalue":{"value":"finiteness of developments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976042$CC06329B-7EA8-4548-8E28-8ACC5B5B6F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6a6d75828a20389b95fb4f379abcc0f827e58e","datavalue":{"value":"untyped lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976042$BF951753-8447-4A1A-9189-E47C20193B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b4f5ebeefad9987eac053d4f50e0ee1355e813","datavalue":{"value":"labelled lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976042$92C08F9D-BD23-48BC-9B8C-FD15E34718A8","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":"Q3976042$3571D7F8-05DB-49A0-BCFA-DD181456E78F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c05d8ceb30fb7dee16c2d6c4f9b7a6d009e0cb","datavalue":{"value":{"entity-type":"item","numeric-id":968531,"id":"Q968531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6d1490ba68f25ab1cc82b12b053737a01473fa","datavalue":{"value":{"amount":"+0.9094563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976042$B9DE87EE-245D-47D6-A1C3-2A1C89D0A365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca3215d2c5258272190aa79597315f220b7bdf7","datavalue":{"value":{"entity-type":"item","numeric-id":1350342,"id":"Q1350342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e241bf865bd57808dbbcc60c12dd0114ac361c7","datavalue":{"value":{"amount":"+0.8909342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976042$0AA47404-089E-4F18-815F-CE81F35E628E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274d10014aeb484d2d1415d368ee9b8d616af0ea","datavalue":{"value":{"entity-type":"item","numeric-id":4268465,"id":"Q4268465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e241bf865bd57808dbbcc60c12dd0114ac361c7","datavalue":{"value":{"amount":"+0.8909342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976042$0F3A22B2-4EBA-4FDE-B4C2-A7E206834CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91778186a62c77a43a7c67bdd3f40399596f1df2","datavalue":{"value":{"amount":"+0.8834115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976042$631F6547-9DE2-4778-9B45-F56DEE06346D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c369cbe60177c955fbf1373bef4d0bb4d5433ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5951522,"id":"Q5951522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f317e9a720c557160c009013f7fc2488609c43a6","datavalue":{"value":{"amount":"+0.87655413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976042$F66B8303-4B00-4037-BE0A-D18FF5EEAB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d364e57d8b57cf12e8f8fcb8d2a5972fc7cfca61","datavalue":{"value":{"amount":"+0.87639683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976042$78C6140B-BE25-4CCA-8931-B4BFD3A76DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d64560afda25ca487831391fec813ae6160195a","datavalue":{"value":{"entity-type":"item","numeric-id":4281474,"id":"Q4281474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e6d06fc745f5c1d7af4392917776efc5a503655","datavalue":{"value":{"amount":"+0.8637772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976042$12621FEE-E3D1-4C1A-BD79-7497CBC436D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec85779271fed97e87f11dda770b3487c3b1710","datavalue":{"value":{"entity-type":"item","numeric-id":4259974,"id":"Q4259974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc3787617b287f8e9eb1171e824d7431e0e757e2","datavalue":{"value":{"amount":"+0.86247814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976042$A6FB3F27-CB84-4E0F-847B-CAFD3583F9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f517522a2dd1f86a7dba59fbd07ac6f99b6a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":4001983,"id":"Q4001983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a5f69627b7901d5432424d88899beafb965c66","datavalue":{"value":{"amount":"+0.8621957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976042$5F6F217C-4669-4AD6-A657-22C2E8AB6DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7989bd58b0d52282e0155bc1479443b12b00c9","datavalue":{"value":{"entity-type":"item","numeric-id":294781,"id":"Q294781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faab43cc53b4343205da186308bf351659413d46","datavalue":{"value":{"amount":"+0.86206126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3976042$D46A7202-69BE-41EE-AA91-EE3E490E2B46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3976042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3976042"}}}}}