{"entities":{"Q3638919":{"pageid":5668825,"ns":120,"title":"Item:Q3638919","lastrevid":88698389,"modified":"2026-06-04T15:13:04Z","type":"item","id":"Q3638919","labels":{"en":{"language":"en","value":"Big-step normalisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5622303"}},"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":"Q3638919$4487B842-03ED-4D48-85E5-4C10300635AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d4c6d865346c0bd75336a7daf7c2c2292f85e7e","datavalue":{"value":{"text":"Big-step normalisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638919$63BEC180-CE6E-46E3-AFBD-5739E29D4A8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b0eea08e3e2123e3bad2e0ea8c7e2b4ac4aa170","datavalue":{"value":"1191.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638919$F9BDF3F6-B871-4745-97BC-0365FA265904","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07488b1375e18a2723ea380f0caf4abdcd3d7815","datavalue":{"value":"10.1017/S0956796809007278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638919$727D0264-B8E7-47ED-B842-9221EDA657CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638919$E30EB787-2F12-4DFC-9627-F8544ACBCD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00aa7e93fa7f222310ed2c02639443a3d00d9426","datavalue":{"value":{"entity-type":"item","numeric-id":635961,"id":"Q635961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638919$4B2F186A-17AF-44D4-85D9-64BC202603E6","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":"Q3638919$3AF73A35-35B9-4208-A070-7442CF361771","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"979675af8434f65c971325fe4cac7cabed000b0e","datavalue":{"value":{"time":"+2009-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638919$7EE85A8C-ABA8-4918-903D-FE16B9EA26B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638919$5080CE3C-13B6-4BF2-8568-D235DB42C007","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47831407a0164ff181e6c7bf2149cbe5afa66d1b","datavalue":{"value":"5622303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638919$0FBED5FB-34B1-4FAF-9CD8-D59416709DC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e5a9cac1fc4dfac46a88f953f03d9d3357f005","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638919$C6D344EA-F809-4248-90AF-F511E76575D6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"483d3c8dbe61641a013940a19a91f05cc8e1b251","datavalue":{"value":"Q61583831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638919$F9C29064-5E6B-46DF-9981-EDB0056B8127","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":"Q3638919$E9DDCF2D-B191-4E32-BDDB-4CF3DA8F03A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cb1095bfb6bd6ea560e43c2c009e4d62aef6cd","datavalue":{"value":{"entity-type":"item","numeric-id":3612636,"id":"Q3612636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638919$BDF4F94A-E7DC-42C1-AF70-66CC45E33D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d5bf17a767be3c2d2fe0e26f029368df3acb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4850162,"id":"Q4850162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638919$8B5C150B-6725-47EE-85C6-D3F47CF171B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638919$FEC73762-F7F9-432F-B15B-0DA5E41C2A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638919$ED6DC087-A8A1-416F-9F43-A9DD3FD81C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893e24895c818d766b4ac601e2292c1956a8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4819653,"id":"Q4819653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638919$3FE7F04F-C240-40BC-ABA0-2ABFAD1E6C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89014fdaf1fabd43e47c8e235e2631fcd212f550","datavalue":{"value":{"entity-type":"item","numeric-id":1840460,"id":"Q1840460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638919$17D01615-8D45-4249-9BFF-FCF9B650C6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730be61f324b593b9cdcf693cd18218da2ef3707","datavalue":{"value":{"entity-type":"item","numeric-id":2785696,"id":"Q2785696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638919$E22EDF2A-2D37-49A3-84C8-CF2128FC62E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ca3169b9facb7516f26162b8b9f1adfa3076fd","datavalue":{"value":{"entity-type":"item","numeric-id":1850959,"id":"Q1850959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638919$D59EE515-0999-47EA-9582-A9F274073B23","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"04e34496fcc326f939828028c301c55132bac0c2","datavalue":{"value":"journals/jfp/AltenkirchC09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638919$E35B90A3-8ACF-4AA6-A51F-28E1624C897B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42797fc209eaaddb74c3306a25952bf259efdce8","datavalue":{"value":{"entity-type":"item","numeric-id":1850959,"id":"Q1850959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618baa7934fcf4bb18c615bd4858d86d72a7b724","datavalue":{"value":{"amount":"+0.7962257266044617","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":"Q3638919$791E73FA-171E-492C-83C1-219D127C6D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4ba777ec3d69929aae1fe702e999be4e6dd481","datavalue":{"value":{"entity-type":"item","numeric-id":5308449,"id":"Q5308449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3504e8cfe86bc3be798a0cb1b1cb1bef7e249627","datavalue":{"value":{"amount":"+0.7876197099685669","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":"Q3638919$054777FD-37C3-42A4-AFEF-963DF08360FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec53239610dd4dc2f8fc509741773ff38970c081","datavalue":{"value":{"entity-type":"item","numeric-id":1744812,"id":"Q1744812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17a3060a03bcab618e0f1f3f3478b4c074ec1a3","datavalue":{"value":{"amount":"+0.7850925922393799","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":"Q3638919$0F389041-4D00-4766-BE8F-A961E15E348A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b1e6ec56c83b1cfd582d9359886bc98c25a45f","datavalue":{"value":{"entity-type":"item","numeric-id":4263879,"id":"Q4263879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3601a056c63a9d1650cdd35848fae7445cb41918","datavalue":{"value":{"amount":"+0.7809744477272034","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":"Q3638919$E3FE578D-1EF2-49F0-87EF-C8BB2C2AB69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cdad27cec952b4a067ef178a26a1ca88d8989b","datavalue":{"value":{"entity-type":"item","numeric-id":2841227,"id":"Q2841227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77f230b98d0b9dfe19b309acb073e04fc0aaae7","datavalue":{"value":{"amount":"+0.7767435908317566","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":"Q3638919$49BF5C12-2DAA-42B3-9EDF-8DF88DCD03DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Big-step normalisation","badges":[]}}}}}