{"entities":{"Q2539218":{"pageid":2549961,"ns":120,"title":"Item:Q2539218","lastrevid":74135280,"modified":"2026-04-14T18:32:46Z","type":"item","id":"Q2539218","labels":{"en":{"language":"en","value":"Modified strong reduction in combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3310906"}},"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":"Q2539218$2EFC06B4-B042-4A58-93FE-FC54F8A63CD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d5594bd43e157a7822afd42f1113223d5301077","datavalue":{"value":{"text":"Modified strong reduction in combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2539218$F5E18712-6B71-4138-965B-CF5D345B0DED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff7f53d97ee84703777caee2891c4f745a019dfd","datavalue":{"value":"0195.30701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2539218$FFC3A3A8-E69C-4FDC-BC32-C0F5B0867200","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"862ca92653282bd1aa2b20b0de09bfb9189db4b3","datavalue":{"value":{"entity-type":"item","numeric-id":2537971,"id":"Q2537971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2539218$11FB8550-82DC-4D27-9B72-04BB7DE23007","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2539218$80B81F38-B7C4-438E-B392-21D7782C75A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b7d902a691bf065ccbbbe3c070a7f8cb1f53366","datavalue":{"value":{"time":"+1968-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2539218$DD9227E4-32E4-4EC7-8631-104D9C1BE62A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2539218$632FABAD-60E4-4CC0-B0C7-7624CC985E53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23b6349042cb2bedba0f706a7bbb5b8e547ae084","datavalue":{"value":"3310906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2539218$8CC1E6D9-06B2-4860-92DD-244D8FD73A8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2539218$F9547C35-BFF6-412E-9D4A-822CEE7F9E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2539218$0F753549-0B10-4F22-B87A-7980722BD2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"962dacdd382dbbc691c09f5e67b9d1679fc39a14","datavalue":{"value":"strong reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2539218$8FE4B22E-010B-4DFB-9C00-E5F98462E2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2539218$6B5E2BC1-D81D-4EEB-AD77-F8BFAE122CF9","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":"Q2539218$D2E41FD2-2A94-4F79-BC83-A8C515F85EC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75c150acbb80ca467ca740a9d8c274d7e10a961a","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093893461","type":"string"},"datatype":"url"},"type":"statement","id":"Q2539218$8F79F65A-7D82-437B-9F02-4EFADC354EAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fab24aeb418f5208b7afed751c37a09b92680624","datavalue":{"value":"W2132672128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2539218$1CE91E87-11C0-4F3A-B3AE-5708D2D0D3F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a23071a64ded3218b7602f1e38eb4660474b95fc","datavalue":{"value":"10.1305/NDJFL/1093893461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2539218$2769D774-78B0-4243-9F06-91C3A5801D81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modified strong reduction in combinatory logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modified_strong_reduction_in_combinatory_logic"}}}}}