{"entities":{"Q1903133":{"pageid":1913875,"ns":120,"title":"Item:Q1903133","lastrevid":69242283,"modified":"2026-04-13T05:42:50Z","type":"item","id":"Q1903133","labels":{"en":{"language":"en","value":"Normal forms in combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 820131"}},"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":"Q1903133$F58E603C-C385-443B-973E-A5CEAE63F028","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d99336ffbb47848322d2f017532a6d29c809080","datavalue":{"value":{"text":"Normal forms in combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1903133$8C799358-DA4B-4967-AE64-CAE3FB110F7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c03d5eb67fa5e51d761b3e7042552315ec9983b2","datavalue":{"value":"0830.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903133$CBACC8E9-5959-4F64-958C-7394E2359D8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$AEBE655B-7128-4542-80DA-8E1A78C84E36","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":"Q1903133$406ABAC8-C6DF-4B77-9E92-B7A1CA3DEA8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e681a2d729895c1036e78fcc6aabc448cd04fcb","datavalue":{"value":{"time":"+1996-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1903133$9A94471A-5308-4C7C-BCD6-98DB9083B782","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903133$6BBEE7D7-9537-459E-A2FD-FC0A82A144FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63a99b7f976239e59e9daafd1869f9280912490c","datavalue":{"value":"820131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903133$1619E699-1B54-465E-91DC-E7B37BF9DC7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903133$CCDD2C07-2A95-4C42-A616-7EE751A5D9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903133$CAB56A0E-D7F1-4604-8294-DEBE0B9F354C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903133$26C3A882-D27C-4B9A-AD91-4A58BF4F4C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cad92bce031d3a76cb9efd6f5e39e947fbc717","datavalue":{"value":"reduction relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903133$A5EEA0C9-2661-46F0-9879-037C67337C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903133$A2CACAA7-9FD9-4046-92D6-C1C59CC96212","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":"Q1903133$F73D875C-1FBC-4003-9840-4EAD8F255481","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e734820a3c743ea52b89e2417419db784350a81a","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040408614","type":"string"},"datatype":"url"},"type":"statement","id":"Q1903133$40C4D15D-53A2-46FD-83DE-7FC108E6697A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c8bf03da74d80424d2ec5c81408dd2878a3c510","datavalue":{"value":"W2028830311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903133$72873535-809C-40EF-A294-B7C2F5ADC97A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$BF01F6D6-D6A6-4C54-98BE-9FE3C5112751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb96fb7fe69adf25841ec11cad0a036fedd3ca91","datavalue":{"value":{"entity-type":"item","numeric-id":1176244,"id":"Q1176244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$A33A9CFF-3898-4241-871F-C6D37051FAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aed163fa47586d6760e996c78b547299a8e45c4","datavalue":{"value":{"entity-type":"item","numeric-id":1336046,"id":"Q1336046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$022E5557-6C53-441D-BB1C-898C0854B4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$D45A112C-B2B6-4541-B3C9-6565660229D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$2F3195AC-0E77-42E1-944D-E3EA568AE67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$FC951C6D-0709-4433-9519-7F8E69C4A970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82030fa55743582a436826baf0961ca7a531a048","datavalue":{"value":{"entity-type":"item","numeric-id":1207945,"id":"Q1207945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$B1201540-46F6-48EE-98A1-5A692D69DEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4bbcf6956c3e4bd751e172d101a863b75a0fa8","datavalue":{"value":{"entity-type":"item","numeric-id":673971,"id":"Q673971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$EC88B990-7897-4656-8668-A6688946D74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$C45BE228-5201-40CE-8ED5-954357FFADC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b98f1b8d3e198f13c8d4c7f34bacaca6a772f","datavalue":{"value":{"entity-type":"item","numeric-id":5532528,"id":"Q5532528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$B3C28BBF-9269-4988-8E31-5D64648BD664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8da94acaf95b26157aa8db77f1b3b250a394510","datavalue":{"value":{"entity-type":"item","numeric-id":4133942,"id":"Q4133942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$8BB59815-C933-4C4E-B929-75FF6BEA4045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0830af437384ce58d677e5295b485241789eb3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5590804,"id":"Q5590804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$4BCDFEBE-8D77-48B7-A6AE-918FC4AC9B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44abcddc39d6e09b3268b9b082d2594b8677707","datavalue":{"value":{"entity-type":"item","numeric-id":5686017,"id":"Q5686017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$8DED8A9F-2F16-435D-B3CC-8E806FE70F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$4B982B29-0316-476F-9DD5-65129C616C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$1B734D96-1434-4A1D-B3D4-7F6C9E98EA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc8d4fcee3893262da31953e139576433b08c556","datavalue":{"value":{"entity-type":"item","numeric-id":1903133,"id":"Q1903133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$C9A9FF0D-3BE8-4A74-93B4-675D97F14041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$88584804-734B-466D-ABFD-0841295BBD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0201ae9d8935cabb012c84f4af38b1beb79f23c2","datavalue":{"value":{"entity-type":"item","numeric-id":5532529,"id":"Q5532529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$78995A15-60E2-4BDE-A359-B88DF5BC54D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b762c456cea55c3597950cdbfd74b56caff7b9","datavalue":{"value":{"entity-type":"item","numeric-id":5532527,"id":"Q5532527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$94D7DB0E-2D68-4AB3-99AE-0C7469368B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86280aa7536d9742e57f26a1b981178d1e3fd868","datavalue":{"value":{"entity-type":"item","numeric-id":1120559,"id":"Q1120559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$8DDBE09E-8760-4C07-8775-F95EFBA51673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da58277329f09a1823606b5f9166621c04696001","datavalue":{"value":{"entity-type":"item","numeric-id":3779784,"id":"Q3779784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903133$1D5D8B6F-C726-455D-A74E-A9448F6F4768","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b9a5b0ba0ab5a218f3cc10f55e5bcbd6244fe81","datavalue":{"value":"10.1305/NDJFL/1040408614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903133$A8B3243B-3F40-4A28-9329-D69BF3FA403C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6764809eea490267221140d4cc8215e4cd5a998","datavalue":{"value":{"entity-type":"item","numeric-id":1120559,"id":"Q1120559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d368c834d6973b488749ad7103d3d467d33821","datavalue":{"value":{"amount":"+0.7723879218101501","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":"Q1903133$1FB73B81-EB6F-428F-AF81-B444664B6A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11657cab5da6ccda3d74863e31abdc7ede599c07","datavalue":{"value":{"entity-type":"item","numeric-id":3820053,"id":"Q3820053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ac8f4f9eff6615471d81238a29797402d6f19e","datavalue":{"value":{"amount":"+0.7536378502845764","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":"Q1903133$B43D7F41-B554-4EDF-B28B-EE2823B94E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb9403571a6dc3e95960e96e8bd313232891ec2","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe500517966e3ee153b9d506626567528e7ba3e","datavalue":{"value":{"amount":"+0.7512342929840088","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":"Q1903133$A40FB57D-EE61-46E6-88C6-BDE2BEBCC332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2024b93cbb3d0b66b9df981be4b3b3ab99ff353a","datavalue":{"value":{"entity-type":"item","numeric-id":3522017,"id":"Q3522017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c2b9ddc79cde973291720ecd93319ca7428bc8","datavalue":{"value":{"amount":"+0.7484913468360901","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":"Q1903133$17B3B209-DE0A-4B41-85BD-343B15C637D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6b230c0744f5b19d0bcd5fd5fcaab9057fe478","datavalue":{"value":{"entity-type":"item","numeric-id":3358239,"id":"Q3358239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c448e7d0b095539480be799cecebf11db248b2","datavalue":{"value":{"amount":"+0.7452754378318787","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":"Q1903133$4CC8C759-B8AA-479E-A558-86B6A7D10957","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal forms in combinatory logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_forms_in_combinatory_logic"}}}}}