{"entities":{"Q4431167":{"pageid":6460766,"ns":120,"title":"Item:Q4431167","lastrevid":48185386,"modified":"2026-01-03T21:46:28Z","type":"item","id":"Q4431167","labels":{"en":{"language":"en","value":"Ordered partial combinatory algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1990998"}},"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":"Q4431167$45EF4674-DC84-47C4-9AE2-7BFEFE9A706A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6f527fc88f775168b2569d8ef5c5f20f503619a","datavalue":{"value":{"text":"Ordered partial combinatory algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4431167$5BA412BC-B689-4927-BC79-9EC6925004DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d30c251e17cebc091494153940020e1002d93fc","datavalue":{"value":"1046.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4431167$A8D5F805-F56A-4721-A94C-25F2073679E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efe934936c651827c6d547b1ac7ddeea7351535a","datavalue":{"value":"10.1017/S0305004102006424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4431167$AEA8B1D1-4278-4562-B336-C08D238177D8","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":"Q4431167$5519512D-DDD0-4087-B081-5BC603B2D9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd6cc9584ccaa606d69062d2e94bcf604f2dd9f1","datavalue":{"value":{"entity-type":"item","numeric-id":964544,"id":"Q964544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4431167$45FE9866-8F60-404D-BF75-E66959060B9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a0ba849355c4f570fe24e534585b3220dce858d","datavalue":{"value":{"entity-type":"item","numeric-id":100593,"id":"Q100593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4431167$6B9195BD-2CF4-4260-9059-647293857901","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca5125b05e2c98c67e38c71dce31dfb7bf4b962a","datavalue":{"value":{"time":"+2003-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4431167$3AEF0500-B8A5-46BC-A427-1077F7983255","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4431167$F642D493-7FA7-410E-8D18-107488352D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4431167$69673505-9A37-4F65-9350-58AC87803BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4431167$C6EFDF39-F255-4076-B61B-9E81AF63D02C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81fcb4646b88a79b48a6bd52bf70f7fbf25b433a","datavalue":{"value":"1990998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4431167$15B685F6-769F-4DFB-822E-2737B413AF41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"683ba331963d87c62cf118fb4d22842188cbf470","datavalue":{"value":"ordered partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4431167$E4CBBA8E-7D8E-4A38-83BE-2B21A901C5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f450ed1d930ab0e03177e9c7678e94ef9770c84f","datavalue":{"value":"2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4431167$53F91C59-896F-4D69-B927-CCA88123E7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f6f3fafcd3152550c179a0827fe5b0632d3b660","datavalue":{"value":"2-functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4431167$2E4F03C0-CCDD-45EB-9CA3-A4A3C5FDFC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4431167$3A8EEF80-9BEE-4AC8-906B-2092C6997F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q4431167$2242F974-60EB-4649-BFC5-C5D9707454E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10788675d9997015fdba74fcfabbd9f224576d5c","datavalue":{"value":"realizability triposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4431167$05076DDA-2B71-42AD-9ADE-FFACFB3CF741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eea956ca687ef3e00f69962cdbdad50932b6a273","datavalue":{"value":"geometric morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4431167$16DEFE64-E668-483C-86C8-408D30B37F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19376f04d1151102d2b103fe77d3b20f896df6a4","datavalue":{"value":"partitioned assemblies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4431167$37068A2F-46BE-46DA-86FF-FD9F829B0B56","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":"Q4431167$96783E46-DCB7-4D9D-8D09-D4564C2BAADE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"682a7db2beea712cc91b85b75f638e5e9b8a5d79","datavalue":{"value":"https://doi.org/10.1017/s0305004102006424","type":"string"},"datatype":"url"},"type":"statement","id":"Q4431167$1F0C073B-DCB5-4EF4-BAE2-ED228933D015","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa3ba763373a3574670d4da312f5295ce483dfd2","datavalue":{"value":"W1990564510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4431167$2DC4D563-B07C-472C-97CA-2F5C20BDA68F","rank":"normal"}],"P1643":[{"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":"31e1e081811e937db66046a085ad500615b7be85","datavalue":{"value":{"amount":"+0.8537431359291077","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":"Q4431167$F3F7A2D7-6C7C-4E11-9311-5D06BA3CF429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937fcb6cf9e4dda9108338dce3f015f2727a43a9","datavalue":{"value":{"entity-type":"item","numeric-id":5450701,"id":"Q5450701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e18f092306721dc82b8677d408697c1c7bb6134","datavalue":{"value":{"amount":"+0.8214730620384216","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":"Q4431167$19A40B48-B168-4E3D-B5C9-B0310A527746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c300031121640aa7e69099115190657f9cb78c","datavalue":{"value":{"entity-type":"item","numeric-id":3386753,"id":"Q3386753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368fca1fa10e98e5967327b18e11a66b92ec61cc","datavalue":{"value":{"amount":"+0.8020944595336914","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":"Q4431167$6C34ACC7-0DB1-4FD7-A199-CBC53C3EE279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fbeae8599b656d18850bed10f6170863dde4fa6","datavalue":{"value":{"entity-type":"item","numeric-id":3419822,"id":"Q3419822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b639b404584aa23e0d6ca4624bafebf1a00fddcb","datavalue":{"value":{"amount":"+0.796148419380188","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":"Q4431167$88279598-04A5-454D-B923-52376830B223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5cddce10e195f0dd99466c2121031e92b747ad8","datavalue":{"value":{"entity-type":"item","numeric-id":654017,"id":"Q654017"},"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":"Q4431167$41966E8F-33B2-4168-B5D9-82AA4F7EEA9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4431167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4431167"}}}}}