{"entities":{"Q1072715":{"pageid":1083467,"ns":120,"title":"Item:Q1072715","lastrevid":69570123,"modified":"2026-04-13T07:54:44Z","type":"item","id":"Q1072715","labels":{"en":{"language":"en","value":"Two decidability problems for infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3943057"}},"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":"Q1072715$96C7718E-2A65-4016-A4FB-D44300313C76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"279d53e583a1a7a8bd07e9f5d363a799b67b6627","datavalue":{"value":{"text":"Two decidability problems for infinite words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1072715$85BE9733-F926-4C7F-913F-A4BF5BB8124B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9885405850dbb5a3c1727345d254b80b8328ea05","datavalue":{"value":"0587.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072715$93D49025-FA55-4464-ACFD-18C7587EE950","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7467a931efed43b4efad501eb3fed1ec76290bc1","datavalue":{"value":"10.1016/0020-0190(86)90058-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072715$E9104650-CD76-4EF1-8D7F-EAFD2544220C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"313c996a496538a10d604b22fef5d4ff7921a065","datavalue":{"value":{"entity-type":"item","numeric-id":801687,"id":"Q801687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072715$749763A0-AC4A-4B6A-B288-9A79ED1CBC24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072715$0642C150-9861-4C8F-BDEC-C2EEF425767F","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":"Q1072715$086CAA6C-F0EF-44F8-BAEA-4A9876637AA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ccf73e4956527644f554dee71e230af791d959cd","datavalue":{"value":"The aim of the present paper is to establish the following results: 1. The emptiness problem of the \\(\\omega\\)-equality set of two morphisms is unsolvable or, in an equivalent way, that the \\(\\omega\\)-Post correspondence problem is unsolved. 2. The property to be functional for an infinitary rational relation is solvable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072715$8C9A649E-A6DC-475A-8436-E293201F7677","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072715$F3B9C6BD-86F4-4580-98C7-F7BEBD5F49CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cefab987e02b7643c1a9f77147b4660f04d70ff","datavalue":{"value":"3943057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1072715$7055CDE8-EDA4-43DE-94A1-EC01CE6BF064","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0691b52ae80bc89859fce1564499fde4c68c93ee","datavalue":{"value":"infinitary language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072715$53C4824B-2793-4EAE-8497-AE07CC90F495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b23482642069dffd070f43ac04b6cc0c1f5d81f9","datavalue":{"value":"omega-equality set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072715$F7EF85D1-9127-4381-B4D8-321BA01467A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9159d4f959d21ef7c3c5f2d36ede4144c26f9c","datavalue":{"value":"emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072715$C39B3361-8528-4591-8D18-C891AAECF197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2089572f0fb6132b1f06d0e9b780ef433f22f2b9","datavalue":{"value":"Post correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072715$1B5BC9F4-2960-4A7E-B32E-8AC4C031786C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2980d3aa1c2625f709f2f0516f8c7eac9bfaead","datavalue":{"value":"infinitary rational relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1072715$8B56365B-73BD-490D-93CD-A21055E5E435","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":"Q1072715$C4908A76-F74D-4DBC-AC70-32807FC6D4D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072715$9C4D1460-2CEF-4941-B7E3-7F0C7374BCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606a1ba0b25e8d1bacb0f033a5b4ac81479cf171","datavalue":{"value":{"entity-type":"item","numeric-id":1157971,"id":"Q1157971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072715$3C6629A2-5DFC-432C-960E-7A8C94CC7425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c5d18b55600060c01f0e98683fd48a87b2d34f","datavalue":{"value":{"entity-type":"item","numeric-id":3925892,"id":"Q3925892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072715$926B56D2-7879-4193-A522-DA0FC49613B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4482a4cfdf60186d43e6c116d90cec57b6bdf53","datavalue":{"value":{"entity-type":"item","numeric-id":1253937,"id":"Q1253937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072715$612CCE22-5866-4E51-8EA3-9B06367C4165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e5a0e65126d9e3d89e8d06cd09d71f330bef34","datavalue":{"value":{"entity-type":"item","numeric-id":801688,"id":"Q801688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1072715$9B169F74-2814-4B16-AB9A-92282C7D6887","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4794c5d7468d663f111f130755c949ff1d3f53c2","datavalue":{"value":{"entity-type":"item","numeric-id":4923292,"id":"Q4923292"},"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":"Q1072715$1723C2CE-E12F-474C-B087-EB41FBDDEEC2","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":"77dec7a2edbfaa71862f5870bf158b9dcddf6d6e","datavalue":{"value":{"amount":"+0.8231385350227356","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":"Q1072715$77DDA12D-7266-407F-9AF5-746ACB4DD77C","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":"8e81b8ee7f4bb5a3bcc5f6775dfc94b12ea02595","datavalue":{"value":{"amount":"+0.8170253038406372","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":"Q1072715$E40288B0-148F-461C-A24C-5C5C89E13401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c3e86fb6714988ded945440100cb506c5da763","datavalue":{"value":{"entity-type":"item","numeric-id":4265636,"id":"Q4265636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d97aab742cd24c090976028a888dbc4c7249de","datavalue":{"value":{"amount":"+0.7986079454421997","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":"Q1072715$C379036B-D118-40F3-811B-4641398601C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fded7d83a66917e584add0d176c2537fe7506b4","datavalue":{"value":{"entity-type":"item","numeric-id":1408462,"id":"Q1408462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f6a20dab6e1372017556aa40cd30eb803ee149","datavalue":{"value":{"amount":"+0.7983345985412598","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":"Q1072715$541C0BD0-880D-4502-92A4-D636EE870261","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two decidability problems for infinite words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_decidability_problems_for_infinite_words"}}}}}