{"entities":{"Q4382471":{"pageid":6412070,"ns":120,"title":"Item:Q4382471","lastrevid":46538133,"modified":"2025-12-25T00:05:26Z","type":"item","id":"Q4382471","labels":{"en":{"language":"en","value":"A sufficient condition for completability of partial combinatory algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1130651"}},"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":"Q4382471$EA973B02-ECA7-4AD5-A0FC-29811D790A27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4e07956c4cf8bf64d6c93af847f9d460bc6fdcc","datavalue":{"value":{"text":"A sufficient condition for completability of partial combinatory algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4382471$BB2C4E8E-ED6F-4CC7-B4EE-8064BCA989C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d58fcf2e7aaf458811ef309b34dd99cd13376c75","datavalue":{"value":"0918.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382471$3D4F25C3-2363-4E8D-B9CF-68F93039BBB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1e8fa06183b2a01d6524e4acddbf175112feda9","datavalue":{"value":"10.2307/2275638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382471$D733B61B-5B59-4C73-A94B-41A17CF8A89B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7eb816b28b9c1f72e9b0af72e4651889c7844f4","datavalue":{"value":{"entity-type":"item","numeric-id":287278,"id":"Q287278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382471$ACC2AD74-3323-4325-814C-1E84CE18665A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382471$C0E820FF-D909-40F5-8DFF-A3BC7EEF56B2","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":"Q4382471$561F217C-5EE8-4F98-AD25-D9C1D9BFFC30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8644b3f3170c33297fd848370044d7764102e51","datavalue":{"value":{"time":"+1999-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4382471$A77527F6-FEB9-484E-87E3-A82B50608BE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382471$B21FEB26-DF63-4E14-A676-492CB2D74379","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd6f358281c1f40499abb0fd9b29545ec1f9c5ea","datavalue":{"value":"1130651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382471$DBD766B0-53E6-4C68-B3B9-8D602AD4FC4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382471$D76DA1F6-7D6A-44AB-948B-442398C89C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c95942ab172c120cf5c0a061ffa7c68c666aad","datavalue":{"value":"partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382471$A78DB6D7-1181-4D96-9A11-90109CFC427E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06f1b5b49cffc51de96f43c40407e08c5f31250a","datavalue":{"value":"completability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382471$F161F2C5-A5FC-45C0-A480-06F43A301C86","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":"Q4382471$F1802D8F-D436-4113-92CD-F2433AF57DBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"266ee344dadebe9cf346e0330200dbdc9f06a0e5","datavalue":{"value":"https://doi.org/10.2307/2275638","type":"string"},"datatype":"url"},"type":"statement","id":"Q4382471$3BB673F9-23C7-43EF-9BDD-EB40535777FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da453545b62cfb178a859f8f84dc1e7285bec1bc","datavalue":{"value":"W2046611773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382471$EBA21EDB-B4BC-4668-BFD4-6C5FD42693FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f8722045c27dc3af5874b94b08322022cb3813","datavalue":{"value":{"entity-type":"item","numeric-id":4704765,"id":"Q4704765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2d26f58f75fc9958205dee9ab7f754b5e82663","datavalue":{"value":{"amount":"+0.8444823622703552","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":"Q4382471$5D559604-21DF-438F-BCFF-F26AC053FC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2613c3e87d01a11ddc30b28a2042faccc25e1283","datavalue":{"value":{"entity-type":"item","numeric-id":3787976,"id":"Q3787976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd294b2eb2aa091093bb7ba13b7fe6a943cd5f3","datavalue":{"value":{"amount":"+0.8177533745765686","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":"Q4382471$3CC26431-9867-47C3-8286-CD9166FA6465","rank":"normal"},{"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":"44a72e117a97aeef37422f99b5ae0700915efe2f","datavalue":{"value":{"amount":"+0.7933735251426697","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":"Q4382471$4B340ADC-8C92-4F4E-8CCA-CDE01504E664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f4046c0bae7d2859f90abb664e5eac71d8801c","datavalue":{"value":{"entity-type":"item","numeric-id":4645804,"id":"Q4645804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5dc840fbcf021df1cf04b04d787c3a24073960","datavalue":{"value":{"amount":"+0.7891988754272461","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":"Q4382471$290C3313-C9B7-476F-9C8B-4084CF256F34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4382471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4382471"}}}}}