{"entities":{"Q2148902":{"pageid":2159645,"ns":120,"title":"Item:Q2148902","lastrevid":57111957,"modified":"2026-03-26T16:22:30Z","type":"item","id":"Q2148902","labels":{"en":{"language":"en","value":"Partial combinatory algebra and generalized numberings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7547826"}},"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":"Q2148902$2A18B130-2720-4C76-9D38-D80BCA1586E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4552e9b016307b64f0b5d279f41d1758e623f94e","datavalue":{"value":{"text":"Partial combinatory algebra and generalized numberings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2148902$2056F0CC-54FB-4D3D-BFA7-45FD51DC7755","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$9BE978F0-A365-40AE-9779-D8DD7E571298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1b56d11bf58160c554d30c20f124cbee3f9201","datavalue":{"value":{"entity-type":"item","numeric-id":412012,"id":"Q412012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$0E8CE86E-DFCA-4C4C-A8C6-56F653ADA912","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$34167B30-9F6E-4793-8ED6-07B0C319CC8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9bbc3a7cbbc97cf0b4e147ebc83c703a8500597","datavalue":{"value":{"time":"+2022-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2148902$3F184F92-EF5D-4674-B89A-2DD86E698C35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"206c25209cfb0fc35b42e4ddb0519d4de1a04f99","datavalue":{"value":"https://arxiv.org/abs/1910.07750","type":"string"},"datatype":"url"},"type":"statement","id":"Q2148902$990ECDCC-4B59-4932-ADEF-B74F94A4A0D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148902$39FF287F-04F2-4372-BB03-395EE5153EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148902$6FAFF6C6-18E4-42FB-9D2C-F34939AB127A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3b1f8b6256cda1302de604978ddf75c7aa9f022","datavalue":{"value":"7547826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148902$4397FC5F-5FB4-4150-A2CB-8ADAA1857975","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fd43a84260edee1c81706cf0ab1a4b13104b4d","datavalue":{"value":"precomplete numberings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148902$038F9898-B1DE-416F-A23E-BB6F7FE66188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c95942ab172c120cf5c0a061ffa7c68c666aad","datavalue":{"value":"partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148902$AACD0A80-C84D-43BF-B55B-B3EB0DE1E4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148902$C2F4AA80-9629-432F-A6D6-551644BB0929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f04d4cfe7cb29456018608b1e53ef08953cb471c","datavalue":{"value":"models of the lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148902$AF39185E-5B71-430F-B51A-7473348C8273","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":"Q2148902$EB830496-9C6E-4FE2-BCE9-52E52F80AF31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28dcf77c28637ee3a9ef5fba6669db07f621e28d","datavalue":{"value":"W2981017762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148902$0ADD8E38-C4DC-45F4-B7BF-16460BE0B498","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73964244b50ac6a01b3bd24fccdbd805ad86369c","datavalue":{"value":{"entity-type":"item","numeric-id":2970971,"id":"Q2970971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$A99EAC0C-1A04-47C5-BD88-86FA3335E960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d016aba6c62feffbfb5a07da9db642aacb247367","datavalue":{"value":{"entity-type":"item","numeric-id":3674634,"id":"Q3674634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$C4B70B20-A135-4134-9C98-48946F448FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$3575D9C1-7400-4C02-A77B-EF39DDD05516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47076331759f77e665da9abbdf840f7a533543c2","datavalue":{"value":{"entity-type":"item","numeric-id":2311209,"id":"Q2311209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$CA224A12-66A3-4549-94E7-FFCFDF141ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06a77350a0e89c679d1b1a4beb086f99b213ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3309827,"id":"Q3309827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$56858F71-CFCF-422B-9F93-560F818C1734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$953AF30B-D035-47C4-BECD-0BF2C6A0D91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fc7188193dcc24094147cdb1f19183b0e45997","datavalue":{"value":{"entity-type":"item","numeric-id":4047540,"id":"Q4047540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$DE645E4E-23A5-450D-96D0-93613D15BD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da92b26b85f6737e55d5cc004ea787c9e3471a63","datavalue":{"value":{"entity-type":"item","numeric-id":4111546,"id":"Q4111546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$DDD2EE31-6E0C-440F-A4AA-008AF91FB32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811242b51b2fbe0f7eaff68ef4417f3f8fbf2e79","datavalue":{"value":{"entity-type":"item","numeric-id":5248247,"id":"Q5248247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$2E822D0C-8A88-47F5-8A8E-B3D449DBD3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$B9B0CC29-2C94-47EB-A947-190CB5A5C873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb4345013f8ef2397bf199269ba5db1a54ffffb","datavalue":{"value":{"entity-type":"item","numeric-id":3260571,"id":"Q3260571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$BCFA7139-0EF8-4047-8309-A5C5F3136CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$181A8B03-2FA7-40A4-BBCC-AFB8B389597C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc413c4789529ca7b067e11e308bb56969738ee2","datavalue":{"value":{"entity-type":"item","numeric-id":3478394,"id":"Q3478394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$9C5DFAF7-9DC9-4752-9CD5-5D8CD0827D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd473f278e22b42f30e82bcf94419123d2ea77b","datavalue":{"value":{"entity-type":"item","numeric-id":3026990,"id":"Q3026990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$F83F4DA3-DCF4-4043-8D04-F13FBE1C23E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fefcdda7bf616827053741c3d4864232e0b191","datavalue":{"value":{"entity-type":"item","numeric-id":3457676,"id":"Q3457676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$77B54AEE-E2D9-440A-9D8E-56DED211CFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffac7d9aa47d7e3194789ac7b17d644b3b3dbea","datavalue":{"value":{"entity-type":"item","numeric-id":4053617,"id":"Q4053617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$6E21369F-2D15-4322-A161-06524168B1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$0D21FA7B-98A3-48AD-9E48-9419E97B533C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$0324FB60-D809-42B2-B8D0-EA2AFA73EC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f483925c6fee746759733125211f1ed3ceb174","datavalue":{"value":{"entity-type":"item","numeric-id":1688948,"id":"Q1688948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$3D543EC7-5535-42D1-9B42-ED03788A62CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$A9905E08-C9BD-4CAA-8086-35D1B8E5600F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50896e0d9a36d217984085831a1e45fce6654ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1263578,"id":"Q1263578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$13875331-45B0-403C-88D1-2F1A822411CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$7379A1A9-2FD4-4F06-BC77-F50E1981D1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c7be0214aebd8bc1df98796bbe2bc099e98077","datavalue":{"value":{"entity-type":"item","numeric-id":4647121,"id":"Q4647121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$A70ABEBA-765A-4BB9-A00C-00F32C6CF877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$B50F47F2-6728-44BC-B22B-2E4DE8F1EDD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bdada04ca3727ec795f0a19fed45d99fbfc66b8","datavalue":{"value":"10.1016/J.TCS.2022.04.054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148902$ED87909F-D336-4BDF-A8F7-6FA3AC8A0767","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf12dea13b43bdc5eaac6a903d35521a2552843","datavalue":{"value":{"entity-type":"item","numeric-id":4984865,"id":"Q4984865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540e1842fa8896a22239f0d1af810c749745a696","datavalue":{"value":{"amount":"+0.8379692435264587","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":"Q2148902$E4274AFE-083D-4F84-BD5B-162E983D3617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3508aee5a73b3734a186c0b671e275329efd30be","datavalue":{"value":{"entity-type":"item","numeric-id":2311209,"id":"Q2311209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfcac3b5e9e2c46619dbe71d6e6a9e2e098511c","datavalue":{"value":{"amount":"+0.7826338410377502","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":"Q2148902$2CAFDB5A-BF3F-47DF-93C5-ACD62FDFF824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7576ba519f77c5980a3742cdd6517df6527cce05","datavalue":{"value":{"entity-type":"item","numeric-id":2342326,"id":"Q2342326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1588bc6afb5fbede2b918550a1e9d9b7c0948565","datavalue":{"value":{"amount":"+0.7816377282142639","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":"Q2148902$D59B7858-D60A-4DCC-A6B6-6B331B63BA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d839e5b0c9564cd0c4dda0e84319e56ac0277d9","datavalue":{"value":{"entity-type":"item","numeric-id":4982355,"id":"Q4982355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d3c842aca64affbed559d3cd0df26fe0782210","datavalue":{"value":{"amount":"+0.7733285427093506","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":"Q2148902$E330F64A-07C9-4E41-93D5-33C04752AF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"204050eac0336d7a1bb054c902654ad589794560","datavalue":{"value":{"entity-type":"item","numeric-id":4666942,"id":"Q4666942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585f22e8290cc4722e4ba160347e5d67501a6c1d","datavalue":{"value":{"amount":"+0.7620304226875305","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":"Q2148902$1E246B8B-8C71-48C9-8E54-76468D63AD5E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148902$0A59D991-A196-487D-9651-BD39CAB4BB62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2148902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2148902"}}}}}