{"entities":{"Q3570158":{"pageid":5600062,"ns":120,"title":"Item:Q3570158","lastrevid":87626492,"modified":"2026-06-04T12:11:02Z","type":"item","id":"Q3570158","labels":{"en":{"language":"en","value":"The Bernays-Sch\u00f6nfinkel-Ramsey class for set theory: semidecidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5725859"}},"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":"Q3570158$BBF5EB79-2E88-4FF0-B343-59781CF7F3BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b2578dd5613c59a5af3d3f4640a165094aeb3cc","datavalue":{"value":{"text":"The Bernays-Sch\u00f6nfinkel-Ramsey class for set theory: semidecidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3570158$3492F96F-5C01-4D10-8D5C-4C456DAF36D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc4cd1dfb2093eee02838de873b367f84df12a0f","datavalue":{"value":"1201.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570158$8CB20BFB-D1D9-4888-A105-3037D75D1AD4","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":"Q3570158$C04AEF82-75D2-4F61-910A-E7C099E143D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570158$D2551B68-614D-41B3-ABA6-F2519E6E25B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"caf3f7cd2503675447a84ac318a43c4484b6a487","datavalue":{"value":{"time":"+2010-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3570158$D30E0BB1-B7D3-4703-9009-B9CE1CC78478","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570158$8905D1C5-14D0-40CA-A210-BEC349DEC3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570158$654C9180-A8BA-48E7-9F8F-688AF2A58A0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6247c09ed1db3746b1bbc9b45b60811b72374858","datavalue":{"value":"5725859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570158$4C5F592C-EA7E-49C5-97B2-68FC0068035C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570158$B70564B1-539E-4650-AFE5-FBB892761711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f723ba2d4769ee67824ff01e21c5df9914ed8f","datavalue":{"value":"decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570158$19233781-50AC-4715-8E17-6D910DD9461E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdf7f463e1127881d4cbf4d8c6780af07982d2db","datavalue":{"value":"semi-decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570158$5D96DE14-A998-4938-983F-C29F75C98748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bc8909ce4636a0488fe1c98d1fee6f3e23a4b1","datavalue":{"value":"computable set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570158$1886A77B-2E2E-4F36-8E34-B117A8D9ED1C","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":"Q3570158$056B106A-3A70-45E6-AED5-ADDA3B51B6F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a3831f9cbb2509023bab6f73b574ea8b1a1149b","datavalue":{"value":"https://doi.org/10.2178/jsl/1268917490","type":"string"},"datatype":"url"},"type":"statement","id":"Q3570158$537AAD0F-C484-44B2-8F38-C415C047AFF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf2188a58d97c17346e170a71d236be1be542d89","datavalue":{"value":"W1994011085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570158$45005AE7-5925-467A-B07B-6A5B8B770B7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"979352c96340e8cbcd21d74fe5e244a3db188787","datavalue":{"value":{"entity-type":"item","numeric-id":4868240,"id":"Q4868240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570158$73D466A8-6F0A-4CFE-935C-5A2A145A4858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570158$BBA4AF4E-C681-463D-B37A-66464CC10128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94dbbd3e56e72db59f1f2b99ce2421f6ddf04a11","datavalue":{"value":{"entity-type":"item","numeric-id":3916545,"id":"Q3916545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570158$FF9074A9-95FD-48CD-BC39-23224E545C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef080f382c5bd964312f2f59b17562e11cdc9c8","datavalue":{"value":{"entity-type":"item","numeric-id":3726126,"id":"Q3726126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570158$62CD778E-BA0C-4F07-9653-844E00014FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9362263354ec633162102a995d0ff53df5d2a42","datavalue":{"value":{"entity-type":"item","numeric-id":3984401,"id":"Q3984401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570158$CE170A95-D386-4B3E-8C94-8096EC341077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73e1482718dd4624ecf9d34b112fddbf9ddec3d","datavalue":{"value":{"entity-type":"item","numeric-id":4884668,"id":"Q4884668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570158$28355F02-CBDF-4E07-9C3C-77AE9F43F7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31056ba7bef371a84c6567e1f213adfb1cdc68a1","datavalue":{"value":{"entity-type":"item","numeric-id":1322849,"id":"Q1322849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570158$BB529E12-0912-4ACC-B28F-635EA300ED62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446f1e7359d727b7ebadf68424d4ea447292feff","datavalue":{"value":{"entity-type":"item","numeric-id":3856727,"id":"Q3856727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570158$6EF91A39-D4A8-4AE8-91F5-07D6E1FDD95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570158$F27DD685-F6E2-4EDA-926C-B47720880E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9823dabb212918d0e765e8a638018a36dddedb37","datavalue":{"value":{"entity-type":"item","numeric-id":4332986,"id":"Q4332986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570158$4839BB69-EFB8-4073-82E3-1E322933DF40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7bb49c2b3088f061959a9bb6347357b1d0bfb0f","datavalue":{"value":"10.2178/JSL/1268917490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570158$A2487894-8149-4765-BE26-1C662EC3E0E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570158$33EC293B-E0B5-40D0-A8C8-B965DD2DE4BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09a1ec9b23f6a7aa49208ff82bcc7f7716598c9","datavalue":{"value":{"entity-type":"item","numeric-id":2915897,"id":"Q2915897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc641dd994fbe3a90ffdf43f6352e32d09f05d2b","datavalue":{"value":{"amount":"+0.868410050868988","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":"Q3570158$DDAA65D3-6790-4A1F-8879-F0D0F5F0E8A4","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":"2975ac637348547f4fff279e73d11ef4b6542f76","datavalue":{"value":{"amount":"+0.7875788807868958","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":"Q3570158$287B095C-2381-4122-9AFD-5FDEB4203546","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":"f951f315a3b5adf883d85abef56070bfd6357f02","datavalue":{"value":{"amount":"+0.7804297208786011","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":"Q3570158$C50E1462-AEBB-41D4-8949-830DCB277496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dfe26a710ada800ab72a0ca14c6bf5d770124e7","datavalue":{"value":{"entity-type":"item","numeric-id":4868240,"id":"Q4868240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac9886504a2d00afe4022a740db408a7596ea61","datavalue":{"value":{"amount":"+0.7784020900726318","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":"Q3570158$2E2FE245-C5E1-4571-925C-5919AC6178E9","rank":"normal"},{"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":"f717aced6147bcd03d0a47fcbf996f98bd2adf8f","datavalue":{"value":{"amount":"+0.7701942920684814","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":"Q3570158$EF29CABB-3FBC-4AD4-A14D-F38F11DEE6AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Bernays-Sch\u00f6nfinkel-Ramsey class for set theory: semidecidability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Bernays-Sch%C3%B6nfinkel-Ramsey_class_for_set_theory:_semidecidability"}}}}}