{"entities":{"Q4180323":{"pageid":6209924,"ns":120,"title":"Item:Q4180323","lastrevid":89230775,"modified":"2026-06-04T16:42:29Z","type":"item","id":"Q4180323","labels":{"en":{"language":"en","value":"Sentences with three quantifiers are decidable in set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3616397"}},"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":"Q4180323$05BFEF07-5572-49EE-8E36-48FDEC585DB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9762c800cff3aa610f243989fe3aecc473297a0","datavalue":{"value":{"text":"Sentences with three quantifiers are decidable in set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4180323$D93B46C0-8283-4D22-B54D-350AEA2AD616","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11e3c18755a294e154f7742d1433d130a201b2fc","datavalue":{"value":"0397.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180323$8C7B8B54-7C21-4F3A-8620-7846BF818783","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a3594a049b184b04379a481e0f96106dc2ca54","datavalue":{"value":{"entity-type":"item","numeric-id":689571,"id":"Q689571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180323$3F1A4412-BC6B-4F7A-B009-8BF1E8BDEFA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180323$22E9ECE6-B3C9-49AF-A538-4C2872A29C71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q4180323$719BA5BC-A2FA-463C-8533-DD89B5C11C95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e9afd244a94a83f3e3d2ed97c81489cbeec18a0","datavalue":{"value":"https://eudml.org/doc/211009","type":"string"},"datatype":"url"},"type":"statement","id":"Q4180323$867D2A12-54CD-40D9-86F8-853034D12C84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180323$FCE7A396-9048-442F-8867-4FEDA70897A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180323$F9DE2F15-367E-4D54-9641-E09CF8D1E15F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"663856a23cf3c6c332b6e9d9e3e5db79276c85a6","datavalue":{"value":"3616397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180323$C7ED215E-EA62-4989-B4CD-281810872736","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a38ca9b9fa5d83b71551faf58084b97000189d","datavalue":{"value":"Sentences with Three Quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180323$7A26CE9F-0F5E-4145-86A7-AC08CC79C351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180323$42248A7A-714D-410F-988F-7D33122465B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1e1defc327c8ab09bd5a520fff5653a4d94a930","datavalue":{"value":"Closed Prenex Formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180323$A08E55F5-61F1-4DEE-BDF1-F5B585E928D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b216f909d4f22b73baecdc3f10b771cd34499f8","datavalue":{"value":"Zermelo-Frankel Set Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180323$B2237AB1-C4F8-4559-8971-8CF2773FF4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239216dd3f19405bd19cf971fd1804855225f4ca","datavalue":{"value":"Axiom of Choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180323$8C8ADED6-885B-46BA-A266-3A545D1A050C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4366ff99d6071fbad0f35295cc4b883e03cdd40","datavalue":{"value":"Axiom of Regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180323$5C675A8B-23B3-461E-9AA1-5D43E52F93B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cedd0f0410c4065547141cfc4e5f02c9b1bfdaec","datavalue":{"value":"Characterization in Terms of Games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180323$7107AB6D-564A-493F-ADE1-452E7D335ABE","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":"Q4180323$359A0062-CCCD-43D6-8A9D-87AA8E04A621","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76dc7fe5e8ad69f37dfc83a75a5d249aa54c594e","datavalue":{"value":"W1536307137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180323$B87E4E7A-42CF-4610-9C13-D6F109809432","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fc3bc995480a8f2ff0d2d969e60c172a5e59a31","datavalue":{"value":"10.4064/FM-102-1-1-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180323$830F40B8-5ECB-4284-B373-2977FB7F3E37","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180323$8F034D82-9925-4E93-87DD-A1696291C16F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sentences with three quantifiers are decidable in set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sentences_with_three_quantifiers_are_decidable_in_set_theory"}}}}}