{"entities":{"Q1921846":{"pageid":1932588,"ns":120,"title":"Item:Q1921846","lastrevid":69477915,"modified":"2026-04-13T07:16:24Z","type":"item","id":"Q1921846","labels":{"en":{"language":"en","value":"Undecidability of the positive \\(\\forall\\exists^ 3\\)-theory of a free semigroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 923560"}},"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":"Q1921846$E6B8754B-7ECB-42CB-9555-3439AF306581","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68bbb3dfa978da7d5f7381e4ce81e50cf11abe05","datavalue":{"value":{"text":"Undecidability of the positive \\(\\forall\\exists^ 3\\)-theory of a free semigroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1921846$88ED5D4F-FC26-435A-B592-0E04F750DA16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b05dc5a213216added3b4bc3489d120c86f65f3","datavalue":{"value":"0853.20035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921846$972B52CF-7C59-403A-9C2D-381A133B7396","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95a303119254afc7e8ce631f40294db8706c056f","datavalue":{"value":"10.1007/BF02112533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921846$29DBFE29-C7E9-4294-BD78-52CFF62D471A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b896a40141fe66fa661f90e065f3259a9b6780b","datavalue":{"value":{"entity-type":"item","numeric-id":827045,"id":"Q827045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921846$047BE222-7AE8-47B7-93A8-63EDA1883C45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921846$A3F5E520-67DA-4014-9D36-148BB79F8656","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3877a9de754831a17b808ff66529cfb996caadc9","datavalue":{"value":{"time":"+1997-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1921846$1C43F914-5ABB-41D0-9FE7-30B8E3B8BBE4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"30157c3a989c6e6b7fd5de5af7b57885ab0af380","datavalue":{"value":"Let \\(\\Pi_n\\) denote a free semigroup of rank \\(n\\) with free generators \\(a_1,\\dots,a_n\\). The main result is Theorem 1. For \\(n\\geq 2\\) the positive \\(\\forall\\exists^3\\)-theory of \\(\\Pi_n\\) is algorithmically undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921846$970D97E6-D93B-4630-AED4-373B5AC740B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921846$C9BF16BC-1FB9-411B-B3BE-AF83CE84A24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921846$27BCF8C7-E3FC-4F47-9BE5-3DF321EC146A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e41aa455b6d774eb11939bae75f568a68d15b10","datavalue":{"value":"923560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921846$2D34BD71-0745-42CB-973D-268659B27554","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"954597857ebd2b4f1b14dab13197add72b8a804b","datavalue":{"value":"free semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921846$07F18091-4225-4990-BDA9-4665AA746A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c6b99b476daba0feba9f2f46132b1fe1e978e84","datavalue":{"value":"free generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921846$CE8EC107-14B0-45EC-AF85-CFD6D7FC0CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c3ca4df7b967a1e8a76bc31479e7b7f179d358","datavalue":{"value":"positive \\(\\forall\\exists^ 3\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921846$A902C27E-618B-4E27-AB90-FCB7377A81DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82cb97e61a1defec53424a3b426c4d3b9569a6e2","datavalue":{"value":"algorithmically undecidable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1921846$2442D12B-E5D2-4BCF-9D78-1F041C69A26A","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":"Q1921846$33D9BBEA-9144-423B-B47C-732B40DFF6B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7e16f5dea1be00ee318bcc7f13a80f5dcbf65a","datavalue":{"value":{"entity-type":"item","numeric-id":3342743,"id":"Q3342743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921846$8BA795D6-6613-48B0-9E76-FB5AC978FC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64f0c9b576f1824f2de905ba6f67be3b88864da","datavalue":{"value":{"entity-type":"item","numeric-id":5845416,"id":"Q5845416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921846$24711D0D-7C33-42FE-B2F3-80FF4FA51F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d19d7f62fc0b1666876be8caef34dc09ebbab42","datavalue":{"value":{"entity-type":"item","numeric-id":4047699,"id":"Q4047699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921846$C4F2097E-AFA6-4815-BBDF-3E46CBC7873F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"179987a3de6e89bc02a55e82f116b0d5661694ed","datavalue":{"value":{"entity-type":"item","numeric-id":3699681,"id":"Q3699681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921846$293A1933-FA5C-4DD1-8A2D-C377141AB5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921846$6F92A97A-BF4D-4AD6-A982-FE40DE8E47F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b12ffa638fd7fd2f8d42aaf2cea823298b1d441","datavalue":{"value":{"entity-type":"item","numeric-id":4146913,"id":"Q4146913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921846$BDCAE9D1-897B-46DB-83DA-0697C1835A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bed9078299d4a78a451bf6329c1297b34b0c471","datavalue":{"value":{"entity-type":"item","numeric-id":3789546,"id":"Q3789546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921846$6DC31A35-46C7-4466-B39B-7C47EA0BAF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f7f3e8f80f8bfb0b7ebc4676e47dbfb61ca402","datavalue":{"value":{"entity-type":"item","numeric-id":4063646,"id":"Q4063646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921846$2E6F9776-E448-4EF2-9B37-68426163EB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ca34fe94cbf494863af77ec148aceea3d9965b","datavalue":{"value":{"entity-type":"item","numeric-id":775458,"id":"Q775458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921846$F898B555-5396-47EF-BCF0-93DDB8EC57DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5809f64501d69d2d9aed9b5fe4890c9ae3b07bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5619830,"id":"Q5619830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921846$8800CBEC-E386-48F8-BCE5-E43634221893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515a4d73159a3d00843d4500377b99f2a011f41f","datavalue":{"value":{"entity-type":"item","numeric-id":5583066,"id":"Q5583066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1921846$2BB23BA8-3F23-42C0-8674-CE74B1A4BC7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6df40e96d7dd08f7a73fdfa06de6eec6e1cd149f","datavalue":{"value":"https://doi.org/10.1007/bf02112533","type":"string"},"datatype":"url"},"type":"statement","id":"Q1921846$559980CD-0222-4C3D-AABC-84D991B76178","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a96fe1545d27bb39e18b8e2ccf731ed0c9df27f","datavalue":{"value":"W2005759788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1921846$300F05E6-920B-446F-B8BF-F1C2E65F9059","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7085fb6aa8546e7dc9e3edc092eb143b67fabab","datavalue":{"value":{"entity-type":"item","numeric-id":3699681,"id":"Q3699681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142dddcad9d54da6e9675d45d77cd00e1b3bf3db","datavalue":{"value":{"amount":"+0.9290205240249634","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":"Q1921846$4B7E0DD1-842A-4C11-A278-D2DE95E6E444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f461895cadb344f011ef8ab197c3a7871046a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":5154924,"id":"Q5154924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dcc63d2fcb693e85e19bae6c9eae8b0db9a5a06","datavalue":{"value":{"amount":"+0.8801603317260742","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":"Q1921846$C50F4163-3BB4-467C-A724-847419137CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948f4477c5b2aa3df26ff8afff0b4127b157ab09","datavalue":{"value":{"entity-type":"item","numeric-id":4530222,"id":"Q4530222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8046bc1784adc8d2e33850ddf7bdefea24120c0c","datavalue":{"value":{"amount":"+0.8656333684921265","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":"Q1921846$98A861A7-00FA-4D57-A66A-4E4C9A97D1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01eb923a5474828d08192ab6feab353f65c8b75d","datavalue":{"value":{"entity-type":"item","numeric-id":1582961,"id":"Q1582961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"598039d7e25fc6760eb5b4877129c730ec8c3f12","datavalue":{"value":{"amount":"+0.8646063804626465","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":"Q1921846$6E195E40-20DC-45EC-A5DA-62EA83965CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8145dd1f3e7b01557556b79659284a3621cbc79a","datavalue":{"value":{"entity-type":"item","numeric-id":3699893,"id":"Q3699893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb36fed86aacb897af18a9fd9a66098d5f00626","datavalue":{"value":{"amount":"+0.8251893520355225","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":"Q1921846$F59C2456-D51A-403C-A041-E2DF8394A3E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of the positive \\(\\forall\\exists^ 3\\)-theory of a free semigroup","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_the_positive_%5C(%5Cforall%5Cexists%5E_3%5C)-theory_of_a_free_semigroup"}}}}}