{"entities":{"Q2078414":{"pageid":2089156,"ns":120,"title":"Item:Q2078414","lastrevid":57720063,"modified":"2026-04-01T02:14:50Z","type":"item","id":"Q2078414","labels":{"en":{"language":"en","value":"On free abelian categories for theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7481861"}},"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":"Q2078414$E648671F-48D3-46BC-88D0-1BEDC6072383","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70d7a8e6cc8af31234a4162f16613c9c72171b92","datavalue":{"value":{"text":"On free abelian categories for theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2078414$BDB6C2FC-8DEE-4E5D-8562-5D4511F1C042","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32dd844d2eea60f43fd08987d42088788633d827","datavalue":{"value":"1481.18012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2078414$9DBEA435-923F-48E3-957F-03D562DA4929","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d5bf0d3c5c95d6f5c45aa93cf9c47948779cbf7","datavalue":{"value":{"entity-type":"item","numeric-id":1650743,"id":"Q1650743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$E4183652-CA3B-4D9C-9A3F-E52CCFA07CD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$688DB814-FEC8-4E7C-9597-E09777199C9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f8b3c6faba5d9d4300af24b095d7831ca46f12f","datavalue":{"value":{"time":"+2022-02-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":"Q2078414$75C53825-1BE4-43F0-BC7A-288A7565D7EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e905bdb22a159a8322593584a84240ce6ea3133","datavalue":{"value":"https://arxiv.org/abs/2103.08379","type":"string"},"datatype":"url"},"type":"statement","id":"Q2078414$3EBA8CB0-B953-400D-9795-848D023404D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2078414$2383D2A4-DFD7-49AD-A467-4EE2776BE7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2078414$B07633D8-DA1D-4225-8FDD-850D4EA72038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db94c21dbe04274a9c1fa5aa1b0593fe4bfa07c1","datavalue":{"value":"18E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2078414$6459147C-DED4-4791-9636-40C6ED323613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2078414$0DC5AEC0-2F21-45CD-AA6B-66EC9B89268B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b49631263ea485f89da9121638fcbaab5d88f33","datavalue":{"value":"7481861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2078414$E9FD31D5-60F3-4C56-A137-943774D7AAB1","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":"Q2078414$64B564BA-661F-408D-BC77-1E104A63A681","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1206ffa08d095e6965c39e28c8d68240069764a7","datavalue":{"value":"W4205402328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2078414$C727A78B-3A2A-4DA9-B80C-C1557ED0C8BF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4322f1820171c88ce72b9694e254fd9020e1ed32","datavalue":{"value":"Q113870178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2078414$999BE98F-1296-491B-BB77-F438BBF36871","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de4d5eb13202c54c57603fa7af2967325cd25bce","datavalue":{"value":{"entity-type":"item","numeric-id":1845803,"id":"Q1845803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$46AF6E7D-549F-4F66-B23E-756598E031F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0abbe0e656bdee3f2a898ef3616131ab778fab0","datavalue":{"value":{"entity-type":"item","numeric-id":3946306,"id":"Q3946306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$07FD697F-52CD-4FB9-8A15-584C885D1355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c95f073b4685730c884add4d5f84518a7a10af","datavalue":{"value":{"entity-type":"item","numeric-id":5933377,"id":"Q5933377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$0F5DB83F-38F2-4C0F-A5FA-52A157EE5DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f863f32c36afa2b13a43ef628834333147d69c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4023642,"id":"Q4023642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$959EF35E-75EE-4086-B1F0-41BB4B926D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1e8d86bb2f4444f1598edfa133f794b4df98d3","datavalue":{"value":{"entity-type":"item","numeric-id":5540480,"id":"Q5540480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$C56451FE-EC9C-4023-AD86-866B90C23829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfb124f04bfdfe8aadf6c513fa09542cea2eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5731806,"id":"Q5731806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$0D221C04-B610-47DF-B843-B7E5B78CA03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930b2f39f00998b52f083a7a79e4f1a617a24ee5","datavalue":{"value":{"entity-type":"item","numeric-id":5599870,"id":"Q5599870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$24AB062D-C37F-486D-ABE8-268E51A18080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3e789f355979dc7785de233cd91220374b23f3","datavalue":{"value":{"entity-type":"item","numeric-id":1001414,"id":"Q1001414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$7316EF1D-360B-4D9C-96D8-4869E6AF0A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"659c9c1a21fb1028bee58b5525281ec861ddc578","datavalue":{"value":{"entity-type":"item","numeric-id":2445923,"id":"Q2445923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$CD86D253-E2A4-474F-A61B-1F6C507802CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$61D022B5-A172-4767-AA17-54C6E330A461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$4393DCE6-6FD7-4D69-9101-5D658C6CE7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4630aa374e1c583ad97888619ea3e414f425cec","datavalue":{"value":{"entity-type":"item","numeric-id":2035866,"id":"Q2035866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$5A85011B-D5EB-42DD-8E2D-06FA7F7165DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c844ee5125b77c2616ce91cb7ac431a1afc191d","datavalue":{"value":{"entity-type":"item","numeric-id":3632824,"id":"Q3632824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$C36D0C8E-705F-41FE-B0AF-7DEDFC2DF931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2a241c4b932df388ea61ff4e34f424812b633a","datavalue":{"value":{"entity-type":"item","numeric-id":4296949,"id":"Q4296949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2078414$ACFC0A70-FF28-45D9-9006-27DABC07F5EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a59b4e03883f5e2a3c887dfbf140bf566200f58d","datavalue":{"value":"10.1016/J.JPAA.2021.106994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2078414$641668BA-1EC0-4BF3-9633-F473636D7ABE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4059c0aa9515e803b05ed523bfd9635e65d40d","datavalue":{"value":{"entity-type":"item","numeric-id":2886190,"id":"Q2886190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce8b60adce83544be034df53fa5a9004f25b4be","datavalue":{"value":{"amount":"+0.75015789270401","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":"Q2078414$1E77C83B-B6E5-4BC3-9F6E-F043C407582A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74df0208da3cae807eca3f5d2dd99c2eb7a19e61","datavalue":{"value":{"entity-type":"item","numeric-id":4942357,"id":"Q4942357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6ced1ec7b6255e449732eed61fc604435e295c","datavalue":{"value":{"amount":"+0.7495508790016174","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":"Q2078414$237DECD9-1B01-4DC3-8FAA-518BB58FF2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"818ce65dbf2fc1da010a148aea30d739452e96a3","datavalue":{"value":{"entity-type":"item","numeric-id":4618494,"id":"Q4618494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990932bb49c74627570ec2f26b19a447a7ad880f","datavalue":{"value":{"amount":"+0.7357825040817261","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":"Q2078414$0C011988-1301-4691-86C0-6105993911A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da98cbf4f1de06d6c2fdb4150650ee2c49cd977f","datavalue":{"value":{"entity-type":"item","numeric-id":385605,"id":"Q385605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f402b7cbc850d0d8f1344df8b1471d1ad6f35f","datavalue":{"value":{"amount":"+0.7229663133621216","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":"Q2078414$A830DE94-24C2-4BC3-98B0-FD7F29A42FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d035584c61a7f402d053bc5c3c79949000fd43a3","datavalue":{"value":{"entity-type":"item","numeric-id":5017594,"id":"Q5017594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b872517ae3ca8e5a31f8e5ca7a0965bede781fc3","datavalue":{"value":{"amount":"+0.7186740040779114","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":"Q2078414$24C8D69F-5492-48B9-923E-AA8A0EC89E94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2078414","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2078414"}}}}}