{"entities":{"Q6488555":{"pageid":14067324,"ns":120,"title":"Item:Q6488555","lastrevid":103341182,"modified":"2026-06-06T07:12:03Z","type":"item","id":"Q6488555","labels":{"en":{"language":"en","value":"A mechanically assisted constructive proof in category theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680829"}},"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":"Q6488555$0A454355-9ACA-40C2-8A16-2BBFDDD3DF87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fa433151a0d5570e8581f8596356ac4044f93e5","datavalue":{"value":{"text":"A mechanically assisted constructive proof in category theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488555$DD0DB858-2A81-422C-82BF-F2ABD8C24F55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9deac8b32199df6c6b25780f405eee4c982ad1ef","datavalue":{"value":"1509.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488555$B70D7FEA-8B1E-4E1E-85CF-990390CF4E8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"460bfc0706ba7cd4f308dedb57df46da0e5e15b7","datavalue":{"value":"10.1007/3-540-52885-7_110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488555$30B701A9-20A7-4CF2-9059-CA47BE0BBD3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8ec2c4b07175ac2d23bd4800fc5d998bf3f1953","datavalue":{"value":{"entity-type":"item","numeric-id":6488554,"id":"Q6488554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488555$A689739C-325F-4486-9573-038ECF091AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55516c9acfe06eeff291481b7f91efa8e1b2799","datavalue":{"value":{"entity-type":"item","numeric-id":283764,"id":"Q283764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488555$1F23897F-8F6F-4086-8D31-1BAE1E0A8EE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488555$C21244CD-DF12-43CB-AED6-2CF6A1898493","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488555$26BABFD9-1F1A-4A51-9A10-E37F4B728A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488555$9F372A21-6601-4488-AE8C-1E87F72B9181","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7f9158f41469f07f67aaa878941e4e99554f6aa","datavalue":{"value":"7680829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488555$08AA47FB-1B82-49DA-8CEF-0F6F4EBFCE2A","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":"Q6488555$5842760B-7862-4FDF-B727-1B0DBE1E6628","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30105c6f58eb5569d25628a4f5342b5f878c349f","datavalue":{"value":{"entity-type":"item","numeric-id":6488555,"id":"Q6488555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488555$F513F69C-E575-4629-8FFB-BB966AAB8D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d08c6ce249dfcb5e4718a6b569ad361f18627cb","datavalue":{"value":{"entity-type":"item","numeric-id":4206388,"id":"Q4206388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488555$5FD41CF9-9501-4C90-93A3-9628311A77E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919f52322caa1f64db8e03c0110d91f38242027e","datavalue":{"value":{"entity-type":"item","numeric-id":3912003,"id":"Q3912003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488555$55587986-490D-48AA-BE7B-09E8C92A5FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488555$EB307E0B-C9EF-4DD6-B084-748DA765EA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488555$866B7AAE-F273-4F07-ADBC-70CBEEA7BE72","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":"Q6488555$713F5E44-BC9D-4BBD-A8BA-B770B04F109E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488555$772C9591-546C-4EB0-AE9B-EF98B49B3697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81246643425bf2cf941852d02f9c26835217d87d","datavalue":{"value":{"entity-type":"item","numeric-id":4040030,"id":"Q4040030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488555$68627582-2417-4EFE-89E9-95E6DE5BDD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488555$6D606AE0-4687-4D82-8CC2-B5ABFDB067A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee932d15e0af36b96a121aaa6789a5ebbfa5488","datavalue":{"value":{"entity-type":"item","numeric-id":2897948,"id":"Q2897948"},"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":"Q6488555$F5FFA7A4-9540-409E-9210-153022FD29B7","rank":"normal"},{"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":"d372a3ace1fa91dffee751264b5f945081b57691","datavalue":{"value":{"amount":"+0.7854311466217041","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":"Q6488555$D164F40D-7DDF-4B79-87CA-44EC440CBFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ca28641704223a524a5e85c8e0ceffa7778692","datavalue":{"value":{"entity-type":"item","numeric-id":4040030,"id":"Q4040030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b835b613307d5bcade9b631197ee268ac6b3552b","datavalue":{"value":{"amount":"+0.7445032000541687","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":"Q6488555$CA5F4392-E243-4EAD-8C8C-454693D13DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f01c34cf127cab6b89eb2237d2709109219843ca","datavalue":{"value":{"entity-type":"item","numeric-id":2879258,"id":"Q2879258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abf8f16dbf29c5b5e951778695bc08e44ddaf43","datavalue":{"value":{"amount":"+0.740667998790741","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":"Q6488555$50669EB8-9850-4905-9D52-CAB6FCD7CA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1222731a6376daf51f307b76c96e7cf166a4b552","datavalue":{"value":{"entity-type":"item","numeric-id":4725714,"id":"Q4725714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4acafb69af681712e136002d58dd36ff107a5ff","datavalue":{"value":{"amount":"+0.7380306124687195","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":"Q6488555$9F40B137-7A28-4FE4-8CC4-EBFF5833C2F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A mechanically assisted constructive proof in category theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_mechanically_assisted_constructive_proof_in_category_theory"}}}}}