{"entities":{"Q6567701":{"pageid":14178856,"ns":120,"title":"Item:Q6567701","lastrevid":55703311,"modified":"2026-02-17T21:20:05Z","type":"item","id":"Q6567701","labels":{"en":{"language":"en","value":"A comparison of HOL and ALF formalizations of a categorical coherence theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876650"}},"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":"Q6567701$DDA1B9C8-8FD7-4C83-9DDA-97150DAC2657","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bbffe4e3b6937a2129fa0ce888c223f741a7dea","datavalue":{"value":{"text":"A comparison of HOL and ALF formalizations of a categorical coherence theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567701$0CD41328-938B-4A31-B0A3-EF05086EACD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff3f895a954a665a7dd744186d93498eaa5ccda8","datavalue":{"value":"1543.68413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567701$0B39AAC6-D629-42FD-8448-5A37A4FF0428","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f883de37ec81ed28035a51bb528e53b47cb8674c","datavalue":{"value":{"entity-type":"item","numeric-id":1125436,"id":"Q1125436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567701$999E3AA3-4CF8-4DDE-A4BA-718E36041764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9795b00ac8f37a027baf8b0bae0821eb83ac345","datavalue":{"value":{"entity-type":"item","numeric-id":4260393,"id":"Q4260393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567701$3A7BBFBD-469D-4805-8C29-751B1EA01040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567701$D5104F3C-1DE1-4BFF-8C88-10BF3DDFD473","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567701$1701D44D-8B70-48EE-AAF0-0264FFC3A07A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567701$A3952840-D8B6-4916-83EE-F043936CDD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9182fe72874242a6deecfe62c63bbf9bfe31c485","datavalue":{"value":"18M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567701$9137B6D3-D932-4D31-9E36-78408ADA42E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02dc5c51a3d84d349adad84727c62b7f3d90cd25","datavalue":{"value":"7876650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567701$70000E5F-18AC-49C1-A140-C333726A3120","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":"Q6567701$E4FC885C-FEF1-4FC0-8562-971B216AFC62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567701$AD37C0AC-A5DF-45F2-AD8F-97EBD5D55E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567701$7D7597C7-877B-4969-842F-A4D4AB4FB7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567701$24B2AD87-419B-49DA-8B9F-F7BC0D2A4F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567701$691F9411-0FCF-4768-92AF-3B2CDE6FF05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567701$E38A486E-7E22-4132-828C-F3EE740A0BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567701$CE5B77BE-021F-4357-B482-C2E78751E9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567701$432E0620-F3B5-4FEC-96D3-69A95F2F59A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35852691e725c71cf8e921b7748b4e2b09da6624","datavalue":{"value":{"entity-type":"item","numeric-id":800739,"id":"Q800739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567701$2ADE6DDD-3D69-42FE-96A2-494B5FCBD530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6611ed6de8858c0611fd34fe4122695cc82d9e5b","datavalue":{"value":{"entity-type":"item","numeric-id":4023244,"id":"Q4023244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567701$670C5B69-E6F0-406A-ADC9-53E12E035FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0ff49397ea19846ebf7015ef97d9aaf7053b93","datavalue":{"value":{"entity-type":"item","numeric-id":3024887,"id":"Q3024887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567701$53CB4CF7-E23A-4736-95B8-691C38F6E055","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f4f39a992c92c784ae38c7f9933e45ec883987a","datavalue":{"value":"10.1007/BFB0105394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567701$5D8798C1-336E-4E93-80D0-AC87DDB28699","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ee7899076fdac8cabf86947fec867d7422dc746","datavalue":{"value":{"entity-type":"item","numeric-id":4647569,"id":"Q4647569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4449e944ccdd520dea82157e5f47aee6abed94e","datavalue":{"value":{"amount":"+0.8061108589172363","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":"Q6567701$0F8A63FF-18F1-4023-B6F1-8C72DEFA7725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20064da0a0397d979008c6ca2a64b9c8a4f5925","datavalue":{"value":{"entity-type":"item","numeric-id":2766808,"id":"Q2766808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f62119ad6c0a134dbd7fdf359096e4febf2008ce","datavalue":{"value":{"amount":"+0.7721699476242065","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":"Q6567701$9948A5C4-47E5-4503-B138-7A220C956AC3","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":"da2a17f5fdfb425fe6b4a323944e3ed7a8c5750d","datavalue":{"value":{"amount":"+0.7424320578575134","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":"Q6567701$7F4F9801-C125-45F1-9127-D51CADC7606D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32197fb586a83d9fc626ed92406059f7b2e69227","datavalue":{"value":{"entity-type":"item","numeric-id":5102205,"id":"Q5102205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710011abb8b3c287f1965de48d5fb9133bbdac90","datavalue":{"value":{"amount":"+0.7374399900436401","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":"Q6567701$761C4D1D-779C-4A18-AA55-729F66BB6414","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":"5240f4923a0a3b3ab5d627a1323e5a3e9eeb521d","datavalue":{"value":{"amount":"+0.7353007197380066","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":"Q6567701$8E323AC6-EA8F-4D4E-A793-4DD66756ECB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567701","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567701"}}}}}