{"entities":{"Q4345023":{"pageid":6374622,"ns":120,"title":"Item:Q4345023","lastrevid":96674966,"modified":"2026-06-05T11:59:40Z","type":"item","id":"Q4345023","labels":{"en":{"language":"en","value":"Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1036769"}},"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":"Q4345023$BCAD0074-19B4-42C6-96DD-2BC18D4AD1E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56e22953ab467c5d66adc9360580c803bb3a6d81","datavalue":{"value":{"text":"Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4345023$E308C4AB-FE34-4DB7-9520-89799C83C57E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3b9d3d1df2d12086a7137f336dcd81accc7aca7","datavalue":{"value":"0877.20001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345023$F9835CF2-265D-41B7-8ED3-2CE08E53AA8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5288b0fb8572ec53097426c9a2984d4bea9b241d","datavalue":{"value":"10.2307/2974613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345023$72F04CA3-F358-42C4-B344-AE432F03B93E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb96b4ac991d1c9fabb6ef3d281db52e4eb2e155","datavalue":{"value":{"entity-type":"item","numeric-id":93751,"id":"Q93751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4345023$F2D2DE95-A7B4-4972-92FB-5A26A08FB27D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f286fd1fadde89366374fd7c388a3052638eef98","datavalue":{"value":{"time":"+1997-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4345023$6AE13B97-EA70-4994-B2F1-3937B33CBF69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd43a1b9f2417f5aebe919f08e6aa2b510501c27","datavalue":{"value":"20A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345023$803EE8D8-2CD1-4080-BCFC-4EEF0A3A50F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345023$67AB46AD-74B0-416D-BD98-054856EB43D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345023$2BF5CE1E-C1F3-48EC-834E-010A66A10E66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d3ce3bb353fe4c0a71b93512bd33c51ceaf99ed","datavalue":{"value":"1036769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345023$445AFD4D-4D66-4B41-8ABE-BB6D112DDB35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc8d0f2ef1bb5dde62724fec205dfeaf6c0705fc","datavalue":{"value":"implicative axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345023$45F343A5-BEE6-49AB-B8F0-7913A7BE80B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e78b375b6648dc3175251e58c1dd155864a6478","datavalue":{"value":"universal quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345023$E7CA6872-A95A-45DD-A3B8-88123B6AEAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8571838a7f11ef5ec6e9f3a985c8a99978e3595e","datavalue":{"value":"axioms of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345023$5DE78A49-EE2E-4D97-A302-2CD9917F6E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a39a567eb48c22fad25c487702ed2c02f3fdcdd","datavalue":{"value":"axioms for Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345023$8DD99527-6369-4194-891A-5EFD82153D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca4f6175d2c289812e40bbb8457ce906b2a3f706","datavalue":{"value":"group operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345023$305AF199-88F1-4712-9DB9-893526F6641D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b64dcfa32213e2b9ecaa156c3695b0ee6587e32d","datavalue":{"value":"binary division","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345023$7793472F-A28B-4FEA-80BF-23B37F8A4394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193d29f08e212b1e3cb5c9869fa7daabc2d13569","datavalue":{"value":"equational axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345023$4F67AEF2-311B-46B9-9148-A712615BF443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d2e7cdedf6c92b1031a1bb91f05070e1025b9e8","datavalue":{"value":"automated deduction system OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345023$2960E9D0-27FB-4FDD-9890-D24085BFE08C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0028fa115cfaf177650f352dee75f3c9756682","datavalue":{"value":{"entity-type":"item","numeric-id":688545,"id":"Q688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4345023$2ECC521A-37A4-402B-AF4A-561620BA5C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4967e53c10a0302ed52274ebc3e2c91c986ee5e","datavalue":{"value":{"entity-type":"item","numeric-id":880231,"id":"Q880231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4345023$00A0B05A-8E3A-4A93-BB26-A6A6E641AAC0","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":"Q4345023$229C64D2-3C1E-4BE0-BA80-1B6E6F7CF18B","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":"Q4345023$BE2F5F2C-3A18-4781-BB54-EB2262B828FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f262ad7d133cc904171b3744c711f41c6a42bd1","datavalue":{"value":"https://doi.org/10.2307/2974613","type":"string"},"datatype":"url"},"type":"statement","id":"Q4345023$62379430-F07A-4FC4-8F96-E4A68AB1B46B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"553e9f1b675435b0c05230bcdae843c46a34e1a6","datavalue":{"value":"W4250014447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345023$740581F8-7D1F-4E18-B8FE-47D5D95897E5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ecfb0fba4741228ae6f0c0c301ebd362ffdcf80e","datavalue":{"value":"Q114587976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345023$ECD28069-E4B9-4C01-87D7-AE1A9B76CEB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e012cd9743a7aeab3bc4f491c58e6429d3864b8","datavalue":{"value":{"entity-type":"item","numeric-id":5692816,"id":"Q5692816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7d2391425112a0d393ce4d7fea0451489b1221","datavalue":{"value":{"amount":"+0.8562139","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":"Q4345023$23669E95-2644-4821-A187-8FE1B32F9EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40e4ead8ed1fa7ae2a0ce1a18ecc265440c84949","datavalue":{"value":{"entity-type":"item","numeric-id":6111235,"id":"Q6111235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6dfa13ceab19e10a5d4bdce05f5eb9fe45f536","datavalue":{"value":{"amount":"+0.8519167","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":"Q4345023$5DDBC73C-E71B-4E07-93A3-63BBA30C1D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc8f946429773b8798473efeda108734b2b22f3","datavalue":{"value":{"entity-type":"item","numeric-id":4255507,"id":"Q4255507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02be397bca3dca8e1b0000c3542e4aebb05b95da","datavalue":{"value":{"amount":"+0.8511375","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":"Q4345023$F8417E20-1C0B-40C2-A4C1-3AA3861A45BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66320b725f973bfc03409aa9b0a917f1083eae24","datavalue":{"value":{"entity-type":"item","numeric-id":1634690,"id":"Q1634690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9de0f0091937e69b9e4ad27eb056173aee88812","datavalue":{"value":{"amount":"+0.8456044","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":"Q4345023$54686E66-B942-417E-9B8A-845B08A3D4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8cf8a88651dabefa65fb893077b4856a5a4fd3d","datavalue":{"value":{"entity-type":"item","numeric-id":4462043,"id":"Q4462043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669e88ef7d707b3b8e2b4e8b2c8013f7a87b8bae","datavalue":{"value":{"amount":"+0.8452755","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":"Q4345023$550C318F-DEE6-40C1-9D9B-C19EB464FC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6d403db22067ffa41781195f67f831f35d95e8","datavalue":{"value":{"entity-type":"item","numeric-id":1312155,"id":"Q1312155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efd5ced79815d8bfe635098e71efc7a5b320ea4","datavalue":{"value":{"amount":"+0.84464633","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":"Q4345023$D4AC59B4-A54E-4AC8-B64F-C700F3427180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bcba59a46bc38079ec3b6937e20869b008c888d","datavalue":{"value":{"entity-type":"item","numeric-id":3475268,"id":"Q3475268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a63b397065346a4f84807c3409ba81dc67ff5dbf","datavalue":{"value":{"amount":"+0.83947223","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":"Q4345023$21482097-2FC6-4D7D-84BF-13D39B87E5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b9dccb09a5115c4bae664fe35f4b2d7b20300e","datavalue":{"value":{"entity-type":"item","numeric-id":2795203,"id":"Q2795203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9ac321a9b6344a7d68393f2c392d1df635d5fc","datavalue":{"value":{"amount":"+0.8380061","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":"Q4345023$2918C2A2-9507-450A-BC4E-8D8AACD90D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011282e4a812b25c665eeba274b89ab6780d6c0f","datavalue":{"value":{"entity-type":"item","numeric-id":3470464,"id":"Q3470464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c553951c729729f37ecc21467d5c05651b5545d","datavalue":{"value":{"amount":"+0.8367037","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":"Q4345023$955B21E3-DFEF-4DFA-9BE2-82B7019E5FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bc30d93c470ea5180d809af8d80ae68b9984d95","datavalue":{"value":{"entity-type":"item","numeric-id":5104720,"id":"Q5104720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f579ee6ebf5a5e695dc778e9f3c5cd0e1a9b327b","datavalue":{"value":{"amount":"+0.8336196","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":"Q4345023$84BB01E6-7530-406D-9F63-25994D8FBC23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups","badges":[]}}}}}