{"entities":{"Q3613422":{"pageid":5643328,"ns":120,"title":"Item:Q3613422","lastrevid":49685308,"modified":"2026-01-09T01:31:39Z","type":"item","id":"Q3613422","labels":{"en":{"language":"en","value":"Automating Proofs in Category Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528303"}},"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":"Q3613422$537F483C-9C6C-4B90-94D8-C5376A311EF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11915246555d51c8a6f3770bbb90609fc8bc3f91","datavalue":{"value":{"text":"Automating Proofs in Category Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613422$E7DB04DE-6C5B-4C16-ABF8-54ABA8AD7CFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2875c866663a92366161e05c91b68d5dc292dc8","datavalue":{"value":"1222.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613422$ED8903C8-0CE2-4D3F-B161-E7B61FC2270C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72b1c80eb481ffdb36f026ee444f350f1a6cb560","datavalue":{"value":"10.1007/11814771_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613422$A47FC501-8C93-4495-B694-69CD35941EA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613422$48F0CC46-6302-42EF-887F-CE1A33493523","rank":"normal"},{"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":"Q3613422$46ADB1C5-0994-4E60-AEEA-87561A384AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d7c5d89e0ca3ed1883bb76eb46c5d70fa101c96","datavalue":{"value":{"entity-type":"item","numeric-id":813071,"id":"Q813071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613422$DBB7167D-382D-46F2-AAA8-71F2B867492B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613422$6340168C-B736-4F12-86A6-0A96C8AACB22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613422$5236FD54-D91A-4C29-B069-93C7FC1F1049","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613422$1A341A66-735E-43D5-A902-74B754503D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd14109b728357c96051ccc125db5e1d8c36ea77","datavalue":{"value":"18A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613422$601AF805-3A07-4742-8EDA-8A987A3F302A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613422$73F75698-2BE2-4D1F-BFC3-72E90F6E8EC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"579ad87da2bdbaf6984093889c3abb096f54b05b","datavalue":{"value":"5528303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613422$4C7EEACA-8354-41BF-94D8-1F05ECF5C660","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":"Q3613422$12D691AF-2C41-4F59-B522-AE416ACEA873","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ddfa182e0f7bfe099fcfae6b39d6d641221e4da","datavalue":{"value":"https://doi.org/10.1007/11814771_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613422$07AA621C-C9A0-4056-97FF-6E33E063A435","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b34055fbe95abc8eb13f847ea7cd0dc279e53fd","datavalue":{"value":"W1517437198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613422$C324C0C6-A9A4-4496-85DA-92C61AC4A7C1","rank":"normal"}],"P1643":[{"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":"8b7f9aac5746bec5187f882b50343d25703d8ce9","datavalue":{"value":{"amount":"+0.91525704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613422$299F90CE-8C52-409E-94E8-172ED895B148","rank":"normal"},{"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":"c88af11a7bd480d7acf7d5c57f342c53df89346b","datavalue":{"value":{"amount":"+0.9071278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613422$2D62C230-A81E-4E19-886E-452062E1FD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050391e3f27b8bfab5af09f69bc4e968903fe067","datavalue":{"value":{"entity-type":"item","numeric-id":4871733,"id":"Q4871733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b58ea38332be79b1ba3b7f68bcdd7eaec24d03","datavalue":{"value":{"amount":"+0.90075517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613422$EE5E00CA-DF5E-48F9-B22C-4339E78B34E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6706f674745437a28e826927d52883b093061b9e","datavalue":{"value":{"entity-type":"item","numeric-id":2988387,"id":"Q2988387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7406cb621768d26b5f4e0c6470877e19e81ff8e","datavalue":{"value":{"amount":"+0.89093196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613422$D5EC4FA0-9DF4-4524-9CDE-F55FC6FB7D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae81c0ea6549c6b668b4c8b459cf4d46dc8e5bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2744122,"id":"Q2744122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff52f16e709a884be52d13bae5ad3da8c8d6fee9","datavalue":{"value":{"amount":"+0.8894658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613422$E108FF1F-A6BF-45E6-9391-D079F0E1B847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f3871c91d193182f24e1450a792f7ef1c194e7","datavalue":{"value":{"entity-type":"item","numeric-id":4332419,"id":"Q4332419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4028991b59c6b50f12850b904191fed361f9b61","datavalue":{"value":{"amount":"+0.88925314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613422$B6033BB6-3D86-4511-B956-82CC07969C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3755b2b10fc118528700dc66a47333a24adbf36f","datavalue":{"value":{"amount":"+0.88661385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613422$B4744C99-1976-47FA-9F58-79B53D38D2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5331b37b95be4ebbbb648e9bfd870d3a37599806","datavalue":{"value":{"entity-type":"item","numeric-id":1379289,"id":"Q1379289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a201a6110a8f41ba89bc70f6926e90a8fcc00622","datavalue":{"value":{"amount":"+0.88608253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613422$5751BF86-B1DD-435E-B5B3-66E006F35908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ead96eb0dad59b33308a29c10c00c5949abf9c","datavalue":{"value":{"entity-type":"item","numeric-id":2723415,"id":"Q2723415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb702ce8375af9c5a13950d3f1b36bcc1a668f3b","datavalue":{"value":{"amount":"+0.88538647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613422$E6DDB672-49AD-4EC2-BAB2-F975F4B7CB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08562885acdf630cb480dbe6bb784304badc973","datavalue":{"value":{"entity-type":"item","numeric-id":1868508,"id":"Q1868508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb702ce8375af9c5a13950d3f1b36bcc1a668f3b","datavalue":{"value":{"amount":"+0.88538647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613422$36ED9FBF-B2B5-43A8-A6DD-0818899F089B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613422"}}}}}