{"entities":{"Q1820772":{"pageid":1831514,"ns":120,"title":"Item:Q1820772","lastrevid":70909065,"modified":"2026-04-13T18:10:43Z","type":"item","id":"Q1820772","labels":{"en":{"language":"en","value":"Quasirelations in a free group and transformator equivalence problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995645"}},"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":"Q1820772$127E2F4E-18A6-4B8A-99CB-4263B795719D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54c697ce18ecac0125d2852b7583dc81df9cba41","datavalue":{"value":{"text":"Quasirelations in a free group and transformator equivalence problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820772$ED8947B9-F888-44DA-BC5E-13F8FE5E5B18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11678cba128daf17fe0cb5acaa3d8b8fb701226e","datavalue":{"value":"0615.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820772$396BF368-2E79-4292-8D04-04781738EBB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6b65a42702050386489d8b8c9fa416126923a62","datavalue":{"value":"10.1007/BF01987299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820772$30D8EFA0-AFC6-4E3A-8D6C-917B8FE6CEE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7f0c926245832115f408aabb05006233a9ddf5","datavalue":{"value":{"entity-type":"item","numeric-id":797276,"id":"Q797276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820772$B0E1A66E-632F-4A76-B1ED-5950781A7C76","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":"Q1820772$AF6D399B-23F4-4E00-8A34-7A7FC9FF7994","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1820772$C2158D01-0115-4279-8978-1E60A13B8795","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"887bd90c86a77f0202e9f95e70dfaef336713e9f","datavalue":{"value":"https://eudml.org/doc/187338","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820772$9C0B13CF-B8EE-4B2C-8E5F-4227CD761326","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5bb5c1a71fe811cdb3f4389095cd977fa3eb6bfa","datavalue":{"value":"The author proves a special quasirelation in a free group and uses it to prove the algorithmic decidability of the inclusion problem (and, thereby, the equivalence problem) for maps given by transformators sufficiently close to the class of Turing machines of restricted regime.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820772$72184611-C271-4420-8C31-E20D4728BEBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820772$7B554F93-8BD7-4A6A-8901-30CD25DFB33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820772$178A94E7-6850-482B-9EAA-1EAC929F7A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820772$1FF77872-53F6-41A9-81E9-B3697020D5DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37ead495fa8217cea5466edf2764ab09a8097d4f","datavalue":{"value":"3995645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820772$845B477B-E7A4-49BC-B982-AB1A3E9E9665","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae5ca7a4512b8e7de5f8aca2710bceda36ae82f7","datavalue":{"value":"quasirelation in a free group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820772$805FA41D-1748-4C6B-BA98-DC77844DD125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f92aa4f7abf636b6b60d6272664d820314e1661a","datavalue":{"value":"algorithmic decidability of the inclusion problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820772$BEF327A4-BDBA-4FA3-96FA-D7871A86BE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820772$CBFAD400-50B5-4AA1-912E-7272743A04DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820772$E244548C-EA25-4F7C-92AE-6B6804C562AE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1833d190eb6492ca84e0c93a6ff12de5694705d3","datavalue":{"value":{"entity-type":"item","numeric-id":1109753,"id":"Q1109753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820772$573383FA-C4D1-4EC6-8F45-EFC5AAFE10B3","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":"Q1820772$1EEAACD9-ED34-42B8-8962-E8292B7D1DD0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48a5928f29bdf512dcab54e695cd8949da550fb","datavalue":{"value":{"entity-type":"item","numeric-id":3916752,"id":"Q3916752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820772$DE5B269E-D81B-4E11-BE68-17C49B29B640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"252c92793cd65b7453758eb57971c33b6b8f3758","datavalue":{"value":{"entity-type":"item","numeric-id":3333233,"id":"Q3333233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820772$C6D9980D-DE7A-42BD-ADA7-32360C047005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112f7bbf702231dfdf6265079054edfe9355779d","datavalue":{"value":{"entity-type":"item","numeric-id":4146243,"id":"Q4146243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820772$24A2AEA9-C078-4195-B7C3-D6BD6D7622AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc8eaa5c69a163ed0a0ee69199c237afde522b5c","datavalue":{"value":"W1981982516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820772$4970B022-231C-40D6-9D01-2806673B6ABE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72de9769a325176d18dfc2504de085fb10067c22","datavalue":{"value":{"entity-type":"item","numeric-id":3747751,"id":"Q3747751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f4a0d87e420c082b56c4b38343586efe58c50c","datavalue":{"value":{"amount":"+0.7444193363189697","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":"Q1820772$7B6AC49C-123A-4B24-A4AF-6E9542EBF9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b939968d9a83c5ef73be76689ac6142b0757b28","datavalue":{"value":{"entity-type":"item","numeric-id":3332228,"id":"Q3332228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0afcf41770354dfdffbbc464bf3707449d58de8c","datavalue":{"value":{"amount":"+0.7409666776657104","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":"Q1820772$CC0F8FCB-FCB3-4A0E-881A-08C578EDB5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da7c0aba16685b82be5aa89f28c45f3915050363","datavalue":{"value":{"entity-type":"item","numeric-id":5186756,"id":"Q5186756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e359d9d2be6228c034c7b244fa0d92abe6b60deb","datavalue":{"value":{"amount":"+0.733639121055603","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":"Q1820772$C6ACF4A5-5A89-4ACC-A644-3BD5188D0DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75edb5f037176b3fa178cda260d51a764370a782","datavalue":{"value":{"entity-type":"item","numeric-id":3693683,"id":"Q3693683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a1ed7aebb1b0844cdf1cf352b37719e6a9c41f","datavalue":{"value":{"amount":"+0.7323687672615051","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":"Q1820772$0A81B215-B62C-4FB3-8EAA-89E9CBE1EAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6096283eb6899eb425937e25d19ad1939cdf06d7","datavalue":{"value":{"entity-type":"item","numeric-id":4218106,"id":"Q4218106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41639e35db001cce8d9c4c977ae15a8be24df84a","datavalue":{"value":{"amount":"+0.7305994629859924","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":"Q1820772$61A6118A-973F-431B-A1C6-592F5F8D55AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quasirelations in a free group and transformator equivalence problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quasirelations_in_a_free_group_and_transformator_equivalence_problems"}}}}}