{"entities":{"Q1283777":{"pageid":1294527,"ns":120,"title":"Item:Q1283777","lastrevid":70575525,"modified":"2026-04-13T15:33:14Z","type":"item","id":"Q1283777","labels":{"en":{"language":"en","value":"A finite equational axiomatization of the functional algebras for the lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1271055"}},"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":"Q1283777$524BA0AD-D3B6-48C1-8B74-2AD167AF3D20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0692055a632faa22cbc7611a4df108323adffc59","datavalue":{"value":{"text":"A finite equational axiomatization of the functional algebras for the lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1283777$D3A6E876-4058-4A53-8E1B-7D099D5595AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"658cc2cddc35779a3d7c0187e6649ad44d422b7f","datavalue":{"value":"0920.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283777$9052E92A-BEE1-46D1-BA05-4467A2504D6A","rank":"normal"}],"P16":[{"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":"Q1283777$2B7EE65D-887C-4859-86EB-2E6CACF00ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$2B4EE643-49D9-428E-B0EE-5F8D19A55927","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$BA5D9D0B-BC5E-41DE-8E42-17DA44E271F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec2ec3e16c2fb522ae6bb7f5c1e33f40a82b0e3a","datavalue":{"value":{"time":"+1999-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1283777$33CBB051-ED1E-4173-A7F1-3412F1A429A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fad1694c869652036f9d94f115153247a890f9f4","datavalue":{"value":"https://semanticscholar.org/paper/305aa194da6be7d0e62e90ced414b0a50dd8883e","type":"string"},"datatype":"url"},"type":"statement","id":"Q1283777$6B0D04F4-24C7-43E7-8866-494810D1D02C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283777$09BCDD3F-BF38-4D3B-B6C1-3B4C6A969886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283777$3B5E6455-E394-4D7B-9E84-D1A18DAB4E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283777$3B08D752-FADA-4C5C-ACEE-95C163D90985","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"766ac274a8dffc400665665ac7890bf5e4ac5f4d","datavalue":{"value":"1271055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283777$966BBC32-6DB6-4251-853E-C145D4B5919F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b6b0a52c3931ba4e7f7d72c4da0f85d80fd4ef","datavalue":{"value":"equations between contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283777$E1AF7223-5F44-4CB4-BB85-C9A9988F1002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63d38d471deb3c632bda364a395f9ea9da74066a","datavalue":{"value":"abstract substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283777$B24C50C7-E902-4959-B68E-7B04249F60D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7905c5703e19d29b46e130a724ca1f90963325b6","datavalue":{"value":"combinatory algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283777$DC7A54D4-A233-40FE-98D6-24E56D366316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30ea1b28b41be5e05a45cd514128b6d0934fdf1","datavalue":{"value":"finite equational axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283777$3223B822-4284-4A67-8100-23EE9714972F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0253c57ff9bf990e921e427d2c6bfe23cb63e46","datavalue":{"value":"variety of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283777$6DEF0AA8-D7B3-4905-8BC0-CAAA83E157F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283777$0F5ADCDF-A980-4057-9129-3A72CFF72B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc923367d5c770406d1a4fc86e28c227f19d989a","datavalue":{"value":"functional lambda abstraction algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283777$08FA76FA-D2DC-4BE5-8D6C-9DA06D313D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1daaca2154dec79397a1455880f1ba4a89234c1e","datavalue":{"value":"environment models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283777$98A6EA69-3A77-44D4-B853-981F18209E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8ad82b8ca18b999d62abbd0f387c5f2d13f31d","datavalue":{"value":"lambda models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283777$140AE21C-5860-472D-AE60-FCA5619C8D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283777$56AC44E4-AD76-4CC7-B40C-2230E38812B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"067d369d93cae122c4882895e84404690fbca194","datavalue":{"value":"infinitary lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283777$A532D413-C285-4A91-8082-76A990663945","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":"Q1283777$2F1FD03D-3959-4247-980A-07EA7822C2CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7037b6184a291e1c93712a0e1b658227a27b695","datavalue":{"value":"W2021900929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283777$5847BBD0-123A-4012-9FE9-5010623AD1D2","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":"Q1283777$3839C5F1-8116-485D-8D81-D32E8EBC1650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$99C65D90-BE9E-46CC-B529-345E51A5AFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebba86ed9edf4e56b67a148971a3ef285ab512b7","datavalue":{"value":{"entity-type":"item","numeric-id":4896520,"id":"Q4896520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$F0B08AE9-0042-4FBB-B571-EEFB02F3977E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224e4ef503881d3b157f8b295ac880fcf8bc9b10","datavalue":{"value":{"entity-type":"item","numeric-id":3837724,"id":"Q3837724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$1596BCA0-DB46-4C34-8EB2-A818693BF4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$5011A641-7F5C-4BFD-AE6B-98CF03C30B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$55C10974-0E38-47AC-AB1B-BBC958CEEE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$23C42E76-D6FE-4215-9162-567105631495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7f4e5a9d69eee26c68bbe0829c0b4fe608ebb9","datavalue":{"value":{"entity-type":"item","numeric-id":4260394,"id":"Q4260394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$76BB2053-8A40-497C-A276-D86BEA8472CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad61285ba274cd91e827670915047392dea37ea","datavalue":{"value":{"entity-type":"item","numeric-id":3956941,"id":"Q3956941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$8678BEFB-0D03-4233-AFE7-22C3FFA6DC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f95bec4b2c11d4bf622732f28246613e0bbacd0","datavalue":{"value":{"entity-type":"item","numeric-id":4217595,"id":"Q4217595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$30987038-95C4-402C-ADC8-C6935CF1AED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b608eb54629b00779381700fc0037dc4179ed54","datavalue":{"value":{"entity-type":"item","numeric-id":1129261,"id":"Q1129261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$DD5A6882-2FF0-4867-A372-A02240BFB969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$5B19B88E-B967-4AB3-8F88-33E8BD573CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$2137305D-33B5-43F9-80BC-DB0A82F1C22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$DC748032-AC35-44FA-98C5-6E45CA2FBE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbcd3074c470d4a46db67b3dfaa02f9246b5be8","datavalue":{"value":{"entity-type":"item","numeric-id":1170185,"id":"Q1170185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$42AB0A43-0405-4CD4-8076-5FFEFFD9D0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$9009E62E-B5D9-446E-93AB-B3B7F38C7734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a5e7f94427d670644e085b2be0d1c199024796","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$B7F05DB2-84F5-46A4-A70E-CA6727C097DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$7DEC397E-FCDC-4971-BCC2-E85FE01C26B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0cde258e16ad0b04471de2a47d4d5c37b1baa37","datavalue":{"value":{"entity-type":"item","numeric-id":5678849,"id":"Q5678849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$8D960D96-717C-4E16-91CB-862EC46219F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$7F1FB11B-4332-417E-A25D-4807B6EB4CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e43f784716a014f37546d3a4d6870aa0b11fe","datavalue":{"value":{"entity-type":"item","numeric-id":4744243,"id":"Q4744243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$0C6B5E1E-7834-4920-AB0A-58D18D311832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56a3dd01c8b6900f334f9840cdcfd260af63be5","datavalue":{"value":{"entity-type":"item","numeric-id":1189899,"id":"Q1189899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$6BB7DB44-77F2-4883-B051-5AB16E706852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83bf7e764843684610edae08b166a258e6b8103","datavalue":{"value":{"entity-type":"item","numeric-id":3659756,"id":"Q3659756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$753F0D11-C120-413E-8C65-B67F801FF77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff46760a2ef745ee2bb7c9c94f48a015dbd5e4f","datavalue":{"value":{"entity-type":"item","numeric-id":4835611,"id":"Q4835611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$21FDCF04-9461-43C5-95E0-9C684FF81F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574a716f4771b72810d77e9676d297d100e5bec2","datavalue":{"value":{"entity-type":"item","numeric-id":4260390,"id":"Q4260390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$88FF90E9-5640-4C2A-B02B-A537BE91C6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9eaff64990526eb85f89a7a24ea87cb77eaa3cb","datavalue":{"value":{"entity-type":"item","numeric-id":674002,"id":"Q674002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$A7085ABB-5DBC-4617-A3BD-5449BA31ECD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9e1beac0919d070bbbcdf5245d9cb43977ffaf","datavalue":{"value":{"entity-type":"item","numeric-id":1896759,"id":"Q1896759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$A2040DF6-91A4-4F25-9A2C-6C9E6AF6641C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05e0702af8da0e2b8d7035d83d466a63619e8877","datavalue":{"value":{"entity-type":"item","numeric-id":3837997,"id":"Q3837997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$7D45CC0B-FF9E-49DB-ACA4-B83CF506B474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc81ccd03f119232c1e98a817ed99981867d552","datavalue":{"value":{"entity-type":"item","numeric-id":5681999,"id":"Q5681999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$EC6A83FC-88E3-4535-8C99-95EB209F7655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d993bc865fa34a3501c451adb006b10731ed4cb6","datavalue":{"value":{"entity-type":"item","numeric-id":4011732,"id":"Q4011732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$A5C4CA26-2AD9-43D5-A314-7EDF62022D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$A95800EF-C038-4C21-98AD-AAF1546C6574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17695e225aa63c7d95318b417de6aa4b6f4f2367","datavalue":{"value":{"entity-type":"item","numeric-id":3661543,"id":"Q3661543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283777$9E87C1AB-57F1-4A69-9ADC-8B935233DA97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8e22f17613c23ee02404c6ef167f8c98fbdd7d2","datavalue":{"value":"10.1006/INCO.1998.2745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283777$593BECD4-10F4-482E-A74B-01742ED9E8DE","rank":"normal"}],"P1643":[{"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":"8fa6a326518bfd0afba549cb53682e24f79524d7","datavalue":{"value":{"amount":"+0.825816810131073","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":"Q1283777$A6F46DB0-ADD6-4800-9218-69D193B22B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf75ed0f172b3d955a9fc9517bf975c9c12d5df","datavalue":{"value":{"entity-type":"item","numeric-id":4381706,"id":"Q4381706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a7ac8880fcd5530849a4d7095a1543e42dce5e","datavalue":{"value":{"amount":"+0.8099343776702881","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":"Q1283777$33C0F758-9030-4752-ADC3-5F659A83056F","rank":"normal"},{"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":"4db4dc9b6422e4dc6f7ce657895e6bd9942ebe7e","datavalue":{"value":{"amount":"+0.7879242300987244","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":"Q1283777$0BB5AE54-9F30-4AC8-84DA-D335B187719C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596d28f353fc493c81ee47c97c99ebafcf63d9df","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be23a858896801fcf3465d623dc633bd6e36cd0c","datavalue":{"value":{"amount":"+0.7844454646110535","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":"Q1283777$4A154143-7167-4DAB-B012-79248F12F7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d106445541691217e6141100a2b45a086b24cf1d","datavalue":{"value":{"entity-type":"item","numeric-id":4946627,"id":"Q4946627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42143953570589cdf3e0d35429c09a7450299a2e","datavalue":{"value":{"amount":"+0.7795830368995667","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":"Q1283777$CB3D8ABA-EDE4-409F-BE47-DC59DD116AEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A finite equational axiomatization of the functional algebras for the lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_finite_equational_axiomatization_of_the_functional_algebras_for_the_lambda_calculus"}}}}}