{"entities":{"Q689202":{"pageid":691051,"ns":120,"title":"Item:Q689202","lastrevid":63638937,"modified":"2026-04-11T14:31:41Z","type":"item","id":"Q689202","labels":{"en":{"language":"en","value":"Single axioms for the left group and right group calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440192"}},"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":"Q689202$22F6A665-B475-40C4-A180-6EB18D2C20B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e86eaacb454c2042b411d71af9a6858ad6aab008","datavalue":{"value":{"text":"Single axioms for the left group and right group calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689202$D48DB411-F792-47C5-8AAE-5ECE4A921608","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dcacca458f7e66659ca39b2979469cf46becaba","datavalue":{"value":"0804.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689202$C367BBD5-4E67-4585-8E65-2C6DA7DAAFCC","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":"Q689202$B203125D-A470-466F-89B6-575372B34567","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689202$046073AD-BA81-4039-86AC-2A10C122ED77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17c276cba776869618bd87a010a36eac54c31a8e","datavalue":{"value":{"time":"+1995-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689202$6DD0099F-0511-47E8-8FAD-CBB205FFA48B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689202$FCB67CD4-13C9-4C64-BDEB-2A30960767BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689202$BEDFC727-1318-4440-8224-DFB60D2243F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689202$4EFFE283-B6B4-49BF-901C-65FFE7D5C507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689202$DBB88CE7-EF98-4EE8-91CF-1FAA97E7D7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689202$064F5F6A-E9E6-48CB-AB70-9A6D23DCF209","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02b7132297bcca805ee526eb8dde9865a8bc862d","datavalue":{"value":"440192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689202$CF58B9A2-3313-4DF8-B13E-7875A33DECBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q689202$6A2E80AD-B749-4B08-9B70-622DF2640721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a5481eba6065256ae783b60aca0d63a24e2e41","datavalue":{"value":"left group calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q689202$D2F223BE-0DBD-4A5A-BEE1-4645C6D8CC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db4550e254e5133c00e85fe67f7c645bec167eeb","datavalue":{"value":"right group calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q689202$5789EA17-2942-4BF8-8361-C1699B136382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q689202$037CBFE7-A7AB-4A22-854A-44093779CD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q689202$BED888BE-BC7A-44E0-8D14-6EF99B0531B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"335361f2d5472f7ca846e53db25ccb4027120f89","datavalue":{"value":"division","type":"string"},"datatype":"string"},"type":"statement","id":"Q689202$768F0E60-020A-41FC-9E58-5D02D996BBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0a06ffadbc917396a626e33a9a5489bfbfb917","datavalue":{"value":"automated theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q689202$0F63CB7C-F931-4907-9E3C-78370D4D4656","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"17831734d10330e8bec43dfea44d69db83cc351f","datavalue":{"value":"Q114598322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689202$C92EAAA9-9801-4AA5-B601-951C85139750","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":"Q689202$C919E84A-3EA8-4EF3-BDE7-377C62564682","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":"Q689202$68E710DE-33A9-4E0B-A21C-3BCF32F555A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"185be8f68ae0d259d8d562ed9173b4e8f5627583","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634569","type":"string"},"datatype":"url"},"type":"statement","id":"Q689202$82AE7190-C2E5-476E-9BF9-BA9B381AD5AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e826f8acbc02b5b7997cf570625b0ec83022d9e7","datavalue":{"value":"W2046873802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689202$16207FA7-D990-4C70-B54D-E2977EDA88A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cb1d2e9d2b36c9e2c973ec2f5e8b09f31af87e0","datavalue":{"value":"10.1305/NDJFL/1093634569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689202$0C02289B-3F29-4010-B729-6ADB6AB1870A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"218c0a66873fdf135579932e6053952af2a61fd3","datavalue":{"value":{"entity-type":"item","numeric-id":688546,"id":"Q688546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7566d1e89dc25fc14d38ec35aaca49783ef239","datavalue":{"value":{"amount":"+0.8778709173202515","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":"Q689202$42FD43A9-66F8-4514-8645-2E8E6D0049CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee167486c89d098adf31f060688a840a3ef9f29c","datavalue":{"value":{"entity-type":"item","numeric-id":1893129,"id":"Q1893129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7566d1e89dc25fc14d38ec35aaca49783ef239","datavalue":{"value":{"amount":"+0.8778709173202515","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":"Q689202$943C4EDD-88B6-4C4B-8F5E-7D64CE9B1AD6","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":"1db0f8c99efce475d2bd5bb8f1379a3b5af7be7e","datavalue":{"value":{"amount":"+0.7986146807670593","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":"Q689202$E0E4146E-FE36-499F-910A-DFF3879BA0FC","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":"1db0f8c99efce475d2bd5bb8f1379a3b5af7be7e","datavalue":{"value":{"amount":"+0.7986146807670593","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":"Q689202$861FB26E-16B5-46E8-A393-853314A6352B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ed288e97ebabfb464f8f0f062bdaf44e9a7727","datavalue":{"value":{"entity-type":"item","numeric-id":4345023,"id":"Q4345023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac668e8d386a33eef09a4e47e24c33d97f9fa1e3","datavalue":{"value":{"amount":"+0.7963796854019165","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":"Q689202$D1BBDCB4-2C31-4FAA-921D-0B780FF3B2F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Single axioms for the left group and right group calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Single_axioms_for_the_left_group_and_right_group_calculi"}}}}}