{"entities":{"Q5945397":{"pageid":8122199,"ns":120,"title":"Item:Q5945397","lastrevid":93454316,"modified":"2026-06-05T04:25:33Z","type":"item","id":"Q5945397","labels":{"en":{"language":"en","value":"Solovay's theorem cannot be simplified"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1656620"}},"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":"Q5945397$281725BD-B433-4FBA-9A94-206CC9BA3F1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ae9b8815d2370c80109c09f304f0ae8b0b788aa","datavalue":{"value":{"text":"Solovay's theorem cannot be simplified","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5945397$3CFB01D5-BB28-49A9-A2DA-97B3949F3D74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bc9bbe267a8f9c8f99f23baada8d4f764670c45","datavalue":{"value":"0986.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945397$490AEE9E-A301-4982-86C9-939CEFBEA6D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00716e58c870560c36c84cf6f5bd83f1040893d2","datavalue":{"value":"10.1016/S0168-0072(01)00095-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945397$DA1E5C01-F33A-4078-AD04-DE6EFFAEFF1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"383aa49cfc05eeb17fed4aaaac584044e0451237","datavalue":{"value":{"entity-type":"item","numeric-id":207404,"id":"Q207404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945397$256D1DA8-693D-4EC0-BCA5-AB03AC462D70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945397$C270F2A1-3665-4185-AB28-94FE13C90659","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2232089a0cb04ebc831da3c963d53c1502b802cf","datavalue":{"value":{"time":"+2002-01-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":"Q5945397$5DFC0A0C-1785-4882-AFB7-C846B630C625","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945397$9BBC29A3-5045-437E-B358-95C6CFAC4264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945397$09271579-9658-4214-A384-3EF826E84327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945397$4357AFFF-EE52-4498-8869-00D9B2AFFE2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea7ced0931fe3af9355f54d99cbf227fa33d88d8","datavalue":{"value":"1656620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945397$592D8CE4-0B93-41B4-8CD9-A5516B6279EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76dc7e40152e56320a3f68cbd87b29a2cb723ecd","datavalue":{"value":"Solovay family","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945397$4FD1B6A4-A23A-4ACC-9E57-55B8FCE14E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14004a4db36005be844cc0b513d78d9297344f99","datavalue":{"value":"independent sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945397$14158B4B-2A72-48FC-BF46-45A2592011E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb78bb18f3a146f8ec0fba8087cdcd8dfdba88b","datavalue":{"value":"nonstandard models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945397$6D9421D5-DD26-44A9-B548-7407509E7E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eefa88408b36c44d27fe5a879d1492e29b095ba1","datavalue":{"value":"completions of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945397$8A26A876-BB57-4ED7-ADE0-F52C6DE7FD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0956182d8af07b801b482d493d148bdff9fee279","datavalue":{"value":"Scott sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945397$305A3F5A-0FA0-46E3-A5DD-73A90AF07EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b53a905acf1801d58cc30fb0954a78fc2caf09","datavalue":{"value":"independence results","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945397$A86CC1F4-AE4C-42BA-B5FD-D3274B1ABAD2","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":"Q5945397$FEE142EA-A9D8-4F98-A501-4A094821B981","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e471d6803bc6bb38b1f36cd05f8fa370b75960","datavalue":{"value":{"entity-type":"item","numeric-id":5711875,"id":"Q5711875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945397$684BFF81-08FA-4DB8-94CB-BE8D843827A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945397$720C48FD-7C95-4D7F-BBFE-469E5DDBAB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945397$E647B933-3F4D-42FF-B873-6B96F41849E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d4ec2da947a4f4af865b2a44f392faa3fb3899","datavalue":{"value":{"entity-type":"item","numeric-id":4938559,"id":"Q4938559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945397$FE10085F-1F9E-4779-8A56-7C6E4CD0C0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a283aebdd51626094d248cba6f15c036dfd6654b","datavalue":{"value":{"entity-type":"item","numeric-id":4513971,"id":"Q4513971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945397$FD9911A0-B31A-468A-8562-528CBE9ACD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f9aaf61a487569e0feaae9bd28ce3031d2066f","datavalue":{"value":{"entity-type":"item","numeric-id":3222194,"id":"Q3222194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945397$0445248C-AA0D-4243-AB32-D25EEFC68138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae030f3fe27324851e6736cee0de1420e2974c6","datavalue":{"value":{"entity-type":"item","numeric-id":3671982,"id":"Q3671982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945397$129362A9-5EFD-44D0-8872-BB210D3F1F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f56c47bfb5e73f38c450fc9d4e062064c197b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596777,"id":"Q5596777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945397$84BAB819-1E5B-40DF-8307-68327A7E958C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945397$421AFE83-06A1-4967-8B69-18447EFDEB28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404691463a62cf2bb99f8c1e5edb49f1ffbd9462","datavalue":{"value":{"entity-type":"item","numeric-id":5916455,"id":"Q5916455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff95b7c8f125e2f159831794e433822e35a36bc","datavalue":{"value":{"amount":"+0.741197407245636","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":"Q5945397$7A83B52C-4BB8-4669-A397-137FAC0CCAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b6394009d8c09868eb07a5ee46b7c4c2fbe1c5","datavalue":{"value":{"entity-type":"item","numeric-id":2758069,"id":"Q2758069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07df06e6a3089d2594ff703ef2cdb6f3d15b34a8","datavalue":{"value":{"amount":"+0.7371223568916321","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":"Q5945397$83D29364-C1DD-4692-AB09-1E81A55E6B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0b705cc92c6d6c3c5731247d976f592c0db502","datavalue":{"value":{"entity-type":"item","numeric-id":5899768,"id":"Q5899768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8362ed2246f2eab9ead94749c0f3d5f03b888f9f","datavalue":{"value":{"amount":"+0.7304292917251587","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":"Q5945397$D510503B-7030-4B45-B32C-AB4D1B6BC1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff81d844413fe760cf2f9cb8d25511e2a8b0cad6","datavalue":{"value":{"entity-type":"item","numeric-id":3697017,"id":"Q3697017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601ce7cfab268807e48ceaa143f41afafeb7436d","datavalue":{"value":{"amount":"+0.7240771651268005","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":"Q5945397$AB53677A-2A7C-42C9-AF7C-3CB9D7D221C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70360896f33203fb288a4419e3bc5117d1b7556b","datavalue":{"value":{"entity-type":"item","numeric-id":4513971,"id":"Q4513971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11dc773cf8951b3d2dc3d0b77a5c105905478fa","datavalue":{"value":{"amount":"+0.7235619425773621","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":"Q5945397$8AB00261-EE91-44AD-84FF-AD149AA5ACF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solovay's theorem cannot be simplified","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solovay%27s_theorem_cannot_be_simplified"}}}}}