{"entities":{"Q2915897":{"pageid":2926617,"ns":120,"title":"Item:Q2915897","lastrevid":79759406,"modified":"2026-05-06T14:38:52Z","type":"item","id":"Q2915897","labels":{"en":{"language":"en","value":"The Bernays-Sch\u00f6nfinkel-Ramsey class for set theory: decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083957"}},"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":"Q2915897$5B86C855-34F4-44BB-A08B-8E994B1E9A98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bf02feeb8e78f08c4bc659c4ccd7dc087c7c92e","datavalue":{"value":{"text":"The Bernays-Sch\u00f6nfinkel-Ramsey class for set theory: decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915897$5817807A-9F60-4C82-AF79-283C8ECB70E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91af7ed8cb7e447c6deedd5a60edc00326177744","datavalue":{"value":"1251.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915897$5D763035-2D65-4D15-B9E9-DA573122EC59","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":"Q2915897$D35E2F35-AC7D-497A-9565-D44CCF4C8986","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":"Q2915897$2431D5E3-650B-4926-BB10-8A1C773BD89F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e152dd6d247137568b90f2b2f788eb084d247ca","datavalue":{"value":{"time":"+2012-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915897$214458D8-C99A-4F42-9A10-45AC4A380A42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b61148969b2640d230fe062a837eefdf9c124a01","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1344862166","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915897$75E9D731-49D5-4892-B84E-31DC17885434","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915897$2E24044B-5477-47AA-B17C-159313410625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915897$D99919BF-8E21-4404-BF5A-FC5B1ED445F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c1b4ab19a0d3e2bd72d8337543800e0a545a8c3","datavalue":{"value":"6083957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915897$D855100D-068D-42EE-82F5-78FE13358F0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915897$BF1E9AAF-9031-407A-BDD5-CECF389E5303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3ad0389130833ae895eb500c3740870ff83590","datavalue":{"value":"prenex formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915897$2BAA33A4-C57A-41B8-970A-FF4371C737C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f723ba2d4769ee67824ff01e21c5df9914ed8f","datavalue":{"value":"decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915897$240A7574-781C-4626-8199-3749CC281DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdf7f463e1127881d4cbf4d8c6780af07982d2db","datavalue":{"value":"semi-decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915897$455BDF76-ADF7-4C20-AA5D-3ACAD0600D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bc8909ce4636a0488fe1c98d1fee6f3e23a4b1","datavalue":{"value":"computable set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915897$2088302B-2F1B-4ECE-8459-8EFC6594847C","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":"Q2915897$42088FC4-453B-44EA-97D8-C88E5D2CAA02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73d7baf71f1bb795aeba873925290f4da0442fc5","datavalue":{"value":"W4233684349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915897$EF2746FF-AFFC-43C3-9638-69B3D9A0E850","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915897$4BF2F00A-0179-4C7F-9FAE-DA959E2BDF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d7e80e7b46001318a974cf441bfa45393a1480","datavalue":{"value":{"entity-type":"item","numeric-id":2740887,"id":"Q2740887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915897$701E9A87-C9BB-4114-9EC8-E38C02C4CBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b09f58c2305df0b2d6f3b3a6465ec3e5b5904","datavalue":{"value":{"entity-type":"item","numeric-id":3129506,"id":"Q3129506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915897$4EBBAC18-C63D-44F7-A637-4AFBF08FFBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89220ab8d602c71315d6ba104b33f57b84a863d5","datavalue":{"value":{"entity-type":"item","numeric-id":790108,"id":"Q790108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915897$01C4966D-A3F1-4306-A252-6ED551FC5512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7def948a61421e05133353cf76b8955bb1d7788e","datavalue":{"value":{"entity-type":"item","numeric-id":3570158,"id":"Q3570158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915897$BCE73AFC-6DCC-4561-9C33-053BEA83CAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22c8227514fc28acbd069eff3cc910c9513b4a2","datavalue":{"value":{"entity-type":"item","numeric-id":4729777,"id":"Q4729777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915897$0F30C30C-5FF8-4E11-A791-F75A83CE54AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"208c3c024c857a9bfcf8e432a7e8173a5b0dc310","datavalue":{"value":"10.2178/JSL/1344862166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915897$B035800F-2EBE-461B-BEA6-FEB841FAB52E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915897$740C1CBD-DFCC-4E39-982C-BE5C1129A2F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0901cd43f0ab6229abba446e08fe896770b4292c","datavalue":{"value":{"entity-type":"item","numeric-id":3570158,"id":"Q3570158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41077615584ccc20c8e22d6c4ea2071c151a47aa","datavalue":{"value":{"amount":"+0.9282532334327698","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":"Q2915897$3FBB81FD-7469-4BD9-8897-34D1336E6ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c89b0b34b0720122c69a6bc4cb39e7824b1ea57d","datavalue":{"value":{"entity-type":"item","numeric-id":4291741,"id":"Q4291741"},"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":"Q2915897$1D9C1BB9-7AA4-4562-BF88-37994E363C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5822ce399327b3d661239d498b3d772a9f8f0e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4731166,"id":"Q4731166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"043fc13af66048fdb2f44d53ffe7e22b4e306562","datavalue":{"value":{"amount":"+0.7792218327522278","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":"Q2915897$30C1C2BB-EE70-4B87-91B2-5296CC4A3B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3cdc58bda495ea31b0e19647beba1a99f54dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3489978,"id":"Q3489978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56dc5fe476c2c4a518adf0a07c5bd795a1d75e3c","datavalue":{"value":{"amount":"+0.7746844291687012","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":"Q2915897$DB59AAA9-274B-49DF-9FFD-EAB5FB036ECD","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":"68cf0969272452088abb8b19620dd4479901e695","datavalue":{"value":{"amount":"+0.7540588974952698","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":"Q2915897$06BA8FFB-5653-4D93-8554-32EAF4468246","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Bernays-Sch\u00f6nfinkel-Ramsey class for set theory: decidability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Bernays-Sch%C3%B6nfinkel-Ramsey_class_for_set_theory:_decidability"}}}}}