{"entities":{"Q4381706":{"pageid":6411305,"ns":120,"title":"Item:Q4381706","lastrevid":46957578,"modified":"2025-12-25T22:36:16Z","type":"item","id":"Q4381706","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1136648"}},"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":"Q4381706$11A454B2-604E-4634-8F46-1A27F9B2459E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b84e692825794fe61f16ae919419b1130f7129b","datavalue":{"value":"0890.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381706$18EBB31E-B653-444F-833B-F1C504DB1869","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02e0ea8672a19da323d4689ae7e1a0c87afc535f","datavalue":{"value":{"time":"+1998-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4381706$3BF765AA-483F-491A-AE2D-DA1FA42CF97C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381706$6ECA7EC9-0BF3-483D-AC4F-253C1EA2343A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381706$55632D26-13F9-4D30-AD2A-F89E28C10111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381706$1167C681-500B-439B-913A-F597357592E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64fe1bcce112aae02bb93fedbc7611f754c13fa8","datavalue":{"value":"1136648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381706$D534697D-D2E0-4B64-970B-0A2221353DF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6a6d75828a20389b95fb4f379abcc0f827e58e","datavalue":{"value":"untyped lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381706$4B153632-7B28-4241-816D-165463758CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381706$25E4776E-51C1-4D19-BBAB-5E6523E7E747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a244417629cae43885a1dc06845ea4d0233ca906","datavalue":{"value":"lambda abstraction algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381706$CFA6D52E-8FC1-415B-AF34-A4FA79320910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63d38d471deb3c632bda364a395f9ea9da74066a","datavalue":{"value":"abstract substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381706$358AEE5F-5DBD-4B93-946F-74938D71EDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8ad82b8ca18b999d62abbd0f387c5f2d13f31d","datavalue":{"value":"lambda models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381706$0DE295C0-D1FA-4107-A425-D8A5B70930DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"417dc58c37d75bfde881517ce3bcd5891daa2f6c","datavalue":{"value":"combinatory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381706$F5362197-2FAE-4596-ADBB-17D1E3972539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c11e9062c022003623eb8571734654b4f5601ff","datavalue":{"value":"functional representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381706$95A5A173-5EBE-48F5-9CA4-FFE201D627E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"423ea4d0e2be16145702233b5f78fdc515ee981b","datavalue":{"value":"categorical equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381706$DD8E1643-0E17-424E-8CEF-85F3D32A6946","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a53629355a87f6eb2c4dceb6664166a14249140a","datavalue":{"value":{"entity-type":"item","numeric-id":673382,"id":"Q673382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381706$BC549B55-21FA-471E-A8F9-865847AC104B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e73a6f6ccb7e8687faa022e777bcbb77b1f201","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381706$F3B6A8FB-4A66-49A8-A800-B732A7E960B3","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":"Q4381706$107C6562-5278-41CB-940A-C247906D2814","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612d9f9c068b370b224708fe22696ecb30fc505b","datavalue":{"value":{"entity-type":"item","numeric-id":4260390,"id":"Q4260390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a3704e51538ed7c1375bfb4eb5b0398e952f4dd","datavalue":{"value":{"amount":"+0.92461359500885","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":"Q4381706$4D6EA4D8-AF90-4FD9-8357-36B434E9CCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7973d4479f365ce54114273d57f1419ba959ca12","datavalue":{"value":{"entity-type":"item","numeric-id":4835611,"id":"Q4835611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9d2c1da45d5c3da314f3fa6e68917f989f4487","datavalue":{"value":{"amount":"+0.9085325002670288","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":"Q4381706$B3F68AD2-5C9E-4644-BCA7-CD49DFE3615C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f97be10d1f47f98ef5081027b7aed67adfc82f7","datavalue":{"value":{"entity-type":"item","numeric-id":674002,"id":"Q674002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2597540ccb8902d4bb2a2a0afc04b6f7ab82b96f","datavalue":{"value":{"amount":"+0.906619131565094","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":"Q4381706$5E9BD39B-C3D8-4D33-AF00-7C0F52765822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301b8dad2e6de9e4ec1ae05ad1c79dbb8ddfe649","datavalue":{"value":{"entity-type":"item","numeric-id":3837997,"id":"Q3837997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b3e7d21d751724e4a5017a91358e4b0924de1f","datavalue":{"value":{"amount":"+0.9059559106826782","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":"Q4381706$B4A725C1-EBA0-47B4-AE3F-7246E07E6708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5cd07706262dcb1f67c7563cca109a1116a8e3","datavalue":{"value":{"entity-type":"item","numeric-id":1583488,"id":"Q1583488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eaf68591d3a019e59a945c0cee4d74c77f308fe","datavalue":{"value":{"amount":"+0.8887811303138733","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":"Q4381706$8A514EDD-867C-4430-8808-C62BC717C047","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4381706","badges":[]}}}}}