{"entities":{"Q688546":{"pageid":690395,"ns":120,"title":"Item:Q688546","lastrevid":47204491,"modified":"2026-01-01T00:13:47Z","type":"item","id":"Q688546","labels":{"en":{"language":"en","value":"Automated discovery of new axiomatizations of the left group and right group calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 444932"}},"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":"Q688546$087C7762-ACC1-4C28-AD30-41710AACC414","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7039c2be06d8efe34daae4a58fc3128afbb64331","datavalue":{"value":{"text":"Automated discovery of new axiomatizations of the left group and right group calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688546$13AF266B-6CD5-4AAF-A9EF-6F4552E06630","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81b4f86eccf184355e1ae823a80f455419768445","datavalue":{"value":"0782.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688546$7A410F58-52C3-45C8-BF04-CFA41F31B6D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1c7ae976bbc311aea22cdfdd6ed561a41a35815","datavalue":{"value":"10.1007/BF00247824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688546$72A2B2E1-E420-483F-BF07-06DFB2C762E4","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":"Q688546$A72DB62F-3123-4268-B17C-6C77591A69EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688546$AE1365FA-DFAE-4237-93E6-6DC20521208B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05b83f9110f956258ea2482362721ccb291b6e19","datavalue":{"value":{"time":"+1994-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688546$410FBFE6-AC59-4E30-BC6B-99873B916D19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688546$23F0F0C5-57C4-42E1-9CFC-2A6016D77A27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"beb3ecd7b2f87a7196335157403a3bef0f968a7a","datavalue":{"value":"444932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688546$8D2FDE8C-F3F2-47D0-A71F-FBC26EC10177","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7659bb8879fdc0319bd5c16763d4231270b7b686","datavalue":{"value":"condensed detachment","type":"string"},"datatype":"string"},"type":"statement","id":"Q688546$EBA77052-53B1-46B5-96EB-9B5D41A8A504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c2c990981f9c9594b70bf6086c9fd5e77cc4ca","datavalue":{"value":"group","type":"string"},"datatype":"string"},"type":"statement","id":"Q688546$C810EAA2-65DC-4E7A-B8D6-6947D99F47AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43cca7e8db51e510ddabcd42bdff8dfdef3d690","datavalue":{"value":"single axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q688546$0642FDFE-5140-473C-957F-CE7E7AFA9356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927659d4813664173a8f09a1f34d9214be3b9170","datavalue":{"value":"OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q688546$246F8FA9-8915-40C1-B2BB-DDB071735E18","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":"Q688546$DD977BAA-ED3F-43CD-B93F-420E427AF22B","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":"Q688546$0B046804-F357-4E06-84FC-18FB74564715","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1af8b75ed2214b825dd8c7bc6ee6f8f3a1380aab","datavalue":{"value":"https://doi.org/10.1007/bf00247824","type":"string"},"datatype":"url"},"type":"statement","id":"Q688546$83F8C5D0-BCED-4478-A1A7-A9CE7D742A9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44141839d31354bca6593f7e131526b43011f4a9","datavalue":{"value":"W1984266364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688546$EF74E2C7-F46B-42FE-86AD-A3392C63C70C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d26df49724ef8fdb7f8d4d8418e6086664fce81","datavalue":{"value":{"entity-type":"item","numeric-id":689202,"id":"Q689202"},"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":"Q688546$1972DA79-DAF3-4D9C-85F3-88B3FEA3DAC2","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":"a9c439c4b47a1aa4e177f5d77008a21e40569db4","datavalue":{"value":{"amount":"+0.7886781692504883","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":"Q688546$C651FE86-1522-4FD8-AE2C-FF4988DC1851","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":"6c764cc3d82047b36eded491faa1bb9e3c78821f","datavalue":{"value":{"amount":"+0.7856911420822144","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":"Q688546$6929F519-3F88-496A-86DF-235AFC85247C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e10855755db8edc0e3c5cbb07d8037d903554aec","datavalue":{"value":{"entity-type":"item","numeric-id":688567,"id":"Q688567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ac7dfdc4151145f3c13aec56783f299db005ab","datavalue":{"value":{"amount":"+0.7850202322006226","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":"Q688546$E3CE831A-B6F1-4BCA-BA9B-E0FA247CBC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039ea4eabeb7f0fdb000af59a4d129a8420a5273","datavalue":{"value":{"entity-type":"item","numeric-id":1343390,"id":"Q1343390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ac7dfdc4151145f3c13aec56783f299db005ab","datavalue":{"value":{"amount":"+0.7850202322006226","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":"Q688546$F753E4C6-05ED-4044-A829-3059E104F457","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:688546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:688546"}}}}}