{"entities":{"Q2897948":{"pageid":2908673,"ns":120,"title":"Item:Q2897948","lastrevid":51513368,"modified":"2026-01-18T14:14:42Z","type":"item","id":"Q2897948","labels":{"en":{"language":"en","value":"Nuprl as logical framework for automating proofs in category theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6057235"}},"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":"Q2897948$22E1414B-5201-4F07-BFA0-9AB2757278DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b31f04a4d583fbcc3c746a3470e96ac6121e997","datavalue":{"value":{"text":"Nuprl as Logical Framework for Automating Proofs in Category Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2897948$B76C2B8A-85FD-4CB4-8A05-1CCB5759B8BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6a0bb6d15091b2173e368731e4c0b58e2f710b7","datavalue":{"value":"1354.68232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897948$176A1F0E-5B91-4B19-B1B0-56597AC76948","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1c9bcdd8d81aa3320891292201b4dcc54eb9409","datavalue":{"value":"10.1007/978-3-642-29485-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897948$644852B9-59F7-4AC5-B207-43AD1D48007E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2897948$79C8844A-5E3B-44BB-89D0-9F4A1D35E6AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a4b620383f8b9c10f97e45d6ffb9d04a09359506","datavalue":{"value":{"entity-type":"item","numeric-id":2897939,"id":"Q2897939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2897948$4C1FE0BD-B7EF-4809-883F-6B65A3A16F32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe89deaa1ca0e49e45cc01dd05640dfc255fa677","datavalue":{"value":{"time":"+2012-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2897948$E68E329E-0C99-49D9-BECC-24048D9510C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897948$7F2FBA33-00C3-4175-90BA-F97AFC430519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f8ff1bc7135bb1a5f4ce6282771b53dfaffbb01","datavalue":{"value":"18-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897948$06E43759-DDA7-4870-B1A4-E17A194B9CB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65447b33cf5d8ed8123f028ca5c61e5307782024","datavalue":{"value":"6057235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897948$5F239290-409F-46C4-BAA6-A9CB2B5706BB","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":"Q2897948$7518E1F9-6CAC-46E6-A480-777CF49E893B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc8b78803298503467d3a92708123243222e279b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29485-3_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2897948$2038AE39-2A77-42A9-8F0E-4642E26A555C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e547ab479dff59ebf3b26947e14665b676b8f328","datavalue":{"value":"W2224197671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2897948$F1CEFC46-DB26-4161-A4F6-9338BDBDC3DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a231acfbe73aed1fb01ddfe3677194f385003fe","datavalue":{"value":{"entity-type":"item","numeric-id":3613422,"id":"Q3613422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6c04d018534fd4070f17473bc23da9e66fbb5d","datavalue":{"value":{"amount":"+0.8565628528594971","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":"Q2897948$65FE3ACD-E3AC-49EF-8849-DAC55D8380FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae89b6fe2fcc9b6c72128a35539891e81f9d02a8","datavalue":{"value":{"entity-type":"item","numeric-id":6488555,"id":"Q6488555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625f279f034856290dd840e372deabd9ec2c8262","datavalue":{"value":{"amount":"+0.7858173251152039","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":"Q2897948$AF65A921-71BC-4B0B-95FC-55FF10A81D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95552b22b5e0b217af0693c33451090c3d5350ab","datavalue":{"value":{"entity-type":"item","numeric-id":2303232,"id":"Q2303232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6337f921507a4ae2019f05b86db6a89986cb6d51","datavalue":{"value":{"amount":"+0.7534286975860596","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":"Q2897948$4BF98E1C-5302-4D90-B9DC-1AEE3B9A4F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3ba4593734f4ebe3888f6b04d2e76479668adc6","datavalue":{"value":{"entity-type":"item","numeric-id":2845528,"id":"Q2845528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad668c4fccf4441a619f866adc7a670c8cb6cba","datavalue":{"value":{"amount":"+0.7240150570869446","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":"Q2897948$1EA441A4-08B6-4E02-B38F-DF9E5FFCB158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02483213f402d758d93ffa78a89dc233097b83c4","datavalue":{"value":{"entity-type":"item","numeric-id":4790657,"id":"Q4790657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef2cf6af23089f3cab4bb0c277b10d7886325b0","datavalue":{"value":{"amount":"+0.7220936417579651","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":"Q2897948$8FFD51CD-7D13-4896-850E-A00AAEF9F5CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2897948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2897948"}}}}}