{"entities":{"Q4763984":{"pageid":6793564,"ns":120,"title":"Item:Q4763984","lastrevid":41247724,"modified":"2025-04-24T06:52:41Z","type":"item","id":"Q4763984","labels":{"en":{"language":"en","value":"<i>Theoretical Pearls</i>Enumerators of lambda terms are reducing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 749801"}},"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":"Q4763984$7C612EC5-779F-4D11-A56D-C3E363464318","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1353a6474122b9b65ca3b6cfc9b5bee1dff3c67","datavalue":{"value":{"text":"<i>Theoretical Pearls</i>Enumerators of lambda terms are reducing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4763984$11E06EB4-FFB2-4977-A275-C89882A08BC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8488ee2781d7d983e36dc5e91e7a047527c1310e","datavalue":{"value":"0816.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4763984$B1E5763A-C8CD-44F5-ABA1-A24605677056","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"029ca63d8637879d30f70ae368135a1eaa2f8606","datavalue":{"value":"10.1017/S0956796800000356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4763984$7E0019B5-7CC3-45C4-9378-7046DA79F423","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4763984$4A6371C2-1714-4194-B3E9-024A5C8E83AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e022d0e2e29313a1f42639a485714f8477b23d","datavalue":{"value":{"time":"+1995-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4763984$9C556CB8-75E3-4FBF-AA45-86B1CAFE44CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4763984$B0EE459A-3955-4F04-8F72-53BB93908C99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"436a0646ed225fc6558c78f3ac79ef3229a95c7b","datavalue":{"value":"749801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4763984$75BA8E1C-D8A3-49FC-9A3C-677D537ED87E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2727a8aa72b48def25c3a46849d7120b3e1496","datavalue":{"value":"reducing enumerator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4763984$FF52F3D7-4529-4342-A0EB-0412E8C29B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1136ba2b8788c73bc20f157305aa26a41b1dc8f8","datavalue":{"value":"closed \\(\\lambda\\)-term","type":"string"},"datatype":"string"},"type":"statement","id":"Q4763984$A0944922-831C-4C61-BC22-B5836843DD0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4763984$C756785D-EADD-4EA8-9406-1621AD809C5B","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":"Q4763984$84B75972-9F82-4512-8BAA-D3F9D723932D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5518e34b7536a8c7a1cf5bc9d876c46982dedff3","datavalue":{"value":{"entity-type":"item","numeric-id":2645327,"id":"Q2645327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4763984$49469D95-8357-469F-B858-13E1ECF323F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97bcdc92a6e18324915f834870ea6b29eca3d3f","datavalue":{"value":{"entity-type":"item","numeric-id":1891248,"id":"Q1891248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d53fdf8c2831f55834e630f5fc3c7c5c2c957f","datavalue":{"value":{"amount":"+0.9123787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4763984$6845EE3D-C4E5-4ED6-89F9-569C3397D8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ecbd58d5785e9ed383ec9bf33ddcdc368fd1e","datavalue":{"value":{"entity-type":"item","numeric-id":1286373,"id":"Q1286373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a491a27a2c0e647c40e19de9898c3f15f07cb116","datavalue":{"value":{"amount":"+0.8534829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4763984$8EA637BC-DCE7-41CF-B4DD-232D09A64434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4aecde37ffb18f0a11cdc63dbcc3abab26d0f4","datavalue":{"value":{"amount":"+0.8441802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4763984$7F67DE81-6E5D-497F-AA70-BFF58BD8DC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5c9262690b7f69508fe35256fe6a044e509c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2202676,"id":"Q2202676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a215fbec3eac20aeae3403d213950bfa724fef9f","datavalue":{"value":{"amount":"+0.84200805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4763984$2557E3AB-734A-4FB2-B724-D2B173DA6119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ff4291c24f5c08115fe8653662be172601c197","datavalue":{"value":{"entity-type":"item","numeric-id":1944777,"id":"Q1944777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3501196f8a377487dad3374b937d5c6c0e51803e","datavalue":{"value":{"amount":"+0.84167385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4763984$4A8ED424-02D5-47F8-B913-3D0E4911C09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64620b7eef9143bbd01b29eef671e6b3c17ef770","datavalue":{"value":{"entity-type":"item","numeric-id":2794357,"id":"Q2794357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0617277abba11c905e4e42a1013bac500fc50333","datavalue":{"value":{"amount":"+0.84129035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4763984$B15041CB-DE36-4121-8206-A5AAE2B160F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"212262fbb8f0bb6582f2227c8282019d3091622d","datavalue":{"value":{"entity-type":"item","numeric-id":1978706,"id":"Q1978706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038a1c85c3af9b3c36a45bc26721a90bb388876b","datavalue":{"value":{"amount":"+0.83984935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4763984$7BB81160-2A90-475D-B500-828AE9BB33D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85b655bd45e36b7ba2a4de1af96579cb163b5e9","datavalue":{"value":{"entity-type":"item","numeric-id":3782743,"id":"Q3782743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbf45d49738a090814869b90f6c76e4efdc0bc0","datavalue":{"value":{"amount":"+0.83732283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4763984$630BB227-17FA-4119-B2CC-51260DA23FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5801feb6c01293161e9f5886428d312de6f98ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4555458,"id":"Q4555458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c729a61b59492ff55fed198f5972ffb90492a2","datavalue":{"value":{"amount":"+0.8361452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4763984$B862F68F-544B-4C95-B287-22FBFE7375C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf47da2cd5714f058a4c33faf9cda03ee37cf7b","datavalue":{"value":{"entity-type":"item","numeric-id":4764617,"id":"Q4764617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f317dae5cbb3938a918f9befe2b78c1f1d719d2d","datavalue":{"value":{"amount":"+0.8326339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4763984$F2A633D1-BABC-4C63-97F6-1E07DE10CC05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4763984","badges":[]}}}}}