{"entities":{"Q654017":{"pageid":655866,"ns":120,"title":"Item:Q654017","lastrevid":57134904,"modified":"2026-03-26T18:06:31Z","type":"item","id":"Q654017","labels":{"en":{"language":"en","value":"Partial combinatory algebras of functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5991009"}},"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":"Q654017$6EE1F33A-7B76-4086-ACA2-B54FE261C4E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"890a1bfe14dd49f80846ced76e2be843673f627f","datavalue":{"value":{"text":"Partial combinatory algebras of functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q654017$F6C3D839-31CF-410F-944A-09FACE944F02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d6ba07f578c220e6e091d7468a598f9111d0e6a","datavalue":{"value":"1248.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654017$968A48DF-B73E-4133-A027-85191C3FBDF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a81bacc1d336c50b36c3393bf67d8aa271b2ed1","datavalue":{"value":"10.1215/00294527-1499381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654017$8A0D2D7B-04CF-4B20-A007-BB12C266FCD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe9e095ac1b70ecb414d116d440bb0e8b81e605","datavalue":{"value":{"entity-type":"item","numeric-id":387124,"id":"Q387124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q654017$E4D959C7-34AE-4D8E-B722-D238B2A1F682","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":"Q654017$BA8471D7-8F53-41E0-A637-D314C7E4828F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d59771111bcb1a570f74a251a05a92b1b978b44","datavalue":{"value":{"time":"+2011-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q654017$2273212E-C481-4144-B338-531089D71370","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d66723a84366ee76a8da257b2cf1c1fd8dd15314","datavalue":{"value":"https://arxiv.org/abs/0905.2665","type":"string"},"datatype":"url"},"type":"statement","id":"Q654017$D79E5E3A-AB83-458C-8D1C-44D261AA05EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654017$C6ED19FC-D316-493C-AB85-5BED956A9D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654017$B5EBD2D8-470A-4560-B8B4-2F8F41E020C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654017$EA9DBAA5-F22A-48DF-A723-D877FF940570","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6198ca7cbff38236da7688987e9dfe4606d99c74","datavalue":{"value":"5991009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654017$BDCE3377-733E-423E-B435-7E90B811A1AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c36468f783923e0d7ad0762069e6d469ee0d1536","datavalue":{"value":"sequential function","type":"string"},"datatype":"string"},"type":"statement","id":"Q654017$70DD9B8E-B417-4FEA-AF49-EA20740C98D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c95942ab172c120cf5c0a061ffa7c68c666aad","datavalue":{"value":"partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q654017$91EE1D0C-2BBB-4AE9-B848-5CB4AFFFF03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6444cecbb705519d1be4ece99653aaf9e7538fd9","datavalue":{"value":"preorder-enriched category","type":"string"},"datatype":"string"},"type":"statement","id":"Q654017$63A83BD8-35DE-42C3-8DAE-835C0D540097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65baa80c66ffd926eb7c090c0cc443ecc29865b","datavalue":{"value":"realizability topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q654017$0EC2F9DB-0719-4499-BD5E-2A50ED945C44","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":"Q654017$8D7F9547-1DDF-4846-800C-6B0518F41559","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3dd1db47eeea06bf838a343672743359ab0476ef","datavalue":{"value":"W2594284570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q654017$D9C4FFA5-D066-4D66-A8D5-69514334257E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0cedb70ccdc10668c747a0206686fb2e41ec5c","datavalue":{"value":{"entity-type":"item","numeric-id":1884934,"id":"Q1884934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f43cdce2e96405602e01de01bc69ed6bdf04fbc","datavalue":{"value":{"amount":"+0.7999220490455627","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":"Q654017$0A9B9536-8317-40D5-AA15-C791F7992AF5","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":"1f8cb39d099c39dfea1417bdf24d05610e928a0b","datavalue":{"value":{"amount":"+0.7997978329658508","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":"Q654017$1F63818F-9B72-46AF-9836-F85EF4613BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afeddfa7e222858745110683417fd4b0159288cf","datavalue":{"value":{"entity-type":"item","numeric-id":5156775,"id":"Q5156775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"675fb9790ffb06965a17bb4a576bfbd836b6a6cb","datavalue":{"value":{"amount":"+0.7995122075080872","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":"Q654017$AC80166E-8DCD-4348-AA7E-844AA3A6E9C1","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":"f483048b6ea36a2e28123af6fa4d8db674b875b4","datavalue":{"value":{"amount":"+0.7988120317459106","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":"Q654017$BFB79A2A-51D2-4D3C-A70E-5AC54484AC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8ceaa2b9e18dd3a3ef84d6a6e7e56c3a8f3a2c","datavalue":{"value":{"entity-type":"item","numeric-id":4431167,"id":"Q4431167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7326d7dd733ca446a94e8f5ef41d81eed4acc91b","datavalue":{"value":{"amount":"+0.7956188917160034","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":"Q654017$896C5915-1660-4E6A-888A-8E97B88DFE24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:654017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:654017"}}}}}