{"entities":{"Q905075":{"pageid":906923,"ns":120,"title":"Item:Q905075","lastrevid":65235909,"modified":"2026-04-12T01:12:58Z","type":"item","id":"Q905075","labels":{"en":{"language":"en","value":"On complexity of problem of satisfiability for systems of countable-valued functional equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6530118"}},"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":"Q905075$8E014E49-CCB8-4D91-ADE3-53C835966CE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57c9ec0500d25ee315dbacaf8fffec75476bf52e","datavalue":{"value":{"text":"On complexity of problem of satisfiability for systems of countable-valued functional equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q905075$A5E5DEEF-F1CA-4DBB-B172-693CA23354C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a831a18b356b567c4adeb0ee0ace1acb026a0335","datavalue":{"value":"1337.39006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q905075$16035D9D-023C-4EA4-AA15-4A42932511BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80725c7a9eac1f86538e85f77cb7f66ed9de7eca","datavalue":{"value":"10.3103/S1066369X15080034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q905075$C5D8CDC9-6F84-4A99-A4BB-EB0A187E24B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6430d7c9898842aafb52ae175eb6b4210a613a94","datavalue":{"value":{"entity-type":"item","numeric-id":384748,"id":"Q384748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$F1330452-BF3C-47DB-8C18-EC2F5892FE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c4a95f085b4acb7c793008f4f9d663da3cb59bf","datavalue":{"value":{"entity-type":"item","numeric-id":314212,"id":"Q314212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$99466AC6-8321-4F90-BEBC-63B6CCB29192","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$4480419C-EBFC-4215-BE8B-83FF348D794E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af8734646d375c9ed0a45a0653e2a13055a52830","datavalue":{"value":{"time":"+2016-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q905075$F67F71EA-0775-4ECB-93C1-8E9647414906","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a4f766a7d0fff2a60f9bd4062d01eae636ef8a9","datavalue":{"value":"The authors prove that the problem of satisfiability for the system of functional equations over the set \\(\\{ p\\}\\) belongs to the class \\(\\prod_1 \\) of Kleene-Mostowski arithmetical hierarchy. As a result, they show that the set of all satisfiable systems of functional equations over \\(\\{ p\\}\\) is an \\(m\\)-complete set in the class \\(\\prod_1 \\) of the Kleene-Mostowski hierarchy.","type":"string"},"datatype":"string"},"type":"statement","id":"Q905075$89923BF2-1BA5-4571-94A2-B1EDCE740CE5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"54dcba17a1981f85feeac8d4587aa38cadd46c31","datavalue":{"value":{"entity-type":"item","numeric-id":304024,"id":"Q304024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$38530335-874A-4C65-870E-6008D7E9CDC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d7155f1a780fb86270da137ccd4a57bce20cff2","datavalue":{"value":"39B72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q905075$57644992-1BBF-448B-A0E5-BA4A717DD974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8894d0aac35f8bda687dd2feaec9f01cfba3fa77","datavalue":{"value":"39B32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q905075$D1EA4027-F04C-4470-B9ED-31E7F3B84810","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b7eff97134255bf13590d3028c0a1cd5e9f5bfb","datavalue":{"value":"6530118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q905075$FE305132-AF88-4BE3-B7C5-826F3880465D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2540c92e27a8e0287888803d645554d57962bf5e","datavalue":{"value":"system of functional equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q905075$547E233A-F687-4801-B852-DC292033A6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d13b808e0e65f722df7db76c216aad8111dd772","datavalue":{"value":"countable-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q905075$2D1C1FF7-EC21-4775-9E45-67476EBB03E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e24fbaeedaef897781e642658356f46e8ab50f7","datavalue":{"value":"problem of satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q905075$EDCF0F95-8273-42A2-839B-BAC286CABACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42e8d09856957a0d5b0eaba2e622c08f0247b1a6","datavalue":{"value":"Kleene-Mostowski arithmetical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q905075$A33C466B-CB44-48B5-9362-1509AE108137","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":"Q905075$5102A981-F1DF-42A8-9C10-3D07D6C0F961","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd6e37a0c2671d98a4817c9c88a4f922deeddd5","datavalue":{"value":{"entity-type":"item","numeric-id":1969777,"id":"Q1969777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$ABF34463-31E2-47D4-AC8B-782DC74351D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cdbb9cb31a98e4c92bb1ca319b736fd918fb7d","datavalue":{"value":{"entity-type":"item","numeric-id":1866850,"id":"Q1866850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$638F88A6-B872-47E0-8CDD-6A09A3B02515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5038ff04f5a788929fff0bc1c34fd45daee1c6","datavalue":{"value":{"entity-type":"item","numeric-id":1613555,"id":"Q1613555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$E0BBA156-37C6-4489-923D-4FA44ECB95C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ee5b86021e924b490228a98cce6237dc2d5610","datavalue":{"value":{"entity-type":"item","numeric-id":3115224,"id":"Q3115224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$98AC2EF0-D939-4DB7-88A0-E2030EDA3E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea9d4ace3a4d2774b7058314e8a927a7a31553b2","datavalue":{"value":{"entity-type":"item","numeric-id":3115275,"id":"Q3115275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$8C989D97-F2C4-40D2-A2BC-9DEE91C72F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d06f638ad239a505b5acb65cf2bb03649f13d98","datavalue":{"value":{"entity-type":"item","numeric-id":1759121,"id":"Q1759121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$BAD032E0-7A04-41D6-8ED2-A719313CD17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"957367203c2d9b8abc82e513ae84a5de79011cc6","datavalue":{"value":{"entity-type":"item","numeric-id":3115713,"id":"Q3115713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$00606C4E-931F-4054-B003-C97347202ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1e25895d06fbcfa66630560f2b8258b99020a1","datavalue":{"value":{"entity-type":"item","numeric-id":736022,"id":"Q736022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$EE0FB6F3-8E05-4E0F-A308-DDA86F70250C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeba2d5b953e352c190cba78b4cb947667aa8cd6","datavalue":{"value":{"entity-type":"item","numeric-id":845539,"id":"Q845539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$AC1714A9-122E-4463-B14A-A09D7F17E43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9809514f4c21b8dc132de2f245e1b1f9dc6530ca","datavalue":{"value":{"entity-type":"item","numeric-id":5263821,"id":"Q5263821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$B078AB59-2600-430A-B106-2017460B9035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffbcd3d1d830e08ebabc813ce9eaf40c2628772d","datavalue":{"value":{"entity-type":"item","numeric-id":2344091,"id":"Q2344091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$474EF76B-BAA0-4157-9BF3-2186353B601A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd4586fd615cc24b73466805c9175522adffdad","datavalue":{"value":{"entity-type":"item","numeric-id":384749,"id":"Q384749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$162E9A08-D5C4-4E94-A025-11E35B804F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009b5f34c1943e7803970c6e541fc0408decbfba","datavalue":{"value":{"entity-type":"item","numeric-id":3666906,"id":"Q3666906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$901C88BE-AE96-4F1F-A990-3B5DCB61C55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81be1bb283e8f7828e6f52594e8bd25836e71d3c","datavalue":{"value":{"entity-type":"item","numeric-id":2541690,"id":"Q2541690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q905075$E3F19FA2-1276-4616-94DB-67B11F82F250","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8dc721eab67ef992339bdd19788e5d4d16cfea2","datavalue":{"value":"https://doi.org/10.3103/s1066369x15080034","type":"string"},"datatype":"url"},"type":"statement","id":"Q905075$C984D5D8-D12A-4A79-BA23-C5657F013B50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc813ee464da4ac302c9bd43c7edb373d41d2b01","datavalue":{"value":"W2271046677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q905075$33C6B218-99B2-42A7-9FED-0BC15270067C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ecfdea045a2d5076419ef3e92aebce7a600554","datavalue":{"value":{"entity-type":"item","numeric-id":3186824,"id":"Q3186824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bcc22152e12a1409d3ceea7abff4cbe99c06015","datavalue":{"value":{"amount":"+0.8598968386650085","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":"Q905075$E2C11036-D28E-4647-B542-3307BE5F21AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d13b1f8d62e72b28feec73796246f21fe593907","datavalue":{"value":{"entity-type":"item","numeric-id":5263821,"id":"Q5263821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e6d3262faed7e18f07884df98243c29d1bc984e","datavalue":{"value":{"amount":"+0.8192762732505798","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":"Q905075$82C902B3-D8CF-4115-BDA9-C6A91B4BB8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d7b5aa6105897002edbf9d938233d27a7139242","datavalue":{"value":{"entity-type":"item","numeric-id":4409643,"id":"Q4409643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cedd2be686063ddc4fda54ba1d4d6fd0c8dc75e5","datavalue":{"value":{"amount":"+0.77390456199646","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":"Q905075$119D955C-978A-46D3-BC2C-2524B7EC1B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e03ff5dbbe8ab2e4b1ced0541105f3aba18d237","datavalue":{"value":{"entity-type":"item","numeric-id":5263784,"id":"Q5263784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5741a9a02fe4ab14a58bf4baf2c0ec632354e804","datavalue":{"value":{"amount":"+0.7442057132720947","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":"Q905075$5A17F5A5-ED4B-461B-9FD1-CC1A1010C1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ecd180d3ecfe2479f28bacb1691fc838b4b97e","datavalue":{"value":{"entity-type":"item","numeric-id":1917076,"id":"Q1917076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ed6da081ce779b6ea78886556f366855b74006","datavalue":{"value":{"amount":"+0.743050754070282","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":"Q905075$A0C927BE-3F7E-43E3-BD4D-722A6833637E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On complexity of problem of satisfiability for systems of countable-valued functional equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_complexity_of_problem_of_satisfiability_for_systems_of_countable-valued_functional_equations"}}}}}