{"entities":{"Q6862431":{"pageid":20671207,"ns":120,"title":"Item:Q6862431","lastrevid":84247571,"modified":"2026-05-14T04:16:29Z","type":"item","id":"Q6862431","labels":{"en":{"language":"en","value":"Uniform preorders and partial combinatory algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8156153"}},"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":"Q6862431$7C1D67F6-BBCE-4246-8B7E-A945500BF718","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc363c92501a8a3a7448b565f38d9cc33a7eac12","datavalue":{"value":{"text":"Uniform preorders and partial combinatory algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6862431$0D4D85D6-2F60-42F4-B5A2-8A92C1FAB3DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ca6076d2d4cf97e6395c92fd68e50d20bea8c46","datavalue":{"value":{"entity-type":"item","numeric-id":476120,"id":"Q476120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$1EACCA2E-DDD8-4B0A-8723-79C8C2B56BFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$D2E0C476-2F04-40D5-BA4D-1EFAFC49AB30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36798a9367dd4f65c7b2f0e18c37acb2a3e004d3","datavalue":{"value":{"time":"+2026-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6862431$FA6FC015-69CD-408E-9294-15F5E7674543","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47be8ad795eff4273706e3867accf83ab09d406b","datavalue":{"value":"http://www.tac.mta.ca/tac/volumes/45/4/45-04abs.html#vol45","type":"string"},"datatype":"url"},"type":"statement","id":"Q6862431$9003FD5C-947F-494B-A14A-2E3B4D4BA7F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862431$0F6988A2-EB40-4A4F-A0DF-6BC4D6BE94E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862431$E6F63E29-914D-4A72-A5A5-52F945C8BD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862431$F86C2874-1A9D-43AB-A1A5-57B49CBDD2E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3707788e9facd33394cd30e5b6d2c9a8c1a6228f","datavalue":{"value":"8156153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862431$AC97AFDD-9E2A-4926-A789-3FD7346475DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862431$B8B6A412-5C2F-4626-A5BB-1CCD1B8E9415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75bdc75432e86a2c63274d60bc4eb52bb0ca25d","datavalue":{"value":"tripos","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862431$CE2CD6B0-65C6-4885-9DAE-1BC3446C2868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c95942ab172c120cf5c0a061ffa7c68c666aad","datavalue":{"value":"partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862431$91D6A854-1CAD-4ED4-B2D9-4EC612B8AD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"850ead0d289024780bdc81fb3dfc8854815d4d6b","datavalue":{"value":"cocompletion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862431$B8CC014E-8875-4997-A45D-5D34B0F4F9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"723b2df22a3e10308ae5f904bc1414c24c0744eb","datavalue":{"value":"uniform preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862431$3B71DDF4-FF23-4B81-8358-29DC930C4EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43403331e3b73a1c1d4086cfa117f7fc2951335d","datavalue":{"value":"indexed preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862431$7E202741-5920-447D-AE5F-2354D4D9745D","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":"Q6862431$5AFB1F2A-67D0-4773-B7A2-498107B4F231","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9429d2707bb89c502ce71f9ef5f3f820284fd138","datavalue":{"value":{"entity-type":"item","numeric-id":1588066,"id":"Q1588066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$6CE6E73D-F71A-4449-82E8-53CE3B135C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d13be93326fe439d9ba63c1d8fc97ba3bcf3655","datavalue":{"value":{"entity-type":"item","numeric-id":3893911,"id":"Q3893911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$E0C06890-208A-4A41-BC8E-EBCA78AC3BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03265e5143accac6c434bc5c23dedfc3eb7c2654","datavalue":{"value":{"entity-type":"item","numeric-id":476121,"id":"Q476121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$6678D162-1E6C-4B34-8009-C9878196C3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca77926198eabecd78271696d419264a86e52325","datavalue":{"value":{"entity-type":"item","numeric-id":1713020,"id":"Q1713020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$AA7620AB-961E-4B36-ABBF-E4220FC2FC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a0c9a2ec4d9e884cdc2e252bbd74b238bbf50ca","datavalue":{"value":{"entity-type":"item","numeric-id":2699426,"id":"Q2699426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$D799F5A1-4A37-41E9-AD37-39A19C68735E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d32ce45d383c2865f074fa156f130a7b0fb87c","datavalue":{"value":{"entity-type":"item","numeric-id":5868039,"id":"Q5868039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$2617C5E7-D2CA-43F0-929B-576DF64B4B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d151b846832cf2f6eacfad1e0e25ddc8b510d6","datavalue":{"value":{"entity-type":"item","numeric-id":5740205,"id":"Q5740205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$7E50D846-ABD2-41C0-A0CB-D51914749EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$0D2CDCB5-CD74-4EE9-AF14-2C3113613593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e75fbe2efb903b9e1e372b443baaec72df8197c","datavalue":{"value":{"entity-type":"item","numeric-id":3419822,"id":"Q3419822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$4DBF44B4-EB08-43A3-9AC4-4AF2DCA1336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6bea64bb9dc9b109612d4835ab8d00cfaef1b1b","datavalue":{"value":{"entity-type":"item","numeric-id":3093861,"id":"Q3093861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$9D8D3DC6-72F1-43F9-BB2D-3C46FFEB73A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80beebe0551a3dd2b5abe7efaa241736fdce2b5c","datavalue":{"value":{"entity-type":"item","numeric-id":4380422,"id":"Q4380422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$FB39E296-9E31-48B2-AEDC-8961473102D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7909993d72fefe567d67491e498a56c66e5f1e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1903697,"id":"Q1903697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$9C464EF1-C995-4C50-8632-088FF60EEE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31273e42a27adea0c3c52f91d0554272dacdc86","datavalue":{"value":{"entity-type":"item","numeric-id":2683780,"id":"Q2683780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$839962AB-09EC-4635-8251-B4099374B94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1116b19c9afc8915dc056dd93345dc8bec8b72b9","datavalue":{"value":{"entity-type":"item","numeric-id":3002522,"id":"Q3002522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$DD7E5625-8FEB-4FCF-946E-93CF71C0A443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$FC69EE37-7718-4185-BC5D-8E1D4315837C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172f7a6ce0e85704ff61dd3ac88abcb54fa56582","datavalue":{"value":{"entity-type":"item","numeric-id":5129224,"id":"Q5129224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$7B783C9A-A15E-4E04-A538-8FB053F54463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862431$7D36A911-630A-4228-A78F-B834B270B85C","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":"Q6862431$A1C39253-433D-4957-9240-ADD2E3D61BCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniform preorders and partial combinatory algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniform_preorders_and_partial_combinatory_algebras"}}}}}