{"entities":{"Q2819201":{"pageid":2829939,"ns":120,"title":"Item:Q2819201","lastrevid":52629800,"modified":"2026-01-23T03:42:10Z","type":"item","id":"Q2819201","labels":{"en":{"language":"en","value":"Automated deduction in ring theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6630644"}},"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":"Q2819201$9EC1EB42-7BF2-4CED-89B7-82C3A95EC467","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64ab12bc8320274b4a018093d96e5e0cb84343d0","datavalue":{"value":{"text":"Automated Deduction in Ring Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819201$DD0AA097-4D91-454A-B8E1-EC97AD54B9E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b71d4d35c3e80e47cde03026f2f68f0b3c2e11ad","datavalue":{"value":"1434.68642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819201$E77AD7CE-5210-401F-A0AD-3F147AE54C23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdc87df6f73bdb1e8bffac371ae09de0b8021a8f","datavalue":{"value":"10.1007/978-3-319-42432-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819201$9356417C-DDB0-44BC-BFF3-037DEB5B3AA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a969862dab9693ba2871085c6658749a1bf7a23","datavalue":{"value":{"entity-type":"item","numeric-id":818942,"id":"Q818942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$9066A5C7-9026-4489-9DD4-25B95585FFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26f85b28dcd0ef1054bedf46cd39bffdf076fe82","datavalue":{"value":{"entity-type":"item","numeric-id":286241,"id":"Q286241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$57F475A2-3B76-486C-879F-14786DB1F843","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce1d49245d97a30ecabe94a0469a6616f4841aa","datavalue":{"value":{"entity-type":"item","numeric-id":2819192,"id":"Q2819192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$016722AE-7626-4AC4-8B5D-337833968DA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300772c5a0b58bf4f4bfdafa9010450cf2acf8fe","datavalue":{"value":{"time":"+2016-09-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":"Q2819201$132979BC-47C4-482A-B1D6-BFF712438B0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819201$22A94449-4385-4DE8-B12D-EB1E96916B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819201$838F9DC4-9C76-4AEB-BB8D-C2DF040625DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09c34d6a9e51500cf32e007c02afdb05751a7030","datavalue":{"value":"16Z05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819201$52803F34-6908-4107-888F-3C6F951EB5F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"294a4f999710381986b8e0c92ca9c0fe49164d42","datavalue":{"value":"6630644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819201$9A22A961-D20D-4FA1-9F49-4C0BDF13BB91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41f6328d132aee095aa01e00cb882c6529bd02b6","datavalue":{"value":"Prover9","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819201$F17042D5-8AD4-42FA-905D-922B4728DF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"824332795652099401741a9184ca69eea2b70898","datavalue":{"value":"Otter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819201$0C33AF42-809E-4F8F-85A8-66727FA92217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6f4d8b7f9de04329d288267d4847386b9b9556","datavalue":{"value":"commutativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819201$97C1264B-1E37-40A5-B551-0FEA89E0CFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a80861bfc986e64ccf2ae42944cebd0d4a7d398","datavalue":{"value":"associative rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819201$9A4B6A3C-B520-41CF-A3C4-965541B9465B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$C5C949A7-126E-473E-AB95-5AC436F6C165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$49362730-4367-4B5A-A0A0-EBCFA6B9752D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$56FEF856-D3C0-405E-8741-ED328942A232","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":"Q2819201$6BB426E7-1A36-49C2-B5C2-BEF3615F688C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c57750727f1d4653a15e7535cb3713a6b20cf40","datavalue":{"value":"https://doi.org/10.1007/978-3-319-42432-3_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819201$485D4A93-E94A-4EE8-8FCF-2AB7C8DB1D4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a13745cf2003826aa5b31c475ef18a1cd0c3d1c","datavalue":{"value":"W2478505817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819201$DB1B315A-CE50-44D5-B6A0-7E32A8392E58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad508b5355cf932467191be906dc976322bba38","datavalue":{"value":{"entity-type":"item","numeric-id":5569204,"id":"Q5569204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$6D1CE381-EA72-4D7F-8186-207F2F5878A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef607b34c701b4cf825e671c00bcf39aa9ffee3b","datavalue":{"value":{"entity-type":"item","numeric-id":3246466,"id":"Q3246466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$F27C3690-E09A-49D0-8084-93BC8808A491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54aaee6db4e46adec6b7ce85ec4a7912f5b63af9","datavalue":{"value":{"entity-type":"item","numeric-id":4112071,"id":"Q4112071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$827A82BF-1E91-42AA-8CA5-B7DDEB14488E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c077a572f671e8a893ffdb5e7660f67256a308e9","datavalue":{"value":{"entity-type":"item","numeric-id":2652493,"id":"Q2652493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$DCDCA936-432D-4557-B26F-B5BDA95EC7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f035e29f11905cf8e7574dfb8080379c83c3e0","datavalue":{"value":{"entity-type":"item","numeric-id":3755604,"id":"Q3755604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$EE5AC8BD-592D-4774-AA7E-2FB40CF330C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c51e24e1428721a6903741aba45a8914c5f370","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$D8ABFC03-6CF3-486D-BC16-D49D3C36D08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c889261324602a243f12016bb548fa29e315d0","datavalue":{"value":{"entity-type":"item","numeric-id":1919221,"id":"Q1919221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$D9FDA189-46DC-4A2A-B248-9DB1099F982E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccb8965839067e219f04f7f7064d5dd93385be5e","datavalue":{"value":{"entity-type":"item","numeric-id":5782218,"id":"Q5782218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$E5953BBA-2DEF-4DCE-B8C9-973E70847F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50dba12a829f0fb8c5dc8ff385916157d0df603","datavalue":{"value":{"entity-type":"item","numeric-id":3250644,"id":"Q3250644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$19494BFE-09C5-4258-917D-390070EA53E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1c788d473831e7eba7f1a1ae3629cd7800a54c","datavalue":{"value":{"entity-type":"item","numeric-id":912612,"id":"Q912612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$CB1D935D-139B-413C-9C57-107120E2D934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75f438d9df7e47a61240ccfb842aebbf5321ced","datavalue":{"value":{"entity-type":"item","numeric-id":5562657,"id":"Q5562657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819201$77983BA7-B0B2-4382-BC93-73C565D2110C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cde5befdfa96f0f2cfbf0c90a1796fbc3ee97c","datavalue":{"value":{"entity-type":"item","numeric-id":912612,"id":"Q912612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c450b7ee35a6930835abc3cd7362a18cf3b4e26e","datavalue":{"value":{"amount":"+0.8020623326301575","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":"Q2819201$6F5601AE-5AAD-4BA1-801A-1BCB6CA94D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ccf2f5a61cc4fdd628c57db50e5eec2dd18ea0","datavalue":{"value":{"entity-type":"item","numeric-id":1105012,"id":"Q1105012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160a46483db57ced1a2b7964e4bb018fdb8d227f","datavalue":{"value":{"amount":"+0.7965543866157532","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":"Q2819201$C07D8CE2-0682-4C54-A023-4E07580B653D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728bd551386f1194d07cd2ccb6a6265cbb5fd152","datavalue":{"value":{"entity-type":"item","numeric-id":1102357,"id":"Q1102357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec5a5faa254982f93471e0112bad2664caf67aa","datavalue":{"value":{"amount":"+0.7702628374099731","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":"Q2819201$50E16D56-1D74-4A43-89F1-08397F933A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3240f7e5cce3123d22c8f5a7db54ef1465ad823b","datavalue":{"value":{"entity-type":"item","numeric-id":3336737,"id":"Q3336737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b49cdbea091ea50fdebf08df3c4792723ce4aa3","datavalue":{"value":{"amount":"+0.7602918148040771","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":"Q2819201$4C8BE85C-9E5A-4D96-9260-28F1295156E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68d60ef59f346f0e0312e5e975a6d9f136ef91d5","datavalue":{"value":{"entity-type":"item","numeric-id":3454553,"id":"Q3454553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789df26c9a3c5f3097ab0bc6ee5683eda6da3396","datavalue":{"value":{"amount":"+0.7480757236480713","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":"Q2819201$9C6D78FC-C31B-497E-88A2-2B4CE62AB2CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819201"}}}}}