{"entities":{"Q384406":{"pageid":386173,"ns":120,"title":"Item:Q384406","lastrevid":61435266,"modified":"2026-04-10T23:21:37Z","type":"item","id":"Q384406","labels":{"en":{"language":"en","value":"Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234003"}},"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":"Q384406$C35B387A-5F34-4392-96F9-C8E7EB71AE79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b89d22e1e3b126eaf663dff104937dc3dddbb9f","datavalue":{"value":{"text":"Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q384406$2AA63C5A-1080-4685-B060-4A82D397049E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f04580173eced8dcf2925f565a8b4686c06c5c6f","datavalue":{"value":"1280.20039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384406$6A8CFAD0-AE3B-4864-86D2-2ADF226F2C9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384406$D7C4D119-A7CE-4E82-BF26-840F05986C2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6682260777f975a14500f5d72e041f682df3900","datavalue":{"value":{"time":"+2013-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q384406$37FEAACE-F214-4196-B0BA-6E831177BAD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384406$37840EE6-F0A5-4E3B-9F41-CF5EE877AB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384406$00F956E1-4D67-4890-926D-48A4E7B80C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384406$2570BDDC-4C35-4A08-A075-71278C31C7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"973eb9e9b2fb866226b5fdd4d46835fa9f7955d9","datavalue":{"value":"20F18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384406$11F6FB4F-E241-47D7-B761-3B9AE60DCAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384406$B8B5479C-D6C8-4386-8D52-705C5ACEBFAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5631a07422871333e1fcf0635ce39005e390168a","datavalue":{"value":"6234003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384406$4B0083D7-0600-42B0-A55F-0F2DA3634832","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a785eecd8bce3a50814eef7e62ec96c20cb630e6","datavalue":{"value":"partially commutative nilpotent groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q384406$4917051A-F79E-45B2-B727-06DDCA63B9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b2bd99a306a24d67360fa56142fc38a48615d0","datavalue":{"value":"finite simple graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q384406$132AFD08-17EE-46B9-8329-33EBCD0BF3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b44e1b783719f7508f73a2bfb0bf3e2d5f795a2","datavalue":{"value":"universal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q384406$3B7E5E46-791F-4C25-8823-66341EA92916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q384406$49508C1A-14CC-44E6-9852-65B26C1ADB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2157b73def31f37a018efe23ba33e9eaf88ddaca","datavalue":{"value":"algorithmic decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q384406$9DF924A8-DD79-4581-A47E-9955D3B59C0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5596d99d599a3b29ddccaf1d42eb1e15a5d7ef0","datavalue":{"value":{"entity-type":"item","numeric-id":1688175,"id":"Q1688175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384406$DAA4E059-CC71-4146-AC2A-625688B30E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22b61b41cb926cf6924c4a0c164dda3dff116211","datavalue":{"value":{"entity-type":"item","numeric-id":1688176,"id":"Q1688176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384406$A76543DA-07E5-4727-8687-B019EA5D713D","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":"Q384406$DE59AD1B-B96E-4422-9CFB-5EAA1BA3C0AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dca93139f650b697edd1eb24589a552d82e33d1","datavalue":{"value":"https://doi.org/10.1007/s10469-013-9229-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q384406$FDE1A30F-DA6D-4B92-8FE3-D601E6678E4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d361659fa8d3be670bdf79a6e46e426e657fb836","datavalue":{"value":"W2081237392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384406$4FFBFC67-9922-430F-BF5C-7BCFEDD913EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c76acd6bec15ddf1f213d918b2212c88ae812cd9","datavalue":{"value":{"entity-type":"item","numeric-id":5680121,"id":"Q5680121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384406$55E7CE9E-7493-49A2-88E3-3375B033C0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce389bbbdcb8f70dc07087a09724173beda00709","datavalue":{"value":{"entity-type":"item","numeric-id":3852386,"id":"Q3852386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384406$6294DEC4-5A22-44C2-8526-04152FBED7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6f32b8b352175eb91c7812199b07dfdcc708a12","datavalue":{"value":{"entity-type":"item","numeric-id":619321,"id":"Q619321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384406$B025E532-B115-4A2B-883C-E5796E6965C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384406$74D2AB73-38FD-49D2-8255-7ACB08BE58F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f39e76cfbf5da16b2199faefdf6dabd9f78b7c","datavalue":{"value":{"entity-type":"item","numeric-id":2481196,"id":"Q2481196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384406$B620A556-E233-4D24-B140-93C9C5D69EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac536d8d49f2e28b1f8e278c069e6dae4d5c2370","datavalue":{"value":{"entity-type":"item","numeric-id":5420753,"id":"Q5420753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384406$3A82EA2C-9254-4028-8D5B-A63123E9DBA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f7e4d8a66e7f179401ce442b3a11af9774a6750","datavalue":{"value":"10.1007/S10469-013-9229-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384406$26DCFD3A-FAA8-4F0C-98D1-8AFE1BF636FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354da9787988b387d1794d6bf8ce92db7bc67263","datavalue":{"value":{"entity-type":"item","numeric-id":1936282,"id":"Q1936282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d136f5732b706a578730f2442de24196ad3812ed","datavalue":{"value":{"amount":"+0.8161047101020813","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":"Q384406$1BDCFE70-9BF3-4A96-A13B-E24AA7B52A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdb4d95a20f16a42e0052d531a959dacee17d1d","datavalue":{"value":{"entity-type":"item","numeric-id":3466443,"id":"Q3466443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5d9d378719efd2412b1fb6917ed0a524b4c6b1","datavalue":{"value":{"amount":"+0.8144758939743042","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":"Q384406$249302A4-DBEE-447B-A915-2F7CA3556D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa9eccf412c1ab72ba26995f467df640eb77af9","datavalue":{"value":{"entity-type":"item","numeric-id":619321,"id":"Q619321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e49f1824481731cfbcb2d4d86857404f5364d8e","datavalue":{"value":{"amount":"+0.8052829504013062","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":"Q384406$EDABB35D-A11E-4165-A16B-F4B460E54F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce5765c0cc9a76ab305642cfc904255d8ade5d6f","datavalue":{"value":{"entity-type":"item","numeric-id":2481196,"id":"Q2481196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57bc25b1988f1d2803fe9155ea79a0c01a9e8846","datavalue":{"value":{"amount":"+0.8035470247268677","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":"Q384406$16382679-1E58-41DE-91D8-043323710764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5bebc3c0bbfdc81cb78435d22e365f36cbcb3b","datavalue":{"value":{"entity-type":"item","numeric-id":2088636,"id":"Q2088636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487bd810ead8b0757d8626f9662b7fee170ed507","datavalue":{"value":{"amount":"+0.8019838333129883","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":"Q384406$D9EDFCE5-4A0B-4AF9-8059-12EBC8F24DE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_decidability_of_the_universal_equivalence_problem_for_partially_commutative_nilpotent_groups"}}}}}