{"entities":{"Q2729239":{"pageid":2739978,"ns":120,"title":"Item:Q2729239","lastrevid":47643454,"modified":"2026-01-02T07:21:22Z","type":"item","id":"Q2729239","labels":{"en":{"language":"en","value":"Some new results on Post correspondence problem and its modifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1621817"}},"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":"Q2729239$C2708D5F-F243-4566-8142-0A1363A9DA6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"204dab8df64aad744a53df7ab761cf4292b97e79","datavalue":{"value":"0989.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729239$7DDE1F77-5C3B-454A-8D9D-B9B299728C54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"740d9e7b5ed53dada835ed8dd1fea829801958aa","datavalue":{"value":{"time":"+2001-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2729239$954A1EB2-7CD1-49ED-8F00-A257A18F9B0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729239$0A1AE5B7-A25A-4B5E-928E-1F362747D388","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"160029662b7c618bfb7500a6e5bcdd7ad23a05d8","datavalue":{"value":"1621817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729239$1C643F45-5F80-4418-9562-62FF51ADD62A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2089572f0fb6132b1f06d0e9b780ef433f22f2b9","datavalue":{"value":"Post correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729239$BEC80EC4-05E6-477A-9A55-F38662EB2337","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59d83211de22bb9037eb8bb17627d49ead9fa4a9","datavalue":{"value":{"entity-type":"item","numeric-id":287018,"id":"Q287018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729239$D062D999-EDB0-4790-8D63-A7A636514041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1040094bf74402ed6fa4c78436dda64e324757","datavalue":{"value":{"entity-type":"item","numeric-id":1806108,"id":"Q1806108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729239$EFC8807E-B774-44D2-9DC3-FE378B5FD705","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":"Q2729239$BF80B314-A899-4E98-A4E7-F5DA329B7E96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"247d09d9d442032762296c52c4e09b2a257b442e","datavalue":{"value":{"text":"Some new results on Post correspondence problem and its modifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2729239$34F984A8-46D5-417D-A6DE-A22BE8D0D205","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d94406c40e2fc59c6217175412040f80075312f0","datavalue":{"value":{"entity-type":"item","numeric-id":6591395,"id":"Q6591395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729239$30197DB0-C6BF-4843-A473-7E43D81C125D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"826e451d961f9495602c9eff8c077669456ebdc5","datavalue":{"value":"The authors of the paper study the Post Correspondence Problem (PCP) and its modification. The PCP offers many interesting questions related to undecidability that the authors consider. More specifically the authors consider the proof of Halava, Hirvensalo and De Wolf that a marked PCP is decidable for all alphabet sizes. Then, the authors study the generalized PCP and consider briefly the ideas behind the proof of Halave, Harju and Hirvensalo that the marked generalized PCP is decidable regardless of the size of the domain alphabet.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729239$0FB1E41A-FAF5-4F8D-83DE-7D7D962E01C3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"69b93dc27d4387ede14176674c0b1d85f1013e20","datavalue":{"value":{"entity-type":"item","numeric-id":587098,"id":"Q587098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729239$5ED5A1BE-9930-42CE-A5ED-78256B9B8ACC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdcad0019a1c1c7292bd8866f8c557615a2a5a63","datavalue":{"value":{"entity-type":"item","numeric-id":4510798,"id":"Q4510798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb0e6f598b563d223eec8ed8cb55a001e0f02e5","datavalue":{"value":{"amount":"+0.8711500763893127","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":"Q2729239$A55EEDA8-3811-4674-A914-19179BDFCA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41fd2f7ee1fa0e63e88bcd13fb00a608e4a9370","datavalue":{"value":{"entity-type":"item","numeric-id":4453473,"id":"Q4453473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb0e6f598b563d223eec8ed8cb55a001e0f02e5","datavalue":{"value":{"amount":"+0.8711500763893127","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":"Q2729239$58091FDB-744E-4C87-B3DC-D20E748AF76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91f28f5a9b14448eb4231f83f949c54854c1771","datavalue":{"value":{"entity-type":"item","numeric-id":4251052,"id":"Q4251052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f45744dda93a6b923c1c26e279fcaf5553de39","datavalue":{"value":{"amount":"+0.8669787049293518","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":"Q2729239$9135F7FB-3D93-4C16-9189-3E799DAB3CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dd89c13fbf69ebc57b150ca835e5066246e018d","datavalue":{"value":{"entity-type":"item","numeric-id":5941069,"id":"Q5941069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4456b2575adfd047a868589f32cd02f9b0c450d1","datavalue":{"value":{"amount":"+0.8546391129493713","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":"Q2729239$ACD5A757-EB7F-4F66-A75F-69DF602A5D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f49478777c639a8adc825ecee11fe93ee03cb40","datavalue":{"value":{"entity-type":"item","numeric-id":4593916,"id":"Q4593916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544c7f22381065e604b7a85fc8177f03b37e50ba","datavalue":{"value":{"amount":"+0.8480557203292847","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":"Q2729239$6C40E333-C84E-4FE3-9BE7-5151060E2D5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2729239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2729239"}}}}}