{"entities":{"Q6158341":{"pageid":13293084,"ns":120,"title":"Item:Q6158341","lastrevid":102652013,"modified":"2026-06-06T05:03:02Z","type":"item","id":"Q6158341","labels":{"en":{"language":"en","value":"Embeddings between partial combinatory algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7690435"}},"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":"Q6158341$6B4B4318-8B95-4BA5-ACE3-57FFF6B00747","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bc142bd00412b9fa1007ced0ada4b68254474f1","datavalue":{"value":{"text":"Embeddings between partial combinatory algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6158341$5AA5133E-A336-4784-94D8-6F415ECD2A4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c8bfecb580b57e0e5ee04b4d6894fef2a75c341","datavalue":{"value":"10.1215/00294527-2023-0002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6158341$A4493765-7526-4B5A-BD75-EE7BA4B1518C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29d7652d5cf0bb0771415bf62260f2a935c67d05","datavalue":{"value":{"entity-type":"item","numeric-id":5075518,"id":"Q5075518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6158341$992B954F-080C-4940-A24C-1BF2C915E1EC","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":"Q6158341$F30F9487-67BA-4AAC-B407-E3D74C4BDB1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6158341$CA4D2B41-0DD9-4070-BE83-2A027F135DC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f50282afda97e3095edaa03b2cd057e9513e436","datavalue":{"value":{"time":"+2023-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6158341$8B2AC7F2-74D0-4DA5-A48B-62A2187B43F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc42b731610e8e79b91c0140ddae5a07815ab140","datavalue":{"value":"https://arxiv.org/abs/2204.03553","type":"string"},"datatype":"url"},"type":"statement","id":"Q6158341$7DDBCE45-4325-4A5D-9CF9-14D48A2EEA66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6158341$A1420B96-9B63-479D-9250-320644777251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6158341$C6818633-E31B-47B4-9959-05DF217924DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6158341$59B05D08-FD32-49B1-99AE-7447311133F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18ee361ce1f3c3114a6afc6db9e27ed1a08c7b52","datavalue":{"value":"7690435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6158341$35950986-F21D-48D4-BA11-D7DFE410FFDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7bd08d0645482afa238d75eafdc688efacb395","datavalue":{"value":"embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q6158341$AA45A0DC-5E3E-4F4C-B810-24C7A51D8C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba63a3ec360bdcb3035a87816aa2f07e91aebfb4","datavalue":{"value":"enumeration degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q6158341$ECD4A19A-16BD-465C-B395-A849EBFC910D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c95942ab172c120cf5c0a061ffa7c68c666aad","datavalue":{"value":"partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6158341$7DF6D9AF-9119-45B9-A228-D424983CD146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q6158341$9807173F-C167-4455-A87C-15CAE3DCF57B","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":"Q6158341$365F93FF-390E-40A1-AA72-F8FEF140636C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4e7330b4f4468364f076ead799c4ed3066f34c1","datavalue":{"value":"W4360612139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6158341$AA2C1D40-9361-40DE-A193-996158CA0CEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"118e2b58a563fc7897f39c6996ef2c2abf9b4eba","datavalue":{"value":{"entity-type":"item","numeric-id":4382471,"id":"Q4382471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6158341$64959919-9B52-45D1-A2C4-8C23490E7055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6158341$8BD6E956-361A-4993-B80F-80BDC1BF6D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6158341$4448346E-DF93-4EC8-B23E-5618A7E3F010","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":"Q6158341$42DA83DE-D9CB-42BD-8860-303E6225D017","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":"Q6158341$05CC9685-3D7C-49FF-8B86-2263146C3445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"993bffc544b04077fe2e3fc10963180ccc7177ec","datavalue":{"value":{"entity-type":"item","numeric-id":5625130,"id":"Q5625130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6158341$26D42422-8B40-4419-9589-6E8FE3715617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6d0ab3dab89f25d0cf06b425193e00a7116f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5858137,"id":"Q5858137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6158341$2AB416F1-8EA3-431D-BB7C-A351F584050A","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":"Q6158341$8F4B0664-92C9-4B51-8748-FF39B8785CC6","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":"Q6158341$CC58F7A4-95E4-4EA7-8B4E-C6C95DB64618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e287a76b72955cd46eadf7e27e2c11d6ff9865a","datavalue":{"value":{"entity-type":"item","numeric-id":1094418,"id":"Q1094418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6158341$BBD07432-AEEE-4F24-9F8A-9D35C2EE0C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6158341$84046E64-4DFD-44E6-9F62-EF943F69D86D","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":"Q6158341$8D1554F4-A548-4C3D-A814-3EF62E6B90F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dafd8c18c926d44a49321f5aa598cd3d6aef54","datavalue":{"value":{"entity-type":"item","numeric-id":4083398,"id":"Q4083398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6158341$A2F5965B-2AD1-48FE-84F9-C88355312B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee64c4f7b481892a0b8a182d05902b40b925842","datavalue":{"value":{"entity-type":"item","numeric-id":5015728,"id":"Q5015728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6158341$C673BF21-7175-4D0E-B90B-A50400C01C0F","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":"Q6158341$ACFD0E8C-AC1D-4F25-85E9-2A62A845991C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6158341$4870CB6D-FD99-4B8D-A23A-3E8880C90A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf723f5f87a7ab4e09645f0f134fad2698e3bf42","datavalue":{"value":{"entity-type":"item","numeric-id":4938567,"id":"Q4938567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6158341$EABE4943-1D38-4822-A92F-6B6D790D9A7E","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":"Q6158341$6FC54377-B7E7-4175-98EE-9D46F96BF378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b73cd54916ba3b692eec8925fdc3462c7267e9cb","datavalue":{"value":{"entity-type":"item","numeric-id":5682317,"id":"Q5682317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6158341$20608660-750E-42CA-AA05-C4D155D7E814","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":"83fab7012a46918b2ed9a9934090c10be038dc2b","datavalue":{"value":{"amount":"+0.8137325644493103","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":"Q6158341$3EB42663-71D7-42F6-9CEE-D8BEA831983C","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":"b22b00829e72afe791050ae9d8d3b87b0a580132","datavalue":{"value":{"amount":"+0.809909462928772","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":"Q6158341$CC40A88C-3D4C-4C47-87F2-C6C1765CC0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978871a63ceef4da987332db8d1687bff3ac84de","datavalue":{"value":{"entity-type":"item","numeric-id":1688948,"id":"Q1688948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c69a3fd3e99555fa84e101f6315ef56cc3df0c0","datavalue":{"value":{"amount":"+0.7951708436012268","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":"Q6158341$919DADEF-8E23-4E05-8FC2-80916112F196","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":"1ede56722f6990ae0ca1fa13e0a0f55eaa633f07","datavalue":{"value":{"amount":"+0.7933980822563171","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":"Q6158341$9C66F955-A150-4D25-8EBD-01C40B5839D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a51be48bcbf95eff08f5469ffd020662001549","datavalue":{"value":{"entity-type":"item","numeric-id":5015728,"id":"Q5015728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32eebc7c2a94992db9ef831b6bad0cc4b8ac1e3","datavalue":{"value":{"amount":"+0.7925878167152405","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":"Q6158341$88E45B8B-9223-4D4B-B267-FBB68E22A168","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embeddings between partial combinatory algebras","badges":[]}}}}}