{"entities":{"Q3386753":{"pageid":3397456,"ns":120,"title":"Item:Q3386753","lastrevid":88188812,"modified":"2026-06-04T13:52:04Z","type":"item","id":"Q3386753","labels":{"en":{"language":"en","value":"Internal partial combinatory algebras and their slices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7290838"}},"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":"Q3386753$36243E02-8CCB-467B-BFDE-2FE858147E83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf1d11b2b93b92c768b93ab2d44adc32d403000e","datavalue":{"value":"1457.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386753$2162109B-64F8-4ABD-8A7F-FC0CEB2BFCAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b4005012caf0443082107d0ce56b28cc83a4951","datavalue":{"value":{"entity-type":"item","numeric-id":1740458,"id":"Q1740458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386753$881DF76D-489B-4DFB-B489-DEA58FCAB0C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28000f86d5331c096188ef3a8388c83c359f78a7","datavalue":{"value":{"time":"+2021-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3386753$98FDB454-F848-4C91-B989-FDF93F6E1877","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5793a8deb05ec34eb8b7f3db0f383bcb556a6ef","datavalue":{"value":"https://arxiv.org/abs/1910.09816","type":"string"},"datatype":"url"},"type":"statement","id":"Q3386753$CBC0E47C-2EA2-4A85-951E-F89C8FD9A4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d301d07d71af1ba05cd077fb901d637916eefc8","datavalue":{"value":"http://www.tac.mta.ca/tac/volumes/35/52/35-52abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3386753$C6FA9324-86CB-426D-AA6B-29B1296F88F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386753$8B8583E2-66F5-4A47-B71B-6CF6ABE57584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386753$50DF10D4-7A99-433B-AC17-180E873AFFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386753$C443684A-4451-4F95-9F04-D0393E465D90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56234f7dd656f37d02c64971a137f6402805a713","datavalue":{"value":"7290838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386753$B61FB9D9-A365-4577-A606-EB5C03079929","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c95942ab172c120cf5c0a061ffa7c68c666aad","datavalue":{"value":"partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386753$5E7B73AC-10CF-49B4-B03C-3504A0A55E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37ab85e6ed587477ef05d6eb082db459f2cd54ed","datavalue":{"value":"assemblies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386753$2253C53D-9F5E-470F-856B-34A96AD8DAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e1a27388601c045a8d9f673692f60d4475ff15","datavalue":{"value":"toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386753$18799EEF-55DE-4A8E-B8A8-AE59FE16C2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a328af7ff1543bbca7dabe1fd934e14aca40f87e","datavalue":{"value":"slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386753$99006F2B-1BC4-4B32-8E58-130133ACFA92","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":"Q3386753$E7CFBB14-A1F8-4373-9FA0-6FB9F2E3B956","rank":"normal"}],"P223":[{"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":"Q3386753$E78AE4EB-5242-4993-BB18-86F45EA3A49E","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":"Q3386753$A31F5731-5138-4969-9A25-A31B10A1CBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd67abd2467590c0cafdcd35bf27574ea1d9e02e","datavalue":{"value":{"entity-type":"item","numeric-id":4431167,"id":"Q4431167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386753$191834BC-4118-4E0F-8EAF-A3E30C227AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386753$AAB6A894-EFFE-404B-A972-AACF61DFA111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f044934af972e97f50b799669d7e72dc07493684","datavalue":{"value":{"entity-type":"item","numeric-id":2847361,"id":"Q2847361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386753$4ACB102D-AC48-4EBD-A6EA-1E362DCAEAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e7ff2364fc8d0bb5f599f5e91c47a30306cbde","datavalue":{"value":{"entity-type":"item","numeric-id":5400856,"id":"Q5400856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386753$C942929A-C0A5-49EB-9E12-E4AB4656E160","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"c9d27ab6b36c976ada706f36d2910fe8577c1e18","datavalue":{"value":"bafkreigk3xejdm55o5gjgr4e6lyuuseypxvhgssitpp6ag226acdecuzja","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386753$04126139-8C08-4F76-B33A-FCDE949711DD","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":"a5bc21a2875c437d720b6c2c8db3bdba9906639e","datavalue":{"value":{"amount":"+0.8286763429641724","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":"Q3386753$1F39686F-F62A-4EAA-A36C-EF7B36BC201E","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":"b5b31be39901ca330be654de1ada2ddf609915a9","datavalue":{"value":{"amount":"+0.7922534942626953","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":"Q3386753$855FCD79-3213-454B-A743-44DA6C8B2E0D","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":"d9169cc751a9d27727d1b61ef55f879c2a9de85d","datavalue":{"value":{"amount":"+0.7887951731681824","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":"Q3386753$759227FB-B343-4B1A-AF21-3DDFD6C1BCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b510e7821f9cd6f63832c7dd822555c622953d96","datavalue":{"value":{"entity-type":"item","numeric-id":5740205,"id":"Q5740205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ecfe07ea2614a6ded62f7ff93af9777fbf7225","datavalue":{"value":{"amount":"+0.7869710922241211","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":"Q3386753$0FD688DB-D97D-4DD0-82E9-D71B36101666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b284047bcfbee080888742355e4dadfb2d335d19","datavalue":{"value":{"entity-type":"item","numeric-id":1713020,"id":"Q1713020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9be88016400c21bfb0340df1565f9cd6228c559","datavalue":{"value":{"amount":"+0.7837784886360168","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":"Q3386753$C0747930-C677-4C69-8BE1-18C4F29E0CCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Internal partial combinatory algebras and their slices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Internal_partial_combinatory_algebras_and_their_slices"}}}}}