{"entities":{"Q2875176":{"pageid":2885896,"ns":120,"title":"Item:Q2875176","lastrevid":79630742,"modified":"2026-05-06T14:21:51Z","type":"item","id":"Q2875176","labels":{"en":{"language":"en","value":"The HOM problem is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6330088"}},"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":"Q2875176$0A180DE9-C3E1-42A1-9EC0-F1397306B785","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d765104f88d290ae03d5b1e80d1f31bac756f359","datavalue":{"value":{"text":"The HOM problem is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2875176$95DFD2C7-327D-4323-A6CF-8FAB8378C975","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6993d1b2e739ff19bbe293fbc2215200e5157ca","datavalue":{"value":"1293.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875176$014CB8AE-24FF-4BBD-90CA-B8D20FD147FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73e172d2e54125356ea7c8667417ae8bcd4b7603","datavalue":{"value":"10.1145/1806689.1806757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875176$C35328B1-0466-4530-98D3-CEE87E2DC25C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"957322e0e65309e69a1881e776e7b58b540ff033","datavalue":{"value":{"entity-type":"item","numeric-id":734040,"id":"Q734040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875176$47CB9469-A7C8-44A1-B891-68F4C2643FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e730072b0020aba230bc8b92cb0acc6480c85","datavalue":{"value":{"entity-type":"item","numeric-id":268258,"id":"Q268258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875176$29664DF2-244B-45C3-AF0F-DE30F37CA217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5835bf4f92acf53bba03fe7a638dce870632b3ef","datavalue":{"value":{"entity-type":"item","numeric-id":1991411,"id":"Q1991411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875176$E64E623B-AE6A-44BE-98B8-64B5BB4ED10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2ac9177c8ed8f1d0d6bfb2cfb40afb0f4276bba","datavalue":{"value":{"entity-type":"item","numeric-id":172543,"id":"Q172543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875176$871C8368-4F08-42BE-98CD-B06F82F60D65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"857e6d765dc12abc2ea24a145570b777b4cfba51","datavalue":{"value":{"entity-type":"item","numeric-id":2875127,"id":"Q2875127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875176$85705F1D-AAE9-4F5D-BE7D-2C064D87BA17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f80e145b44ef7aa11a9e241ede63c58486ab29d7","datavalue":{"value":{"time":"+2014-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2875176$D7291323-2C9C-4ED4-9279-FDE1D460B664","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875176$4BDF9BD3-7F58-4857-98CE-88DAC624A98A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7485b4820043f806b009861f8a50d38d549eee77","datavalue":{"value":"6330088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875176$F1E76A95-3E29-4BB9-9A8E-8E4482E9173E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db142dd107fdc467fbdf3710d60d5927512fee12","datavalue":{"value":"homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875176$57CED89F-3EBD-455E-ACC0-A458C11364F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875176$2831A87C-8B32-40AB-8F33-846CE502C02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b960583538d59069a8653c1bd9432554833c09a4","datavalue":{"value":"transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875176$B1A02385-BE6C-4F04-A2B6-4752F66FF1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875176$9449FD12-3EBE-4F25-B05A-8AABC599E9B9","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":"Q2875176$4DCD2188-42CD-4D4D-89F9-12782F2C839C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ea650520fa4598b308177258b70e643b55a65b1","datavalue":{"value":"https://doi.org/10.1145/1806689.1806757","type":"string"},"datatype":"url"},"type":"statement","id":"Q2875176$9CAE3C91-00A9-460D-AE88-510634DFE682","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"819fc0a9ec3acab23db4eed6c5ac0b4d927768b8","datavalue":{"value":"W2014118070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875176$A0B01F1B-19A2-4716-AE15-64A6A230213F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f932e55330495773c97a0a3bc091381ccbd5cefc","datavalue":{"value":{"entity-type":"item","numeric-id":5395720,"id":"Q5395720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d001223cafc4e2b3b675955d72edc12bcbac09","datavalue":{"value":{"amount":"+0.9674400091171264","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":"Q2875176$7AC2AFFF-D0FA-4594-8E5D-4B85C43CC470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33770b185bc422106722737a0176bad592604d93","datavalue":{"value":{"entity-type":"item","numeric-id":5458355,"id":"Q5458355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3768934df24bd44642efd1cb45510e8cb741784b","datavalue":{"value":{"amount":"+0.8534657955169678","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":"Q2875176$4068C5BE-008E-44DF-87FD-2C588AC4ACF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5809a8c7d144066a2c3b65c6f7b80312eb5fae","datavalue":{"value":{"entity-type":"item","numeric-id":5892435,"id":"Q5892435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5de5c95c7b3424e0cab15d1c7edc93bdf89816","datavalue":{"value":{"amount":"+0.829042911529541","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":"Q2875176$E9DE7E46-E076-4098-8E37-8DD527FEF654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9a8279b9103af4054cc62513f18c2caf94b539","datavalue":{"value":{"entity-type":"item","numeric-id":5895159,"id":"Q5895159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5897b12b38cd5a355d1eee364a66078c42cf19f","datavalue":{"value":{"amount":"+0.827613115310669","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":"Q2875176$744B5692-071A-492A-AC2F-4242697EA232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"546c7a6caf65dc3b947ee24b930478e1f467e1fc","datavalue":{"value":{"entity-type":"item","numeric-id":4260705,"id":"Q4260705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52dbad72f649a8cc446e301dc79d4583cce1643","datavalue":{"value":{"amount":"+0.7729547619819641","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":"Q2875176$664B476F-F9AD-4299-9A35-08D0B08A9FBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The HOM problem is decidable","badges":[]}}}}}