{"entities":{"Q3735687":{"pageid":5765593,"ns":120,"title":"Item:Q3735687","lastrevid":50887763,"modified":"2026-01-15T14:33:26Z","type":"item","id":"Q3735687","labels":{"en":{"language":"en","value":"A direct proof of the finite developments theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3968558"}},"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":"Q3735687$A307E48F-9BD9-4720-B5E1-2C6372293BE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32f7d4cbb2742ce2ca7947eef8261c12a9c09062","datavalue":{"value":{"text":"A direct proof of the finite developments theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3735687$524F8D3E-6DDB-4630-8366-EB8437BA6149","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"937fd9aa16b08841f2cb27d4e5f52318c6482240","datavalue":{"value":"0601.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3735687$4F93A1BA-4DEA-453F-816D-40F00428562B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c2d9461c6f24d10f50b5d5fab54dcca14535dfb","datavalue":{"value":"10.2307/2274219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3735687$DA578654-5929-46F0-BB65-45EEBB7E83ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5348b39bb43ee09733fb8b9f52c0a9b9a953475","datavalue":{"value":{"entity-type":"item","numeric-id":220712,"id":"Q220712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3735687$2365B815-2C0C-4C6D-9746-8DE50F621F71","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":"Q3735687$D8AB505C-3395-4738-89E6-78D2B83A8A09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3735687$0BF4031D-0494-45BE-94BB-9428B141FDA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3735687$CEF0CFB4-11BF-4E78-A911-0F9E9FE40C34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0507197af0087e72370b813ace9cdd834cdfcd3c","datavalue":{"value":"3968558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3735687$F326BEBF-2F4E-43E5-B8ED-649CCE68EF42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3735687$F98DCCDA-6059-4DDB-BADB-890C35EADA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ac6e0d50c014f78bc46daf17db6a15814a70c6","datavalue":{"value":"Weak Combinatory Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3735687$9DFB872F-CC66-4C9E-BEB6-1FCA3D0B5F77","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":"Q3735687$43C2799E-43CC-4924-81C4-45781F88EA36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bad4f031a4911beccfc68d5bbccc5a905a72eb1b","datavalue":{"value":"https://doi.org/10.2307/2274219","type":"string"},"datatype":"url"},"type":"statement","id":"Q3735687$6A327D55-4050-4E19-92CC-3104661A20BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55c6ff3a9a47acf51bb2b333af06b0a38cae14f1","datavalue":{"value":"W2022062784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3735687$1051DA38-49F1-4B29-8746-D90353DBB8F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7796136c5a85d17c41a083a512524ae54c91fac6","datavalue":{"value":{"entity-type":"item","numeric-id":4850465,"id":"Q4850465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b909928ed0d3122864ca7adc4525e09ccd060799","datavalue":{"value":{"amount":"+0.8091490864753723","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":"Q3735687$8F137D92-268E-4943-9A95-D0A7F7AC53C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8711d870772f542f14904fb7123b8ac59d7120","datavalue":{"value":{"entity-type":"item","numeric-id":3400630,"id":"Q3400630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662a8d0143c9ca7204b31626798288f5e4833e35","datavalue":{"value":{"amount":"+0.7940389513969421","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":"Q3735687$998D12C3-C90D-4CCB-A3E5-98760919A123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c77c2b758077c5d7a3c44544e8df1298d40c7a8","datavalue":{"value":{"entity-type":"item","numeric-id":3125171,"id":"Q3125171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb015d9c12c829409e42de582422ab54d197ce66","datavalue":{"value":{"amount":"+0.7613351345062256","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":"Q3735687$4A03CFB8-E6BB-4559-8530-ADE7D65F37C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1669ad75f7a711b33c50c2efbd9b5cced92f92ae","datavalue":{"value":{"entity-type":"item","numeric-id":3783263,"id":"Q3783263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb015d9c12c829409e42de582422ab54d197ce66","datavalue":{"value":{"amount":"+0.7613351345062256","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":"Q3735687$D59F1046-2A3B-484A-8F1B-8EECBB1BCA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4741c4be621d9cb1dc206c96fc8a184aeda78935","datavalue":{"value":{"entity-type":"item","numeric-id":732008,"id":"Q732008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"124d04e3c6bff357cbe078b4cce3a7ad2d14b673","datavalue":{"value":{"amount":"+0.7520363330841064","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":"Q3735687$AA243C21-C462-44D5-AC9D-2C80D47C7EEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3735687","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3735687"}}}}}