{"entities":{"Q2639043":{"pageid":2649786,"ns":120,"title":"Item:Q2639043","lastrevid":49454794,"modified":"2026-01-07T04:45:12Z","type":"item","id":"Q2639043","labels":{"en":{"language":"en","value":"Critical theories of some classes of graphs and unary algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4183383"}},"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":"Q2639043$7058637B-2B6A-4EB6-870B-EECFF8E1E440","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de8cb7e127d9ecfdfd92e9f938e72d2c8137a83a","datavalue":{"value":{"text":"Critical theories of some classes of graphs and unary algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2639043$A0229E31-85AD-400C-A0F4-9879BBC66E0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1f884927e44634ade44d63cb6b16692c80208a1","datavalue":{"value":"0718.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639043$26D9DEB0-BF36-4140-BA24-2F0F29D4E959","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e595bde3221c2d5fcbb9ee1d098f578e8165418","datavalue":{"value":"10.1007/BF01982020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639043$0D7FD087-ED67-4440-BCFC-05E4A71EA4EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f3fa0337f3d9f04909c790c2dd323f985340a2","datavalue":{"value":{"entity-type":"item","numeric-id":1112853,"id":"Q1112853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639043$12842A14-DA0C-4085-AA61-0AC7E5F2C41C","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":"Q2639043$D3C203FF-CAEA-44CB-849D-3F50094D0072","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q2639043$95CF0EB4-7B13-4E1D-965B-59B38C930C52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05eaab1178410599d921dcb515959ba3196da058","datavalue":{"value":"https://eudml.org/doc/187482","type":"string"},"datatype":"url"},"type":"statement","id":"Q2639043$216D85B6-4974-45CF-88AB-D02E0E270B68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f5fa644dd48b0a1e04a5d5f96b8cedd432770cf4","datavalue":{"value":"This paper is based on the work of \\textit{Yu. L. Ershov} [Algebra Logika 7, No.3, 38-47 (1968; Zbl 0201.008)] who gave an example of a totally ordered set whose elementary theory is undecidable, yet all the theories with a bounded number of quantifier changes are decidable. \\textit{Yu. M. Vazhenin} [Sib. Mat. Zh. 29, No.1, 23-31 (1988; Zbl 0638.03013)] proposed a scheme- alternative (SA) hierarchy of first-order languages and stated the problem of finding, within SA, all decidable bounded theories for a given class of algebraic systems. The present author gives a description of SA- critical theories (i.e. minimal in SA undecidable bounded theories) for the class of all unary algebras and for certain important classes of graphs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639043$726FB2D7-F9B7-407D-8EC9-A69DEF8A4955","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639043$497ABEE6-E681-461F-9F33-FA642A890A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e35cfda1c439de499de525a8a9009114d934bb37","datavalue":{"value":"05C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639043$F98136DD-0938-4CC4-AA8B-2E3A1396D14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2c34644f223015abe9c203f88e343dcc46a9ae","datavalue":{"value":"08A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639043$1F488D5F-DD58-4675-A00B-826BBC607909","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a96e12268c46713e85587b31378e57925a49eacd","datavalue":{"value":"4183383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639043$61BEDC30-166A-4687-A37C-F52BD4048954","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0f33b28a063fb56820bd5f24a619185b3603552","datavalue":{"value":"scheme-alternative hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639043$F39154A1-7C01-4C42-AC03-FC58035BCA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023b74bd509dae78122669c7ab78b5072817b1c2","datavalue":{"value":"critical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639043$83107BD7-091D-4CD7-9520-B74BFE0ED1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d852a47a0e53eb33d201bb9b1aa9786cdf5abc0","datavalue":{"value":"unary algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639043$C64E5800-544A-41E0-8DF5-450F27F0FD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639043$9286D3C0-AEA0-445F-A1A3-2F55BC965C93","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c57cdea2f65d9d15ca88202ede1c912bc6bece45","datavalue":{"value":{"entity-type":"item","numeric-id":249432,"id":"Q249432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639043$6C666088-9D1C-4494-A21B-55EDB91C0F0D","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":"Q2639043$8113B72D-7E0C-45E3-80E3-7FB16D9EF954","rank":"normal"}],"P223":[{"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":"Q2639043$FC9764D6-2168-48D2-921F-03ACEDF4AEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ceae4f96710f8ebd5d95214b6b7c646cc7859bc","datavalue":{"value":{"entity-type":"item","numeric-id":3778719,"id":"Q3778719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639043$741F10DB-D882-40C5-950A-6357537C0AA4","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":"Q2639043$2BD7EEFA-5F33-490D-8A6C-39B8A55EE69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4a8de49346e486cf0714a01ac384e27ede9e54","datavalue":{"value":{"entity-type":"item","numeric-id":3762294,"id":"Q3762294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639043$0ACCF21F-B849-47F1-AFE1-28716A7FF030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb06f1a06043f6cb293c1a3e3278c2868fea4fb8","datavalue":{"value":{"entity-type":"item","numeric-id":4046036,"id":"Q4046036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639043$56FCB885-0A6A-453A-9DEB-38829FF962A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09202554bd4c1a556b731d23306f14dee1bca88","datavalue":{"value":{"entity-type":"item","numeric-id":3955341,"id":"Q3955341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639043$06208493-AB8E-4DC3-9BB4-E6A8C48A5F15","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":"c668996c598a2bf6f4d2c36a366711efa296c365","datavalue":{"value":{"amount":"+0.8119995594024658","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":"Q2639043$2875C030-31B0-4B4F-B5B9-8EF5136387E7","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":"17ae56d0b7f009e8335a0b64dfb9db18a24d34f3","datavalue":{"value":{"amount":"+0.7837777733802795","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":"Q2639043$39D8B9EF-0C16-4142-94DE-2E812FBAA2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9922efcd74b5e29f1021efa1deefd4aa6fd5fb1b","datavalue":{"value":{"entity-type":"item","numeric-id":4323040,"id":"Q4323040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1853b53f61709ee13a5a60b161439c200a7905c9","datavalue":{"value":{"amount":"+0.7737734317779541","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":"Q2639043$1AA728AE-129C-49A8-B6BB-B05FE5936794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75468bdae2b0b31e2ba5aa74e9fd5337163f45f3","datavalue":{"value":{"entity-type":"item","numeric-id":2277245,"id":"Q2277245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74937d9e19bf54390f9a958c85ae8473179456d1","datavalue":{"value":{"amount":"+0.7693243622779846","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":"Q2639043$70423DE5-9A7A-46F9-9AF1-D0EE18CD9503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823f1c4c692ecb3a76a9c39db3da87f41947e231","datavalue":{"value":{"entity-type":"item","numeric-id":1906521,"id":"Q1906521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c773b257461ade833cb1234199a7457cf82bf9eb","datavalue":{"value":{"amount":"+0.7353711128234863","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":"Q2639043$36976A0C-1A6C-49C0-BE82-0AA9800C039E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2639043","badges":[]}}}}}