{"entities":{"Q786808":{"pageid":788656,"ns":120,"title":"Item:Q786808","lastrevid":64328154,"modified":"2026-04-11T19:06:55Z","type":"item","id":"Q786808","labels":{"en":{"language":"en","value":"Cut elimination and word problems for varieties of lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3838013"}},"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":"Q786808$2AD8628D-CD1E-4614-AD78-99F04187BFFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af3d73a09ef6222c31d823cfb35eb1b999caa2ff","datavalue":{"value":{"text":"Cut elimination and word problems for varieties of lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q786808$76E9E3DD-5184-443E-A8E6-D342B378CD2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b574e08070ec7bcc8cce1265dd6d109f7e68b790","datavalue":{"value":"0528.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786808$BEA675F6-9F10-4DB6-B47C-6CEC8B72B061","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcda4014f0acefeb0fd75a4abe594d9a9d28563c","datavalue":{"value":"10.1007/BF02483891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786808$A1062279-4EF5-403E-878D-A15430CC6EEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25a9c8a7ad0fff349c0bab6b4ffd2e0b5cd9f516","datavalue":{"value":{"entity-type":"item","numeric-id":786807,"id":"Q786807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786808$1CB839C2-499C-4210-B943-9796CA122DCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786808$9E5CEAA4-A3DC-46F3-A248-D681B6391224","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q786808$5F56CEDC-1B0B-4545-9238-28617D5D4B37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786808$604533C0-8A50-4F70-8B3B-9C6634F15550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786808$FB4CD10F-84C6-4819-893B-192A2C328DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786808$EC561B3B-7D35-48EB-8955-77D02515172A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fcf3ff591a1cdc4d3ea99d088456345a471ee4f","datavalue":{"value":"3838013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786808$6106E614-991A-437C-8B1C-51F18E714D86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q786808$2AECF9CC-7D34-40F4-9283-934F9BE39668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46619e0d617ea9e503c7894d6da0bdeec0fe0664","datavalue":{"value":"variety of lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q786808$8AFC2EA8-0FC1-48CF-A477-15569A7D9651","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":"Q786808$F3C2DF3C-2E71-4445-8CB8-EA17E8945180","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf1557297a3d207451989d491672faa9a36e338","datavalue":{"value":{"entity-type":"item","numeric-id":2543001,"id":"Q2543001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786808$B6D6C516-71BA-4DC3-81C1-FD928839D435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cf17819e2b7a63246743d9d1b3f7abe596d49e","datavalue":{"value":{"entity-type":"item","numeric-id":5545949,"id":"Q5545949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786808$40ED7452-83C7-4368-A334-4D332B75829F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dc0d97cda021a47a36ad57afedcdda62e25f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5803323,"id":"Q5803323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786808$F677EE5A-3EB8-4101-9F75-FC4C5A49C79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609861210647eb2f3be0df3e348b37aea738e2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5817463,"id":"Q5817463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786808$9F70C519-B7D2-4693-86BD-380A17642D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786808$EB2023D6-2DC7-4E46-A626-868C493BC02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc97376a0826fc1f4fd71712df9cd9e88a6ba93","datavalue":{"value":{"entity-type":"item","numeric-id":759047,"id":"Q759047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786808$4490BCF1-87F5-45BF-9D3C-16AEC2EDE3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0924fe5b703b43d0c6e622ab0c031e7b97409c1","datavalue":{"value":{"entity-type":"item","numeric-id":4149443,"id":"Q4149443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786808$6430FAAE-DBD6-4201-A12E-DBE7FE22F1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ebd7942fbea6bf826132a8e150c856bfffc2127","datavalue":{"value":{"entity-type":"item","numeric-id":5810541,"id":"Q5810541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786808$37C45159-1033-4A19-ACED-A52A05103DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786808$39FF45D4-B868-4560-9969-62152E1ED933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd0a6009a9268b363e6f11f302e791a8f479d11","datavalue":{"value":{"entity-type":"item","numeric-id":2646843,"id":"Q2646843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q786808$2BF1F94B-121B-4823-95CE-7B2EBBB43F02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"203d564a09bcc17325a95102f24d4f9d7f2ad792","datavalue":{"value":"https://doi.org/10.1007/bf02483891","type":"string"},"datatype":"url"},"type":"statement","id":"Q786808$2DA237B5-9CAF-435E-ACCF-B25E6C592AFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63d4c6f1d0577e7d839a3d556b2c705a67185bdf","datavalue":{"value":"W2055247079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q786808$BB8407FE-9DD0-4DDC-A476-17EF8F3D416E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba48486552ebaa237c6d52fb5628832e939a540f","datavalue":{"value":{"entity-type":"item","numeric-id":3583025,"id":"Q3583025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b5b75e56977cafbb18dee351dfe2efb5fe8490","datavalue":{"value":{"amount":"+0.7845079898834229","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":"Q786808$2C108E48-576F-4446-AC73-F08F15D3D2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ec36d3999143771f5f3c520416695cda36ba0c","datavalue":{"value":{"entity-type":"item","numeric-id":4818936,"id":"Q4818936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b37d761a3e14b3ae5181867e1c66b3ffba3021","datavalue":{"value":{"amount":"+0.772057831287384","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":"Q786808$F7A8990A-BD4C-4BCB-96B4-4D13A8916D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0012ffe91d969b8569ab8c08169eba24dcee0115","datavalue":{"value":{"entity-type":"item","numeric-id":4384760,"id":"Q4384760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1f1d2fe30c2fce1ebeb94240ee17a56ecef4ba0","datavalue":{"value":{"amount":"+0.7627934217453003","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":"Q786808$5D26AA03-A2D3-431D-8A06-B1194F8C3723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a047b27307d3228c0f5c95d086bb1daa339377","datavalue":{"value":{"entity-type":"item","numeric-id":3688447,"id":"Q3688447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1f1d2fe30c2fce1ebeb94240ee17a56ecef4ba0","datavalue":{"value":{"amount":"+0.7627934217453003","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":"Q786808$3225D0CF-5F65-4F14-8534-C0BB2504A986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9981e11c1a38f77136af716c8779ef8c4c90d46","datavalue":{"value":{"entity-type":"item","numeric-id":1182531,"id":"Q1182531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7aeb0beaf5a928531c5148a8ff172e4896ce1f","datavalue":{"value":{"amount":"+0.7513665556907654","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":"Q786808$0008592F-26D7-4F19-8779-8E21939F806F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut elimination and word problems for varieties of lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut_elimination_and_word_problems_for_varieties_of_lattices"}}}}}