{"entities":{"Q3787976":{"pageid":5817882,"ns":120,"title":"Item:Q3787976","lastrevid":52813598,"modified":"2026-01-23T13:42:56Z","type":"item","id":"Q3787976","labels":{"en":{"language":"en","value":"On the existence of extensional partial combinatory algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051565"}},"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":"Q3787976$EFE9279A-097B-47A2-A63E-D020E0E87A62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7797330013d51a831861e1a9fc02b6fe1d316f67","datavalue":{"value":{"text":"On the existence of extensional partial combinatory algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3787976$0ACE9E19-FAD8-450B-8825-AA29FAA2DCF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7a44822c141655ea0fdc4440d9684aa0555f2ef","datavalue":{"value":"0645.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787976$312601F8-362A-4D9B-B209-68322774480F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d17f0ed7d3e1908385936e7f3f8d63a5926cbfc0","datavalue":{"value":"10.2307/2274368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787976$46595040-DA42-4CE8-9BD9-EAAEA86D038A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a564444d6881b5470129bd80843c6f194f73398c","datavalue":{"value":{"entity-type":"item","numeric-id":3755430,"id":"Q3755430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787976$F8440C22-6D57-47FF-AA11-0364841EC0D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3787976$0F0BD40A-DF1F-4365-866E-A56FDEAF2DEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787976$BE3BFC7B-1A95-40E7-89B4-B94F89762CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787976$A7877C57-A24B-4303-93AA-7C68CEB63889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787976$96F5B037-8898-410F-96D7-1587276010C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80914c0687993ac22910867c3aa5b239947b912c","datavalue":{"value":"4051565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787976$84F3CAA1-44EA-432A-BF17-527D64AFF123","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0f3b60bc4fe1ca3dabfbb7a08fcec141f70aa76","datavalue":{"value":"Partial combinatory algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787976$F687553A-A65B-4DB7-9D2C-5AE41F6AE5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea718196cd52adc01deb3f30120119ba0dc5ecd","datavalue":{"value":"partial applicative structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787976$32548AFB-2FDB-4865-8995-F953E438A655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f661599f62849e447e76ea12310841b60c86f1a6","datavalue":{"value":"logic of partial terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787976$DF080A70-FDFA-4DFB-B84F-9148C5F7659B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdbedd3ecf8f704f421287f2f10895e6bb3f5f86","datavalue":{"value":"combinatorial completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787976$E916FB37-7EF3-447B-B236-F984E1DDA0FC","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":"Q3787976$CA076668-073D-4C2F-813A-6386798F1E1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"018cc233ef91fad82a3cc4a860f16631fe09b6b8","datavalue":{"value":"https://doi.org/10.2307/2274368","type":"string"},"datatype":"url"},"type":"statement","id":"Q3787976$77E70088-F5D6-48BA-BF26-B7BC2AF466B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67fea4681e913544ae8af99248575a9485eda69a","datavalue":{"value":"W4255763910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787976$E8FE298D-552F-40CD-866B-56B1267C74B3","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":"Q3787976$92595095-F05F-48D3-8F73-A6DF9A7E4AC8","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":"3342016766afb04b43f2d7c3d901556f19e572e0","datavalue":{"value":{"amount":"+0.8385166525840759","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":"Q3787976$6879ADC3-A91F-4110-BBED-234EF2E458DC","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":"2426ebdfbb84f23c8b956d711f9f32eaa9cd42b4","datavalue":{"value":{"amount":"+0.8348429203033447","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":"Q3787976$48880AC5-0190-427C-8479-17CA82C62C1A","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":"7091fdab1486afca43e10f1020f4576db4c1a8b7","datavalue":{"value":{"amount":"+0.8274264931678772","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":"Q3787976$BAF4B08E-79AE-491A-8725-D6113A12947F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcec7892574587501b2481f7412ca9c4a3b4201","datavalue":{"value":{"entity-type":"item","numeric-id":4382471,"id":"Q4382471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b65b0d7516b6b6335be034e672dd607382d5b0","datavalue":{"value":{"amount":"+0.819057822227478","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":"Q3787976$A93DFB9A-A27D-4D06-A13B-DA382A38504D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84a3b31326a6f2cbeffd94be3c08f9554da6555a","datavalue":{"value":{"entity-type":"item","numeric-id":3755431,"id":"Q3755431"},"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":"Q3787976$C99E4D33-68E3-4F1D-A8B2-410766EC74B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3787976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3787976"}}}}}