{"entities":{"Q4923292":{"pageid":6952874,"ns":120,"title":"Item:Q4923292","lastrevid":90966452,"modified":"2026-06-04T21:55:01Z","type":"item","id":"Q4923292","labels":{"en":{"language":"en","value":"Three applications to rational relations of the high undecidability of the infinite Post correspondence problem in a regular \\(\\omega\\)-language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171177"}},"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":"Q4923292$08F60C90-0C6E-46EC-BB9C-5A04C79AC5A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b1b425715fc5f286ae508606a5bd370747030a4","datavalue":{"value":{"text":"THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR \u03c9-LANGUAGE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4923292$0D6CEE37-163B-49AC-B169-533CD165213D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc07424f0b4600b57bd66fb95faf62bdeaa2624c","datavalue":{"value":"1267.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923292$39AB5846-9B41-43A6-BB9B-4C96B5CED7C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bd43097734f793f70c0f403d3d99fb5ad330d46","datavalue":{"value":"10.1142/S0129054112400606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923292$E93ECF31-37FE-4551-9146-33A6C03938E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$D00D703A-240E-408E-A377-E022626A9C00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4923292$61E50E6B-1C5C-4A08-BF35-0FF771393C13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a98dfb825664ad99580f616746507815fa2c966c","datavalue":{"value":"https://arxiv.org/abs/1107.5886","type":"string"},"datatype":"url"},"type":"statement","id":"Q4923292$91F00787-1AEC-4E97-AF40-978FF758C9A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923292$1ACA1394-5441-48D1-93B1-AD9991FD6E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923292$7468F98F-DBD3-4D31-B645-751506C67347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923292$AD1D654A-B8BE-45CD-AED0-7492A4E68AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923292$06EE472A-EA29-4312-851B-7E980FEBC9C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5defe9557c6554a6af2f0e057ae72086506c9b8c","datavalue":{"value":"6171177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923292$E80E5A8C-B1A5-4A34-AC41-C3B73274F045","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923292$AA28DFB5-F117-487C-BF20-8E097B3A4335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dff8d47481eef611017cd5c768cc25624b885ef","datavalue":{"value":"infinite Post correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923292$3C61C278-B4A3-4CEA-8E55-0845DB2CCBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e227294eb0dc60e96eb55ab92da87064d1510c6","datavalue":{"value":"analytical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923292$3CCB3DF9-8F21-41CB-BA07-72A6EB752DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ae9c5dafce305edbaa925de066ad4e26b190efa","datavalue":{"value":"high undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923292$55EF1B10-3A53-410D-A12E-F3DBF3BCDAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6564d49a722a394780dffb896418fcaffbec2d6","datavalue":{"value":"infinitary rational relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923292$510C4001-ED41-4774-B138-E0878948EAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfd9f073a7ac0ff96476371d752d2053a5510a67","datavalue":{"value":"omega rational functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923292$3499E6BC-D8F1-4337-804D-E6B8F40903EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923292$0BA4EBE7-5535-4F9F-82D4-1D29EAC4E61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"238f6e1db907c445af11b31e066b046d44c1cf03","datavalue":{"value":"points of continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923292$621D09C6-6FE6-4358-A26A-648FC9434C83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5cec85976887ea974bbe2cdde3814e9335c077","datavalue":{"value":{"entity-type":"item","numeric-id":324244,"id":"Q324244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$EA547CCF-3806-428C-A745-995771DF9DC4","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":"Q4923292$78C1D109-853A-4C7C-866B-6D87BAC8EF49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$B5B1DD55-D011-4464-A3F6-FC19B5D71FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6eb34a98017d84ee50ad18e42abca945fabebb","datavalue":{"value":{"entity-type":"item","numeric-id":3514642,"id":"Q3514642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$D4A51F95-4424-475E-8FC6-83C1A3F48480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7c812bd60b932492b9462aaa96aba626f65de4","datavalue":{"value":{"entity-type":"item","numeric-id":1242685,"id":"Q1242685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$C680B7B6-55A3-4438-AB0D-7A59DD06C09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6df1a04b050faa27093ff0d69d84f736ecf1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4798202,"id":"Q4798202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$649CC770-93BC-43C5-AF9C-DF3EBBAE0798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85de1eb0584e53e95f8c1038b42b61cb411b4478","datavalue":{"value":{"entity-type":"item","numeric-id":1210539,"id":"Q1210539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$F44F4B58-3DE3-4E73-94B0-AC09934F5340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bbfad61d47e873dcf8636edb54a198be1eec91c","datavalue":{"value":{"entity-type":"item","numeric-id":3422021,"id":"Q3422021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$CCDBD7CE-530B-451A-B007-651B780844FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d639219698430c4b04a12ae945c16c72429f616","datavalue":{"value":{"entity-type":"item","numeric-id":3625697,"id":"Q3625697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$C1AE6978-8F0A-4F7E-BA85-58864DE0EA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97af97f3cd2733f88e487bf7453e95dd146bc3a6","datavalue":{"value":{"entity-type":"item","numeric-id":990079,"id":"Q990079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$378BAC2A-2E35-492A-B2D3-DDDEB69A9DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47185a1fea4f82f8945978983cee0f2c1a7810d9","datavalue":{"value":{"entity-type":"item","numeric-id":1072715,"id":"Q1072715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$6B247C9A-4BE8-487D-80BD-B15D0F4DC938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bdbd355b7f4a72f4540104290ef2ee5af97cfda","datavalue":{"value":{"entity-type":"item","numeric-id":3423136,"id":"Q3423136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$D2C9B1CB-E401-4D1D-A65E-17A858F57E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2158a17cf7da8948b2e32dfca8dd2434d151b75c","datavalue":{"value":{"entity-type":"item","numeric-id":1589419,"id":"Q1589419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$5EA64486-2CF5-4BEC-AFEF-AC89E41E6FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e2a1c87543131ce2b41f4c2ed4678ba3360f06","datavalue":{"value":{"entity-type":"item","numeric-id":1605482,"id":"Q1605482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$3271C31C-019F-4DE9-9A14-06EDAEFE55CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f01f82b19f90331cfd390537d19adf974f07fe","datavalue":{"value":{"entity-type":"item","numeric-id":1589483,"id":"Q1589483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$375CA08F-08B3-4886-B340-359DFF052DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e515b61368614ac6b0edec0f3e035919f61232aa","datavalue":{"value":{"entity-type":"item","numeric-id":3853613,"id":"Q3853613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923292$42E7E7FD-1BF2-4637-9B32-6C63089C544A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb9b70d05a051850aafa125a473a241d04bd68ea","datavalue":{"value":"W3101098781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923292$B7BEFD5F-7728-44D6-94F0-1777945341B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebc47e2152fc243493e7f43aae9aa79e8ff1d53f","datavalue":{"value":{"entity-type":"item","numeric-id":3625697,"id":"Q3625697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a9eabd43ec57434459f08675a7763574fd74b9","datavalue":{"value":{"amount":"+0.8350382447242737","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":"Q4923292$CF6790CD-90B7-474A-9603-04EF2118431A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f0bd6633d2daeae7421e91a68ba785a2766d32","datavalue":{"value":{"entity-type":"item","numeric-id":1072715,"id":"Q1072715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace5edda3b432e2606a3131918b085b8c9d7801a","datavalue":{"value":{"amount":"+0.8262349963188171","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":"Q4923292$A7FCE46B-93AC-428F-B9E6-5F651084F4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6a43a9511f818ffe20cb49c43efa922d4725ae","datavalue":{"value":{"entity-type":"item","numeric-id":3409982,"id":"Q3409982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6742ccb378529fb14596510f1b914f68e3a6d48","datavalue":{"value":{"amount":"+0.8112179636955261","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":"Q4923292$1EBE02BB-3488-4416-BEFD-DF99FB337952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6bdb7e6be1348a1600ebcdd1613011f04c2521","datavalue":{"value":{"entity-type":"item","numeric-id":2345861,"id":"Q2345861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0c151b8b42f2a56ec5b90f97a40955309abe0a","datavalue":{"value":{"amount":"+0.7914117574691772","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":"Q4923292$A846D205-7765-4EF8-9A7E-DDE97BD77A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2713cad2019abdc7215f8eeff34a156dd99c6f76","datavalue":{"value":{"entity-type":"item","numeric-id":3514642,"id":"Q3514642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba33c01daba381dd0499d5c710689db12b75c90","datavalue":{"value":{"amount":"+0.7656219601631165","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":"Q4923292$A137C9BB-7432-43E8-A571-C596C2CD4F47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three applications to rational relations of the high undecidability of the infinite Post correspondence problem in a regular \\(\\omega\\)-language","badges":[]}}}}}