{"entities":{"Q1803010":{"pageid":1813752,"ns":120,"title":"Item:Q1803010","lastrevid":72990663,"modified":"2026-04-14T09:14:13Z","type":"item","id":"Q1803010","labels":{"en":{"language":"en","value":"Matrix hierarchies of first-order languages and their applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 220162"}},"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":"Q1803010$D8599DD7-57EA-436D-BB88-E5DCB43837A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0497c5e7bb5ec8e9bd06458f66c1f873e32e7e40","datavalue":{"value":{"text":"Matrix hierarchies of first-order languages and their applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1803010$0C404DFA-ABC9-4A28-853A-E5A7FE532ECA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45761e8e47a996b554cd12e70fef8732c467fe42","datavalue":{"value":"0781.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803010$8ABA5251-4B71-4EFF-B564-209A98B2ABDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c715c52f304be7b519b41b9a3e384ba537bfdc4","datavalue":{"value":"10.1007/BF01978830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803010$9A7AFB9B-5953-4059-AFFC-B42B514CF6CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5d1d201926b61ef4bb727e216a275e3b26a0ea5","datavalue":{"value":{"entity-type":"item","numeric-id":800485,"id":"Q800485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803010$22DC578E-2A07-4172-A517-8DAB5CE97928","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803010$D754E95F-C6CB-427A-A916-0A21BFA15610","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1803010$8FFD4E26-6BCB-42BD-A61E-43EEE72FF953","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6d84b22fa32a0472823d1a6cd81742cd7499239c","datavalue":{"value":"The first-order languages considered here are not closed under (first- order) subformulas, but are closed under other operations defined in terms of infinite matrices. This allows to construct examples of theories with subtheories of given Turing degrees. Theorem 2. There exists a hierarchy \\(H\\) such that for any r.e. degree of unsolvability \\(\\alpha\\) there exists a language \\(L_ \\alpha\\in H\\) for which the \\(L_ \\alpha\\)- theory of the variety \\(\\mathfrak L\\) of all semigroups belongs to \\(\\alpha\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803010$621CF8AF-2A8A-4FB3-BA02-1DEF61601011","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803010$A6A63309-EE30-4F87-B5DD-A770845E3727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803010$D7989CAF-73C9-4A25-B6B1-E6D0C062AF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803010$BEB9D687-F25D-491F-8388-08E69B67F860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803010$E29DDC1B-44F3-424D-A09C-7ABB8686EB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803010$F6AA099E-0F4D-4D74-B7FC-7778038B4277","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ba833f46f0d6d18cbcba8292f58d765d55d96a4","datavalue":{"value":"220162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803010$6E515E77-08C3-4C9C-9EC8-0D3061BACFCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a14dfb46c55a478a6c30159e36fab06a124ea3e","datavalue":{"value":"variety of all semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803010$332BCCDA-A70F-444F-8BC6-190AE538A5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"337188a250a96de432be12dc91feaddecdc8f4be","datavalue":{"value":"first-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803010$AA297479-96F6-4C95-9CC1-3973612CD110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5d4f270646605fa03136a3a277a0e40c7482a0","datavalue":{"value":"infinite matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803010$B52290FD-936F-4576-8451-A42B8A72B254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0874f563979e892f1c0c989fb2c22cf70d1c99","datavalue":{"value":"theories with subtheories of given Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803010$8D14A22C-9531-4386-BCA3-398ACEE920A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b65c9c6169d9b1e7575b65fd1f0a942ad6e6ab5","datavalue":{"value":"hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803010$AC69430A-96C0-4952-A2D1-8DF1B869814D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d87be9e99365c1ffc632e547358b1e81f6799093","datavalue":{"value":"r.e. degree of unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803010$C9E72C9B-9455-43E3-928F-825698F94A29","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803010$6CB50019-4E9C-44CB-8EB9-E223033C31D0","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":"Q1803010$DAC16A41-9B47-4275-A35D-AAA7E6D7207F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1b74ecddf2f08a12ce666278ca833b522150ee","datavalue":{"value":{"entity-type":"item","numeric-id":3271835,"id":"Q3271835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803010$E25BEA10-D8C1-4E9F-9844-451F1B49792C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595cde3272bb69104b7ab5798f91b4c788d0d595","datavalue":{"value":{"entity-type":"item","numeric-id":5598340,"id":"Q5598340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803010$4E81BF92-BCDF-4E54-BC45-07522038313C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570a201d3a924e1bf610bfce1e00cd2bc4e78c14","datavalue":{"value":{"entity-type":"item","numeric-id":5534205,"id":"Q5534205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803010$6426331A-17AB-4E11-BF31-079D8C4227C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae98edff5c5b05b120bc0082505efe793771f839","datavalue":{"value":{"entity-type":"item","numeric-id":3791112,"id":"Q3791112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803010$B593E403-767C-4302-A468-68A5D501FF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d51884ce52d70cd57236b11c06e7add9289d22b","datavalue":{"value":{"entity-type":"item","numeric-id":5551141,"id":"Q5551141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803010$4E0D4B57-6C18-4AF7-B6E0-A0D588D7ECA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99d5df00970bc5646ce3c447cbba42220c2b2822","datavalue":{"value":"https://doi.org/10.1007/bf01978830","type":"string"},"datatype":"url"},"type":"statement","id":"Q1803010$7C52C8C1-5E31-4C70-8E9E-77C83AEF3D38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1fd2c87c0fb761fc22a9eb6f3ea740e335d629c","datavalue":{"value":"W2076636257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803010$E1C417B6-97DC-4F5F-B098-1EB808C6CBD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df00b4f6815c59cd3ce6b24b2339b8e55ff6d2da","datavalue":{"value":{"entity-type":"item","numeric-id":3791112,"id":"Q3791112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef952b0a09a1e83ae827d23fed830a975ae7911","datavalue":{"value":{"amount":"+0.7852136492729187","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":"Q1803010$1AF19671-1FB8-416A-8888-562E527C40B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b8c676ebd6cc7ac6c852c8d9c4b99d3f128829","datavalue":{"value":{"entity-type":"item","numeric-id":3714069,"id":"Q3714069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b9a1694d625333d32dcc999b769511b754ab7c","datavalue":{"value":{"amount":"+0.7188690900802612","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":"Q1803010$7ED6C165-1802-46FE-AA77-DE0CAA86FB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d35e79583760334cbed0f78fbe5507c0399e4d1","datavalue":{"value":{"entity-type":"item","numeric-id":3778719,"id":"Q3778719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4141a4985a39c227bf9f0cc6abc4c5b9e65feda","datavalue":{"value":{"amount":"+0.7156189680099487","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":"Q1803010$7E31B3AD-9B72-4B3E-B295-32C603470ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d566a1a39ed4ec4cd182e3b1940edbb22e20fd","datavalue":{"value":{"entity-type":"item","numeric-id":3481689,"id":"Q3481689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcfa6dc4cbdf92a76793a33c35a34b7771e12a5e","datavalue":{"value":{"amount":"+0.7120788097381592","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":"Q1803010$71BFFE3F-3678-49E8-9A57-B2411E8E6676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925e396a5e579284923c0ab0ef7d4e0b2d35d82e","datavalue":{"value":{"entity-type":"item","numeric-id":2909622,"id":"Q2909622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88767da7dc22da31f70a09fb38e203fff55dd57","datavalue":{"value":{"amount":"+0.7107699513435364","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":"Q1803010$AC9912EF-A0D8-4F5D-8EA1-E1B5BD2AB2F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Matrix hierarchies of first-order languages and their applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Matrix_hierarchies_of_first-order_languages_and_their_applications"}}}}}