{"entities":{"Q4291741":{"pageid":6321342,"ns":120,"title":"Item:Q4291741","lastrevid":40796154,"modified":"2025-04-04T18:03:24Z","type":"item","id":"Q4291741","labels":{"en":{"language":"en","value":"Undecidability results for restricted universally quantified formulae of set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567370"}},"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":"Q4291741$922BBF00-A084-4E5A-8186-399C7839C008","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee792076b560dce5bd21865e1dc60a107b4ae867","datavalue":{"value":{"text":"Undecidability results for restricted universally quantified formulae of set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4291741$00410017-8765-4B7D-BA91-531DF217D7E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de20d2d2e2cfcbc3842a7b6cd7b83d5241497a68","datavalue":{"value":"0797.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291741$79C529B8-D2EF-42DA-BE7C-1A073936E443","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":"Q4291741$37455902-46BC-4400-BDD8-7F4F541A88FA","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":"Q4291741$70C57EDC-9002-4098-A559-57182752941F","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":"Q4291741$3144EC66-D5EB-4655-B034-5F4FD93DBE47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f372641ec08eb7e207a747fbb409927d029ac18","datavalue":{"value":{"time":"+1994-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4291741$B4F792E1-0B27-4ED0-A5C6-511194FA492C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291741$D75F2C18-2A34-4A5C-8895-C2982C2702EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291741$891F06F8-EA06-4070-8AC2-5ABA9EBDFBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291741$EBBC501B-124D-4054-8D5D-E0EF89E2A464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291741$3E3D4A35-1CFF-42D0-A26B-E0470457970D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edb30dcf79a4d52f64e715d1572407109f4f9424","datavalue":{"value":"567370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291741$E2A47948-D995-430F-88EF-A317BE5A90A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca14e1f0554ab2da56abe05b415114e41b6a5648","datavalue":{"value":"undecidability in first-order set theoretic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291741$6423C24E-C3E5-4105-AD5F-452BA59A350B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ea2fcca7331f71bf511408f14624b7f4145d82","datavalue":{"value":"ZF without Foundation Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291741$2F18DDC1-9C5B-4654-9D70-5025043025A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fae0e54dace2ff7d8790626c5e9c2445e7044eb","datavalue":{"value":"codings of Turing machine computations in set theoretic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291741$4B0D4678-CB13-4A21-BA26-7F0A5009CF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291741$05B5B6E6-8067-4024-9CD7-32F9AD60F8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5935c3b04c5ade60bf7e2dc40a552419f704ba2","datavalue":{"value":"\\(\\omega\\)-models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291741$BA667CFD-A1AA-459C-B23E-E9D52B249CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bd095af09d12b682126fcb03c926b5d22023e39","datavalue":{"value":"antifoundation axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291741$7A7573D3-2DE6-470E-A1EF-E1904AA4F2BA","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":"Q4291741$B25F5179-17A6-452D-B8A7-C63CDA12F0C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ae8c378b5bc25d107a05f86abc758d069073cfd","datavalue":{"value":"https://doi.org/10.1002/cpa.3160460104","type":"string"},"datatype":"url"},"type":"statement","id":"Q4291741$3DD73328-3580-45FA-A71B-321C8E3FB961","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60916ec653ffd7623a7039fd17616671235598eb","datavalue":{"value":"W2005661612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291741$0E39E45B-39C4-49DA-A7AF-8ECF1E8C0917","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53acb36cd3f6a300b98b7575bdfbb8f78a15a82","datavalue":{"value":{"entity-type":"item","numeric-id":4268492,"id":"Q4268492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291741$A62CC2EF-CECC-421A-9AAC-7CAB4681F817","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bac56f59767b4e49b3ed065cc5a50c479b31c31c","datavalue":{"value":"10.1002/CPA.3160460104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291741$CC1CA402-35CB-43F3-8EDB-2092198580F7","rank":"normal"}],"P1643":[{"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":"f2a4f16d1ed5aa8f8eeca9d29c358eb1d3b576a4","datavalue":{"value":{"amount":"+0.9306074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291741$F9239136-608D-4E44-BE80-5A5380836BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2838ccccf38e0028db1679279e55a4da15c09600","datavalue":{"value":{"entity-type":"item","numeric-id":4295224,"id":"Q4295224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fcc32038e653d75f639cce11231ee8ec0738ab1","datavalue":{"value":{"amount":"+0.9028187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291741$0D16FB28-AE10-4197-855C-E2A7D9FFB26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617a4348bd510d7280d82c17b2ce786d847009c7","datavalue":{"value":{"entity-type":"item","numeric-id":4311932,"id":"Q4311932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7befe0c9db447acb847be5cd648d9ea62e5ca8a8","datavalue":{"value":{"amount":"+0.89427495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291741$5E7B463D-9925-4166-BB5D-F0AB0C7C2DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74be52476671aa975d305f5dadabfaa3afaaf397","datavalue":{"value":{"entity-type":"item","numeric-id":3981005,"id":"Q3981005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2889576d355302836d7910a96d82665df1f241","datavalue":{"value":{"amount":"+0.8929796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291741$351B5CE3-E4DB-465E-A4D9-72BB58E6C474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d84381c181ffdd9dbda88f9522ff2b12c285c4","datavalue":{"value":{"entity-type":"item","numeric-id":4952569,"id":"Q4952569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1664ab16a09acb35565f734306118c1c66ee4bf1","datavalue":{"value":{"amount":"+0.89229167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291741$59CA5293-E2E0-4A78-8365-3EE8BCF5FC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737b41a2d5bbf8013bad27540e39316635d49872","datavalue":{"value":{"entity-type":"item","numeric-id":4865517,"id":"Q4865517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0703915bb4d42d9c746097de2c946db8724d01a","datavalue":{"value":{"amount":"+0.891989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291741$A5910A15-0FE6-4A10-BA94-54DDF70D7672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2cb7cd1e21e3cdff685a3a49729d0e8ed48081f","datavalue":{"value":{"entity-type":"item","numeric-id":3325714,"id":"Q3325714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff3cad55f48abb9556267d0bad88b06757b85fa","datavalue":{"value":{"amount":"+0.88941324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291741$1B92C201-D3F6-4D8D-A78B-734771E28D7E","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":"79355c406bcd4c11b8ead9ad33264947c25f6906","datavalue":{"value":{"amount":"+0.8882421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291741$FCAAB50A-60BA-4464-9994-3AB20073D5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24219b5d272f7401f7f19af7b558be0a3858bf8","datavalue":{"value":{"entity-type":"item","numeric-id":3734391,"id":"Q3734391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ec0ef32ea986f9485bfe530e40643bc1d829e6","datavalue":{"value":{"amount":"+0.8879746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291741$99687F1D-FD77-4EFF-B975-0664D450BEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f204f2e6eb89b03a3b0f50998865451ac234840b","datavalue":{"value":{"entity-type":"item","numeric-id":3691669,"id":"Q3691669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43476bcc68d37bf6b1632d5cab9901096a0ed2fb","datavalue":{"value":{"amount":"+0.88679874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4291741$2C315DF4-D9A4-4349-8D8D-2A4A476E13BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4291741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4291741"}}}}}