{"entities":{"Q4434611":{"pageid":6464210,"ns":120,"title":"Item:Q4434611","lastrevid":81809588,"modified":"2026-05-06T19:24:26Z","type":"item","id":"Q4434611","labels":{"en":{"language":"en","value":"A Note on Absolutely Unorderable Combinatory Algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2002252"}},"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":"Q4434611$3CB06AFA-5A33-49A6-A1ED-C512D0E705EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74f198e5869adcd63822053f54f4b0ee11bb0888","datavalue":{"value":{"text":"A Note on Absolutely Unorderable Combinatory Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4434611$AE8ABA29-68CE-4B9D-950C-6D24DCEA4450","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"946ce7bc7ce18827a519ab1d4ed32f385d550da4","datavalue":{"value":"1042.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434611$EB13940E-A287-4C59-ACB4-8E6034040DF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18c9dc05e0d2a69a66c186b30b333d120b72d949","datavalue":{"value":{"entity-type":"item","numeric-id":1434347,"id":"Q1434347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434611$D821D8F9-0A17-4585-9844-224E9478BCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e73a6f6ccb7e8687faa022e777bcbb77b1f201","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434611$503F2FEA-A146-4B92-8BB0-7ABB9F105B30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdcbbe6751005b5a25abaf14031c72afec06c29d","datavalue":{"value":{"time":"+2003-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4434611$D74F7E6F-CFCE-43DD-8BE4-42BA2D8AB699","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"591836615f079d28cfe7660e462055473c723606","datavalue":{"value":"https://semanticscholar.org/paper/d7a35a05d820d3d7f5d170ee2f8428aa0b1be1a6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4434611$E190C2D8-9E32-42DE-8E0A-527D274DDD1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434611$FCA35BF9-FEDB-4101-8B27-5D18426A37D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434611$B7BB4150-7A4D-4065-9974-296385B856BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f1bdd4f16c3aeb170f7a029744527559b7f1b57","datavalue":{"value":"06F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434611$B358CE24-0E7A-43FC-8784-95551CFF8390","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3cce316a29564fbf838b41147aa95e940f55243","datavalue":{"value":"2002252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434611$13B008A9-AD57-4CBD-9CD3-AC4EB1926799","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"932a25298e83e2c06e414323ce5798a3788b66bf","datavalue":{"value":"combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434611$914AC192-CE14-43D8-B905-4CAE44462502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0482d89d4f52408d0cfff4be8be3338525165997","datavalue":{"value":"lambda abstraction algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434611$CF044D6A-E4E6-4145-9F5C-18CA8A270D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434611$9FB1911D-49A7-4546-B7D1-D9105B9C29A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5393ac72f5a608baea5e09cb1db3464b7e93d2b3","datavalue":{"value":"lambda theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434611$0B6ACEF9-7FE3-487A-8B7C-ECA5938C5D23","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":"Q4434611$74A0FB83-9021-45C5-85AE-1EDEA311E75A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e77b42a098a7f6b4d5228c4b384dd1a5d8385ccb","datavalue":{"value":"W2097262042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434611$FAA626E1-C7B7-4F3B-917F-4EFED480C4C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1600d1be6541248d1bd5a498fce4c0388227807","datavalue":{"value":"10.1093/LOGCOM/13.4.481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434611$9C8C5FF6-0908-4B7C-A5FC-C5D6FA818B0F","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":"Q4434611$4492CFCD-C4BB-42C0-A4ED-F39650B0E6C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415330372d909ec89618abb517d8477f2fd36406","datavalue":{"value":{"entity-type":"item","numeric-id":2871473,"id":"Q2871473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe64d7a9230ae311ecaf3406ec10a71de6389f1","datavalue":{"value":{"amount":"+0.761396586894989","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":"Q4434611$01EA9667-7A85-4D20-8C22-FD8470594BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018bb6eefd4d82160f7aaa2788f1ad990d5b21da","datavalue":{"value":{"entity-type":"item","numeric-id":3689177,"id":"Q3689177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd0affcda3b1356e0c369689c3793b39ddaf5e2","datavalue":{"value":{"amount":"+0.7575256824493408","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":"Q4434611$91BBF2E3-4EB5-43D9-B4C2-B5D2B6031089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00a4a30e1ccba03cda9f8d477d17f4f922ea58c","datavalue":{"value":{"entity-type":"item","numeric-id":760416,"id":"Q760416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed81767f0646f38e273c8179232d7643a3ffd1bc","datavalue":{"value":{"amount":"+0.7500936388969421","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":"Q4434611$C38AC441-2115-4E23-ADF9-0DB0FCA06497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c275c1c8561d9f3d21960e31abaa23eb1472880b","datavalue":{"value":{"entity-type":"item","numeric-id":1098834,"id":"Q1098834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddbbb2bada36e0e71535746704c4be4cc4f624d1","datavalue":{"value":{"amount":"+0.7399036288261414","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":"Q4434611$5631FA0B-5C2D-4FCA-B416-D3C6A7D10185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5cd07706262dcb1f67c7563cca109a1116a8e3","datavalue":{"value":{"entity-type":"item","numeric-id":1583488,"id":"Q1583488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a67cf5f29953352cb5498a4be78d42d5819d8f","datavalue":{"value":{"amount":"+0.7343252897262573","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":"Q4434611$6DDDA2CA-AED5-4374-ADE0-B73201881F93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Note on Absolutely Unorderable Combinatory Algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Note_on_Absolutely_Unorderable_Combinatory_Algebras"}}}}}