{"entities":{"Q685405":{"pageid":687254,"ns":120,"title":"Item:Q685405","lastrevid":47188915,"modified":"2025-12-31T23:10:21Z","type":"item","id":"Q685405","labels":{"en":{"language":"en","value":"Higher-dimensional word problems with applications to equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417345"}},"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":"Q685405$DA3FE486-8AE1-4F37-82E3-8DF013FD49AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d9442b166faea768cfd831f1ab98a6fdeb4640d","datavalue":{"value":{"text":"Higher-dimensional word problems with applications to equational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685405$94AD61D9-233C-4FBC-A0F4-9A4CF1E10503","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b4355089334d2b4d65298a10e02fdde48403465","datavalue":{"value":"0791.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685405$742EA67A-114D-4947-95FE-917451796A30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46f2b3fb57b2344ee421446158c39fa9033447d6","datavalue":{"value":"10.1016/0304-3975(93)90054-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685405$2AC4A40C-4C8F-4033-9A66-382DF2191500","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20b8a3901a1cef45d634617803757145996914f7","datavalue":{"value":{"entity-type":"item","numeric-id":685403,"id":"Q685403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685405$916188FF-3F09-4D6B-9B79-FE75664FBDF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685405$456DE0C0-6D61-4D11-A104-BEB84B2F5D42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92112234a474f78049341bfb55637019f67e54ac","datavalue":{"value":{"time":"+1993-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685405$0756562D-4E05-4931-82C8-3EA8E4D28570","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e30f6494e1d98919ec8a335896196682fb2f437a","datavalue":{"value":"In an attempt to unify generalizations of the word problem from monoids to categories and to universal algebras, the author conceives word problems of variable dimension, which amounts to computations in \\(\\infty\\)-categories equivalent to constructions of homotopies between expressions. In this setting, equational logic appears as a two- dimensional word problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685405$A9A64715-6FCF-4A46-90D9-3A1599524EEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685405$56F8003D-E1BF-45CC-8FD6-D98597EA416A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685405$AEB91AC9-A54B-4CE4-9AE4-1C2DA9D5E308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685405$33545B0C-C55D-41D9-9B3C-D79215042944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685405$53979992-FB47-4238-9DF1-64A6D5FD73C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685405$04C5EF86-C6AC-4C5C-8C26-64F0F14C1A79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d925adae45336a68aaf1b11b2eba6ebff04f8df9","datavalue":{"value":"417345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685405$774CF08E-5DAC-4A5B-A9FE-B6F20B1A0D0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795616e20781a8a6f3edeb021dd7ee318bd36303","datavalue":{"value":"word problems of variable dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q685405$6FE4AB8E-BA9A-4CBF-9C17-43729B15D0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73ba440bb02385e8c1fed0d8255f0c3b73710c4","datavalue":{"value":"computations in \\(\\infty\\)-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q685405$66D4742C-ACFE-404E-8641-3A31F6FC9806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685405$5143D6D0-1698-4173-8551-D14BC41C1824","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce55c35a0130dff40a2e46fd6cbf84198a7e9797","datavalue":{"value":{"entity-type":"item","numeric-id":590016,"id":"Q590016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685405$562B07D1-4A9A-4A9B-A43A-A9E9062A998A","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":"Q685405$8B52540D-D49A-421C-88ED-776FF9972485","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cd20f513aa17a57d2774450a532afd4c03f426","datavalue":{"value":{"entity-type":"item","numeric-id":4085901,"id":"Q4085901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685405$5525B52E-D76C-401B-8261-B1205C0CF313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf0e674dace86b72a36673ffc0abf6d0f50d578","datavalue":{"value":{"entity-type":"item","numeric-id":3961629,"id":"Q3961629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685405$C3039543-4124-4DB1-8608-B44863A964E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e265476241d89b36cef1d4750cc13a3c91958c","datavalue":{"value":{"entity-type":"item","numeric-id":3715301,"id":"Q3715301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685405$41475C35-01B0-422F-A987-D9DC848FB09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16a82aa51062beefacc58e690129edcc4f7f8ae","datavalue":{"value":{"entity-type":"item","numeric-id":4282571,"id":"Q4282571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685405$6237B335-98AA-4B6D-92C4-81DAAB77E213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fefcad5bfed208add63c85edfe02821b1a9be40","datavalue":{"value":{"entity-type":"item","numeric-id":3241233,"id":"Q3241233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685405$498BFB37-7116-443E-9B46-A203D8E8C3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87159350b1e75c254b00ff776f3b82e554fb8c60","datavalue":{"value":{"entity-type":"item","numeric-id":3201049,"id":"Q3201049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685405$FF9A607E-6D65-4744-B613-D27079DE3C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203e1d7abe1fa5bc858d973103393a63410a1821","datavalue":{"value":{"entity-type":"item","numeric-id":3138543,"id":"Q3138543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685405$440F7A56-5BD0-4390-97D4-FCBD2A3094D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685405$B2C2CD57-31EB-49F6-A13D-1C5AE7823847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ebb2a83f19a3a0b83f725cda3ca2e99678c846","datavalue":{"value":{"entity-type":"item","numeric-id":1112955,"id":"Q1112955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685405$849583AB-D22C-4024-A97C-F7AB137619A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9129287c12d899e74eb0ad835a7315cd37ddf1a6","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90054-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q685405$D835D8AB-67CC-4D53-B528-C8594D9646E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87c0c3b0699428c662dd1280dd89f1a4e0085e21","datavalue":{"value":"W2088405398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685405$DC5DEE0C-DDDC-4F8E-AC43-2A99003242D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34898a2729adde2ce133fd43235f7d7d95489cd9","datavalue":{"value":{"entity-type":"item","numeric-id":4282571,"id":"Q4282571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d8d450a51208f6699dc11bfa790e548f8493517","datavalue":{"value":{"amount":"+0.8593429923057556","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":"Q685405$1FC9AF6F-7D11-4E43-837F-9B843952D251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d82931f3a6a295ed4f347197e978aad797dcab","datavalue":{"value":{"entity-type":"item","numeric-id":456807,"id":"Q456807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6beac829efbde4466c45b7fe1f5797d23845f68","datavalue":{"value":{"amount":"+0.8586664795875549","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":"Q685405$886E47C4-4D17-4621-B5EF-C18646D574EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143b9072beb81181413c7313177be3d25106dc9c","datavalue":{"value":{"entity-type":"item","numeric-id":3138543,"id":"Q3138543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a3c442720e8169acfb5156d7c3d583bb18b467","datavalue":{"value":{"amount":"+0.7506406903266907","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":"Q685405$40B4F8BC-9EA2-40E0-8620-4C24BFC781DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d39bec43231b8098495b3c046e9e54c843fda02","datavalue":{"value":{"entity-type":"item","numeric-id":5213342,"id":"Q5213342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca508265e6643137b34f8c87d254f924b3d6ab0c","datavalue":{"value":{"amount":"+0.7469969987869263","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":"Q685405$3C21E095-921C-4E22-BA18-E9A6430E77DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b957453c39762a391b73f0ba51bbc9209cf83303","datavalue":{"value":{"entity-type":"item","numeric-id":3646431,"id":"Q3646431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3164a67d3eecb78f32791ae30dc1ec8835a16cb4","datavalue":{"value":{"amount":"+0.7324952483177185","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":"Q685405$E4C77613-C48B-4847-A250-F69F32D16B7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685405"}}}}}