{"entities":{"Q5385202":{"pageid":7414776,"ns":120,"title":"Item:Q5385202","lastrevid":50349629,"modified":"2026-01-13T21:11:20Z","type":"item","id":"Q5385202","labels":{"en":{"language":"en","value":"M. H. Newman's Typability Algorithm for Lambda-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5271038"}},"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":"Q5385202$0C7B7C94-F827-4699-A8BA-A0E184AC6795","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbd45710ef5c3d3573184ee63b3b304abf2e291a","datavalue":{"value":{"text":"M. H. Newman's Typability Algorithm for Lambda-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5385202$4190191A-DA16-46B6-85BB-40D7019745A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e443aad3e228621e240a41812a83a5a2a353dfbd","datavalue":{"value":"1147.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385202$96B7898B-D218-477E-AD29-42C0133383B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0c85f5b96b986df789b8d4fc9e866a9d7e884a6","datavalue":{"value":{"time":"+2008-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5385202$48989483-6745-44C3-9F94-75B8964BDE5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385202$908028BD-118E-4457-8F88-3838347D1EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385202$F7E8D7D3-B0A8-4439-BA48-950AF7FB29C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385202$D1912FC9-8248-480A-A79C-F90F51896D9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9e450e1ed168ab2ece70e1337006ffda5062dbf","datavalue":{"value":"5271038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385202$2F80C3B1-E532-43C1-9254-793EC0BC82CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46ea5bd9dacb07ad68d9c46b04fb410460f02c09","datavalue":{"value":"Newman","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385202$5C694396-E712-494E-92AF-E8A4C770B5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f23b08d2781e3f127d59df2af253bb6089bfce7a","datavalue":{"value":"stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385202$46602452-22E2-419A-B58F-7E2E2AD45379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385202$D00302E7-DB12-4F46-93DB-DDDE6E0CA93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aefaf9d8d977cbd9b0e137769f7b5316ce292a0","datavalue":{"value":"typability algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385202$DA77BB94-0B00-4267-88F2-9472D7C059CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4715195926e2963dd021320bc2ac15ee05ecc606","datavalue":{"value":{"entity-type":"item","numeric-id":787127,"id":"Q787127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385202$B11947A5-1E5B-410C-ABF9-8C61B974BF79","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":"Q5385202$DC39488B-77A8-45B3-8265-434399D53E07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cdf89ff3b6afabd26404be9242c6c421d48ca13","datavalue":{"value":"https://doi.org/10.1093/logcom/exm001","type":"string"},"datatype":"url"},"type":"statement","id":"Q5385202$966176EC-7F76-4D9F-94AF-57BAC2063011","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"136a7f1d6b71b85553b6063e9ce161d0426eaf9a","datavalue":{"value":"W2123505663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385202$CBE7D3CC-4A40-4EDB-A3E1-DB81B618BD8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ffcfea3e859b6a38120e81cda2bd76b05b9cdd0","datavalue":{"value":"10.1093/LOGCOM/EXM001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385202$497E6843-9CC5-4028-AB84-0B74ED09AC8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385202$160183C0-8B2D-436E-8967-8F7080F0849C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3741ecefbb6997ab05c8176572043a6db094a1d","datavalue":{"value":{"entity-type":"item","numeric-id":549191,"id":"Q549191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5566ac05b3b3cc072f9c7612175d7258abad4a4d","datavalue":{"value":{"amount":"+0.8617884516716003","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":"Q5385202$90AE6E60-FD3F-433D-8E0A-DEB176FF3B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ffae14a2b7ef62a9694dacc62067c7edf09e86","datavalue":{"value":{"entity-type":"item","numeric-id":3816051,"id":"Q3816051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ebd73e444ff9d2dfe0727c0e727e9e24bc06aea","datavalue":{"value":{"amount":"+0.7294670343399048","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":"Q5385202$ADC25260-7052-4F9C-AA3F-8F5FB695B0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11cb1f27ab2f06747a69185e5627f229f429bb8","datavalue":{"value":{"entity-type":"item","numeric-id":3024838,"id":"Q3024838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ccf1ef5d46c0f0335286841ce864e49c679f85","datavalue":{"value":{"amount":"+0.7174087762832642","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":"Q5385202$5F33050A-18AE-449A-8733-7A55EB751431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699abd0a3753cef04f0fc79a5b4ebea335afb4b9","datavalue":{"value":{"entity-type":"item","numeric-id":3787979,"id":"Q3787979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbd53a07fda02f08adec275f8c25e0ee94c6f7f6","datavalue":{"value":{"amount":"+0.7123109698295593","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":"Q5385202$FF2624DC-EDAC-42EF-8665-22F3196389E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37471370c2749cd3c927913a09fa6bfbc2d27ddd","datavalue":{"value":{"entity-type":"item","numeric-id":2932835,"id":"Q2932835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09de62c6d18adeef98a1238599275ecc9357f588","datavalue":{"value":{"amount":"+0.7078755497932434","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":"Q5385202$DA45459C-CC1E-43F0-878B-5DDDBEDB3020","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5385202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5385202"}}}}}