{"entities":{"Q3897031":{"pageid":5926936,"ns":120,"title":"Item:Q3897031","lastrevid":54885932,"modified":"2026-01-30T01:18:51Z","type":"item","id":"Q3897031","labels":{"en":{"language":"en","value":"Minimal forms in<i>\u03bb</i>-cakulus computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3704556"}},"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":"Q3897031$2DE5FF9D-1D62-4D48-BE9E-1DE4B329E986","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65c9c4d7d8aea0ba4cccc3b4f758814a6c4bb2e8","datavalue":{"value":{"text":"Minimal forms in<i>\u03bb</i>-cakulus computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3897031$E91B1B12-750F-4998-A1F7-00A38739ACE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c155dba545e88a6f65e804beb20ee6d67ed45b4a","datavalue":{"value":"0451.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897031$332977A2-AC2E-40A9-9A70-A7A515C5957B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"347ababbd78684f55c7abf614cad8e4951b6a111","datavalue":{"value":"10.2307/2273363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897031$F0D60D85-38FC-432A-AFB0-75D5B5FB972B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12d9d7463f214191d881c162acd0e5fadcddbf58","datavalue":{"value":{"entity-type":"item","numeric-id":417639,"id":"Q417639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3897031$9B9F99F9-B133-4C10-A1DD-20E183887161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3348006dd4c039634399729cde3f47a728910fce","datavalue":{"value":{"entity-type":"item","numeric-id":6481522,"id":"Q6481522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3897031$4BE98E63-CC21-4F9B-8A70-5653CA510926","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3897031$8CAA0374-B107-4E47-B945-968F3F9BE95D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3897031$24C775A0-1360-4A96-96F1-F6D6B2914837","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897031$37D525B8-647E-40B5-AA48-AC8476F1C77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897031$D93DEDEB-F429-432C-98F5-EF4FBB632981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897031$983FB634-FCBD-49FF-8D28-D02207396123","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46bcefc0c1712b726319fceb95e873152d6cba24","datavalue":{"value":"3704556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897031$80458E2F-2548-45FA-BA4E-7F45B1EAD715","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489dc3ce1da902a1a0461b336b3a92ee34f8e94b","datavalue":{"value":"minimal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3897031$D11ED03D-5BDF-4520-8E57-5C5FFAA123DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e846d14d904e656fb5e1bf97b6e99b5a3caa584d","datavalue":{"value":"Knuth-Gross reduction strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3897031$9D2B4796-8D9C-4261-A3E3-375EC8C06DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3897031$D199AE0E-B977-4272-BF9B-5472E10CD358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08587a98f8badb5f4d6c92d80c565bf1335480a9","datavalue":{"value":"computation model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3897031$79197E59-5DD8-455E-B9A1-71FEB538BBA4","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":"Q3897031$D7B864AA-A7F7-466E-AEFB-0210522ED28C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b5547ed1f12c0d5a58a6176bdeeb2f8bd88697e","datavalue":{"value":"https://doi.org/10.2307/2273363","type":"string"},"datatype":"url"},"type":"statement","id":"Q3897031$55A4F53C-719C-4475-8C78-17243627BF51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9f493d2a303fc78e0815ee6ddfcc02d0b1e1d23","datavalue":{"value":"W1571037535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3897031$DC863D3E-C812-4881-800A-126A5D143EEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3897031","badges":[]}}}}}