{"entities":{"Q4649550":{"pageid":6679131,"ns":120,"title":"Item:Q4649550","lastrevid":51601679,"modified":"2026-01-19T00:42:15Z","type":"item","id":"Q4649550","labels":{"en":{"language":"en","value":"Bounded combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109837"}},"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":"Q4649550$4AE7FB60-4499-4DF0-993C-98B0A0EFBD61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa247b8295ee16ec39ae179c43f9f60983137c31","datavalue":{"value":"1252.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649550$B5FFD2B7-952E-4195-956A-737E6F33F1FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d268115765c9c6bcf8c72dd7aca928d5768916be","datavalue":{"value":{"entity-type":"item","numeric-id":4637691,"id":"Q4637691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649550$4D9A2053-90EE-4040-AA1C-057B14315C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71b2bb4c703dce597e4a7185ea8ca2f5c52c81e2","datavalue":{"value":{"entity-type":"item","numeric-id":2441718,"id":"Q2441718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649550$EDB08F4E-60DD-418D-8D83-5578DD2BB69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cc3e39d72e1956b65012dbfcf84931423e35849","datavalue":{"value":{"entity-type":"item","numeric-id":1351997,"id":"Q1351997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649550$C2553910-3B1F-4A19-910C-51F7619054E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649550$368D7F2F-7392-4EB9-BC30-CCA8EB64F0B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649550$229A3634-6FD5-48C3-8E8F-02AD42D0DB9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649550$3648F6A5-B521-4152-93B9-8281B90B49C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649550$07E2BE57-9D0C-44CE-92D3-5E4E0015EDC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"527dd37abbbf16c355c9daf6fff696cbc2a34693","datavalue":{"value":"6109837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649550$008D3662-A82A-437B-8127-3B4C88678E7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649550$27985A2C-F171-4E73-9DDD-D1FCCF67AFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12355c9b78ede2442581ca549fff86d783aecc48","datavalue":{"value":"inhabitation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649550$B8A8A604-C6B6-426F-97D7-108FB1C54C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d4e7ebaf05f5cfb1ff9838276146849d3c7b56","datavalue":{"value":"composition synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649550$91CE49D2-4FB7-4B6F-9A47-B6C1A2EFAA5C","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":"Q4649550$0CA51797-CCBD-46D5-A662-953B0A2A933C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca2515c0ed69bfc24a87c7c3d0561fce2f6e2931","datavalue":{"value":"https://doi.org/10.4230/lipics.csl.2012.243","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649550$62CFDEC1-7938-4ED9-A1FD-37EA202DCEFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24cfb3375db0d9f6f6f644ea1c95ef1618f8bfa4","datavalue":{"value":"W2288082802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649550$6FF4452C-5A35-4631-A0CB-443B30A2A4DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8bf5f34e6bab39d62fd860d987395b7e8225d67","datavalue":{"value":{"text":"Bounded Combinatory Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649550$BF7B6EEF-5086-4750-A345-167170CA1DDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a686365a25ea745a2594800d54160394b3192aff","datavalue":{"value":"10.4230/LIPICS.CSL.2012.243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649550$3FD1A65C-46D0-4F14-8378-C7F3F2DB601B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b70cde1c30aae9b36af76b78e5a8d3d09d1cd8","datavalue":{"value":{"entity-type":"item","numeric-id":3007665,"id":"Q3007665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c161e3e2deebacc163985834ff02d64ad0a938","datavalue":{"value":{"amount":"+0.8829118609428406","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":"Q4649550$AD07375F-568C-4CEB-AC92-B91DB2C84376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf423662277856ab82b9bbbb7e7bfa68ee3ad431","datavalue":{"value":{"entity-type":"item","numeric-id":4993851,"id":"Q4993851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d63e2d7ff9eb494be928cd9b846e01de2299052","datavalue":{"value":{"amount":"+0.8152433037757874","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":"Q4649550$C2AF235F-3776-4634-8AFB-E92EC5D50DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b6f14b3ca9012f76dd5041821d490448578901","datavalue":{"value":{"entity-type":"item","numeric-id":276270,"id":"Q276270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d912d1dbb8c5752f5cce67aa4c7227e6d0808f","datavalue":{"value":{"amount":"+0.7725182771682739","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":"Q4649550$89B7FA99-59B7-4963-9ABE-86C34ADE78BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d35786fd08a9242e9eab406282d1e346224641","datavalue":{"value":{"entity-type":"item","numeric-id":5144674,"id":"Q5144674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91aa04db44f98481b00d91999d7f692f757e67d4","datavalue":{"value":{"amount":"+0.7595931887626648","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":"Q4649550$34DEF9C2-BA8C-49E2-8EC7-CAF3A2F77D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42df14104daceca6f75df312da4001ae00fdaf96","datavalue":{"value":{"entity-type":"item","numeric-id":5370899,"id":"Q5370899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73ab3423559df032617a5b656764ac32043d20e","datavalue":{"value":{"amount":"+0.7411394715309143","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":"Q4649550$B332A789-3F32-4F94-BCDD-1D92FCFF42CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649550"}}}}}