{"entities":{"Q3768865":{"pageid":5798771,"ns":120,"title":"Item:Q3768865","lastrevid":81070724,"modified":"2026-05-06T17:39:03Z","type":"item","id":"Q3768865","labels":{"en":{"language":"en","value":"Decision procedures for elementary sublanguages of set theory IX. Unsolvability of the decision problem for a restricted subclass of the \u03940-formulas in set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027423"}},"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":"Q3768865$684EDC97-2C38-4C80-B3E1-40FE5BA88157","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0936aa0c2d53ce4b06467394ae5ce7d604bff78","datavalue":{"value":{"text":"Decision procedures for elementary sublanguages of set theory IX. Unsolvability of the decision problem for a restricted subclass of the \u03940-formulas in set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3768865$85C71DEC-6F08-4DD3-B42D-2AFE9FC71937","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d0892c3134fd492a5a528c3460cd7fd41b93afa","datavalue":{"value":"0632.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768865$42FBBF68-542C-4BC1-8B04-3CD6D757BD23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768865$DB1C95AE-0E3F-440E-828F-B9E47DCE8444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72965f6c67a117f5726e1f872e608077b885bec2","datavalue":{"value":{"entity-type":"item","numeric-id":810493,"id":"Q810493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768865$A26C2886-D9F6-4411-B98D-4651C94E00E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c22ab6e6540355a2ab561fe85469410018fab286","datavalue":{"value":{"entity-type":"item","numeric-id":2710688,"id":"Q2710688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768865$539FE170-3AEB-454E-BDA6-19EFE1138469","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3768865$BAFCD32D-9038-440F-ABAF-97BD47B41900","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768865$991DFBFE-528A-4D58-8A2B-102904CFA787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768865$9E9772F5-A9A4-4794-A7B0-5DD684F1E2B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"709d1707940fdcc6033e49446c9c74eef2de6708","datavalue":{"value":"4027423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768865$C8BB7049-42F1-4E73-8210-7811528BE56B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b054bbd1ef16f604df0f61144322893e5b9a2a9","datavalue":{"value":"upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768865$9F94D7DE-11ED-4A87-89F4-0BDA214F1157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768865$5FDDE064-436D-4345-B0A7-5234C8ED0995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768865$1BD6F6AA-B1E1-494E-ADE6-491D5A70660A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70dbe3895a5516ac04039c6975ba885ea9e4330","datavalue":{"value":"encoding of syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768865$CCAFAFFA-CB1B-4709-AE33-9243EC7783D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ab0353dcee38dca4fb72f7ab07a315ddb02cba","datavalue":{"value":"syntactic objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768865$5E9272FE-2D40-4268-BCA9-3E5D3EE406C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b0daa04d44b13e088deec11158bc8e2f46a552d","datavalue":{"value":"diagonalization lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768865$45759FA3-9F20-4E01-962F-0E3C93249FD6","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":"Q3768865$6BD417B8-C62D-41F3-9637-D44ADDD208F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd3024b370115ac024eb271477fd6d9f954100c5","datavalue":{"value":"https://doi.org/10.1002/cpa.3160410206","type":"string"},"datatype":"url"},"type":"statement","id":"Q3768865$6230B86B-9DA5-4149-9BBE-944960265FC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0403da4acd61937c24c46d6a2103973356ec9d0a","datavalue":{"value":"W1996920632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768865$662FA9F9-1191-4130-AD8B-58A2FB3C9009","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768865$DB03598F-9161-4D63-A64E-6A824FF86BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768865$587769F9-893F-4D6D-A51A-5C623B9294DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa2ee9c81d698fd2e4f701d093673c9a4e36f77c","datavalue":{"value":"10.1002/CPA.3160410206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768865$3427A42E-BBB3-43A7-8C53-9C9629C07464","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7dca6b99730b98bdcd03037fffb847a56ea44e","datavalue":{"value":{"entity-type":"item","numeric-id":3787974,"id":"Q3787974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb3582f1920ae0b2d5b2d48776744b07591f477","datavalue":{"value":{"amount":"+0.9271209","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768865$E5E9411F-48FA-40D9-BD6D-76B77D35C2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d749a2ece387519fcc542364c4721c5a4ea3cd","datavalue":{"value":{"entity-type":"item","numeric-id":795031,"id":"Q795031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43654684f7b32ff38831c6b0e0113074f31ccc3","datavalue":{"value":{"amount":"+0.89420295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768865$AC40C80B-5489-48EF-AEF3-7525F690E7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a029a1cb4bac13cdf5becbbbee09125fa5c602f","datavalue":{"value":{"entity-type":"item","numeric-id":3803085,"id":"Q3803085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e3a095da764f4f17eb51d84edbdb554d1dba89d","datavalue":{"value":{"amount":"+0.8928478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768865$AD65E581-908D-4408-81AE-61EB6083A0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b00271b24f47d225c4f196d3f4765427eb3d31","datavalue":{"value":{"entity-type":"item","numeric-id":810494,"id":"Q810494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8feaaa7f37ae398cf28d3f1e33470d87492f938c","datavalue":{"value":{"amount":"+0.88158536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768865$48E4CBD5-8BDD-4376-8587-378029F589B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f172fa9f614d7a8a71c89b57aeec60204720e5e2","datavalue":{"value":{"entity-type":"item","numeric-id":3705420,"id":"Q3705420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7fed9339a28c55f8151f79c69865bccb79ac96e","datavalue":{"value":{"amount":"+0.8778267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768865$5F6EDFEE-983C-436D-96F8-742D8DC18D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54f5d11bc3b8255f1021c06f08b4e1355865124","datavalue":{"value":{"entity-type":"item","numeric-id":810491,"id":"Q810491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a07860b24d7ba70568af23434738c6fb4df5d3","datavalue":{"value":{"amount":"+0.87609446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768865$65109A97-306A-421F-8B3D-3B308BF74DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba10201f1c474035b234a2280f385d32e4caccba","datavalue":{"value":{"entity-type":"item","numeric-id":1096608,"id":"Q1096608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3194b33b60cb2a0c31ea58f06baf0973ff6d24","datavalue":{"value":{"amount":"+0.87464994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768865$71A8F959-615B-4EAE-81E6-176A36C8F337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee496cf5493d9f106735f4217835e8927368a46","datavalue":{"value":{"entity-type":"item","numeric-id":3726080,"id":"Q3726080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f595f2cd98f665e789af032e3c48f0734d6f67a","datavalue":{"value":{"amount":"+0.87449133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768865$C30BFF5C-200C-481A-8729-4EC61570DF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24445f56bb29453e7bbccb5ff6d8e4aa3223d274","datavalue":{"value":{"entity-type":"item","numeric-id":810492,"id":"Q810492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26cacb4eff0371f82d01e15ff32cbcf293e1ed1","datavalue":{"value":{"amount":"+0.870337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768865$4AB66913-D43E-45A4-BBCB-F10B151E2C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68391f8ef32c85200322ad9cb86b329f984620bd","datavalue":{"value":{"entity-type":"item","numeric-id":810489,"id":"Q810489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22acf3fd1259d141e14b6e63407192f9f1de005","datavalue":{"value":{"amount":"+0.86898553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3768865$E9CECCDD-F72B-4904-B580-15739FD86E20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision procedures for elementary sublanguages of set theory IX. Unsolvability of the decision problem for a restricted subclass of the \u03940-formulas in set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decision_procedures_for_elementary_sublanguages_of_set_theory_IX._Unsolvability_of_the_decision_problem_for_a_restricted_subclass_of_the_%CE%940-formulas_in_set_theory"}}}}}