{"entities":{"Q818943":{"pageid":820791,"ns":120,"title":"Item:Q818943","lastrevid":64572327,"modified":"2026-04-11T20:47:48Z","type":"item","id":"Q818943","labels":{"en":{"language":"en","value":"Levi's commutator theorems for cancellative semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5014172"}},"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":"Q818943$3BFACB36-D393-4105-A0CE-A7BDD433F0A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faee087c6257a428cc3ab70cca54280b7841d2a7","datavalue":{"value":{"text":"Levi's commutator theorems for cancellative semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818943$6A5AB282-8580-42D8-A598-E128B34A2230","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33564f4803fe8a11e2f45ced9424f76296a40da2","datavalue":{"value":"1085.20038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818943$7012D0FC-C5B9-4047-B6A7-F5B8FFD0828D","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":"Q818943$A9486935-93E2-444A-AE10-3B2CA69CC3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26e67c284200a94e888860be6089d9b97aa022aa","datavalue":{"value":{"entity-type":"item","numeric-id":220721,"id":"Q220721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818943$16AB599A-99D6-4501-BF4E-9B6BD686B0EF","rank":"normal"},{"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":"Q818943$51CDE688-C7D1-4134-8642-847EDA59E172","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818943$C47150FB-3236-4A5B-AE4E-FF2410C4D07E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b0fcdb7772aa9430d25813b6d3153f89c3c8a89","datavalue":{"value":{"time":"+2006-03-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":"Q818943$67FEFD13-A0A6-4775-9760-F5A733BD4609","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818943$CACF2036-491D-4F45-8231-F4C256ACAB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd43a1b9f2417f5aebe919f08e6aa2b510501c27","datavalue":{"value":"20A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818943$11030DC7-4279-47C7-96E9-34BC0E2DB7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818943$48E368AC-7AA3-433B-B31D-7861D930D8A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"091d334206d3c46e3867d6aad2d5c55aa45c4d80","datavalue":{"value":"5014172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818943$58997066-BEF4-47BB-A3C9-B0E0B0A69B8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q818943$891B5B9E-433D-4EED-8FA7-9E98897B4F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3afbd1e3383a0b1ab0aac5e97c9f4730983a184f","datavalue":{"value":"cancellative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q818943$2EA3487E-7F60-48BE-BF5E-D7A27C7C2294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cef2e19508c99996f3085fe25bc0edcd6beb4de","datavalue":{"value":"commutators","type":"string"},"datatype":"string"},"type":"statement","id":"Q818943$C2DD7048-20EE-4AB5-A168-548121C66FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b1e23fdd462c5b13a4f6adc3682604d0ec6bd6","datavalue":{"value":"axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q818943$AA6CA75B-6030-4C2E-9967-022185926ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q818943$77F11FD0-CF04-4391-BECE-BA2089B1D0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"824332795652099401741a9184ca69eea2b70898","datavalue":{"value":"Otter","type":"string"},"datatype":"string"},"type":"statement","id":"Q818943$119B3411-0953-4A91-A836-4E8D5827F8B1","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":"Q818943$6A044C8D-F882-4952-BB87-3EF438CBB987","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":"Q818943$6ED757F0-A10B-4C72-843C-188B8F83BD77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70d196ab7d28b23fd85b2940ef366a085dfdd1be","datavalue":{"value":"https://doi.org/10.1007/s00233-005-0506-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q818943$662682B3-631C-47E6-8CF9-6EA9C9837225","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5897e73d1da5ab9241dd462794d29fa1b0d086d1","datavalue":{"value":"W2078614146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818943$85D2B75D-BB4D-4C20-A6A4-721EC0586863","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a46f318fe9201a385c96a9dc9acc8fe92280aca5","datavalue":{"value":"10.1007/S00233-005-0506-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818943$C9251ECF-2D11-4355-9195-5771CC81DFB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d85fa8726d0376f1a4f37f07bf0b3cd01109864e","datavalue":{"value":{"entity-type":"item","numeric-id":1702517,"id":"Q1702517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ae022dbf55dea08c974645b34566970a935060","datavalue":{"value":{"amount":"+0.7239317297935486","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":"Q818943$D1CC271D-0611-49CF-B2F1-B9F822A90A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a684ce06f0827632f0d6ebaa13db7a1a3acc6e3","datavalue":{"value":{"entity-type":"item","numeric-id":3712329,"id":"Q3712329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686f625697dee4efb208cfe53095b48490f487fe","datavalue":{"value":{"amount":"+0.7168222665786743","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":"Q818943$BAA0CCF2-36A9-48B3-954F-111799457B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ab04cf0d48da480d77d88b8cfbb207dea536d0","datavalue":{"value":{"entity-type":"item","numeric-id":4647536,"id":"Q4647536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952b9c8151a04be2a7cfa0ccb0df56d449561511","datavalue":{"value":{"amount":"+0.7152689099311829","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":"Q818943$B721542D-64B3-4FB0-AF44-9A5F432EA342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826aed92319f9b3f2ee35a62afea557ad7b404da","datavalue":{"value":{"entity-type":"item","numeric-id":1864899,"id":"Q1864899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d332ec133b8213e819e8f72bcf4c9f53ecc05c4","datavalue":{"value":{"amount":"+0.6982032656669617","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":"Q818943$E7E3A5AA-FEDA-4D93-9431-C9D454621458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6111de9c67e5f828deb8e51c3fff48f89a895cd8","datavalue":{"value":{"entity-type":"item","numeric-id":1864898,"id":"Q1864898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d004453fdb34272cf26c1aa5c1fa61cac921b2","datavalue":{"value":{"amount":"+0.6979911923408508","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":"Q818943$866565B2-C4F5-4AA6-B99E-B8432DD01BBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Levi's commutator theorems for cancellative semigroups.","badges":[]}}}}}