{"entities":{"Q5872878":{"pageid":7902429,"ns":120,"title":"Item:Q5872878","lastrevid":97507034,"modified":"2026-06-05T14:55:03Z","type":"item","id":"Q5872878","labels":{"en":{"language":"en","value":"Strict computability models over categories and presheaves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7638211"}},"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":"Q5872878$8DB45ABD-3B21-43DB-8ADE-57A2FF95240E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd20c9b43d8d48c88075abbaadb7444c6d5afc96","datavalue":{"value":{"text":"Strict computability models over categories and presheaves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5872878$333179C8-87F5-4CF5-93AF-6109537F0984","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"508ab3977fe59d67f85102e4170d30b94bba9fe2","datavalue":{"value":{"entity-type":"item","numeric-id":290634,"id":"Q290634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872878$EB01AAD8-398C-475E-A313-74BC613AD81B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eea63d6b9ca849acf5a3794e122546d7b53759fe","datavalue":{"value":{"time":"+2023-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5872878$962AB385-67AA-4C24-8153-FEEC7F4C3744","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872878$98A56BBD-F94B-42C1-BC5F-B00EF9887393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872878$8FD44529-8908-4A32-826D-520C397BD08F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f250d723d03f44b292cbcc9065fd021b1f7523d8","datavalue":{"value":"7638211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872878$72D67A46-6C39-4768-8C2A-F5386F3CC731","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d31c83b82fd129dffbd25a82175608da957586","datavalue":{"value":"higher-order computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872878$F6A13558-ADD1-4452-BD4A-75899F1426B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872878$61EA47E7-282D-4066-9F42-38B1F4956E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d611e9c4f91063c6ca694f4a9f4d3844d5c167c","datavalue":{"value":"presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872878$B815958E-2315-47EA-B6A0-AE971DF7BBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda313d3bda9ac33daec38686a1917213240a2a6","datavalue":{"value":"base of computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872878$C35F7D68-2BC7-47DA-9DA1-C7237C2B8961","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":"Q5872878$84453F2D-229C-4678-AFFA-C0FECCB6D129","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc429aedb7b28acd79c3c44d179a893bb7af6a0e","datavalue":{"value":"https://doi.org/10.1093/logcom/exac077","type":"string"},"datatype":"url"},"type":"statement","id":"Q5872878$D6F862A0-033D-4D1B-91DC-E3E9747C8721","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8082985b1b3f6413ce38b9c66d37cbb039d81ebd","datavalue":{"value":"W4308884937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872878$A3DB7814-14C9-4EEE-A5D6-03116210BDCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f089ea5f1cd4288bcd2bbdc3004d46bf7c9bac6d","datavalue":{"value":"10.1093/LOGCOM/EXAC077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872878$91CD875C-F5FB-4E02-941F-A62207AEF17D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872878$23FA30DC-F629-4F64-A073-65CDFEC58ECC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68139edc249e32ebc491f7e9ebd98ffd7191cbb5","datavalue":{"value":{"entity-type":"item","numeric-id":2151413,"id":"Q2151413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71c11e14e5b29b8eeda0314479477096582c178","datavalue":{"value":{"amount":"+0.9743833541870116","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":"Q5872878$A8915FCE-4A36-4FEA-B6D0-E96081511530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df659cb78f6fa8620981a96b91410e1bec87ff41","datavalue":{"value":{"entity-type":"item","numeric-id":5740351,"id":"Q5740351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5f07b62d10f3afa338bf0476afc81b45dfafe5","datavalue":{"value":{"amount":"+0.7672989964485168","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":"Q5872878$941253DC-12AD-427E-BEB0-EDAD15D25218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee53c4d57f315de3f967f01c4edbb342a5007775","datavalue":{"value":{"entity-type":"item","numeric-id":964545,"id":"Q964545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bba91d832590edbb1f117ead984b74b935ac173","datavalue":{"value":{"amount":"+0.7633779644966125","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":"Q5872878$E8445D5E-EA08-4108-A442-D9497D4A926D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9228a291779573639c9236834f94a2c44bcbe6c2","datavalue":{"value":{"entity-type":"item","numeric-id":3457676,"id":"Q3457676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eaf8bb8f5a6aea9fcec9351d6c2341e8a2d9f84","datavalue":{"value":{"amount":"+0.7404433488845825","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":"Q5872878$92F97093-4F98-46A2-9B0D-A7E6DBB40773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c265bdfb5e80f72bd1522bf540f4e9b4b3a90e40","datavalue":{"value":{"entity-type":"item","numeric-id":998306,"id":"Q998306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e03334d323508f8a32e0437456598f871e6e95","datavalue":{"value":{"amount":"+0.7199090123176575","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":"Q5872878$F6F5801D-7582-4B02-8240-A51416C78BB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strict computability models over categories and presheaves","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strict_computability_models_over_categories_and_presheaves"}}}}}