{"entities":{"Q484194":{"pageid":485961,"ns":120,"title":"Item:Q484194","lastrevid":62182407,"modified":"2026-04-11T04:19:44Z","type":"item","id":"Q484194","labels":{"en":{"language":"en","value":"Rosser-type undecidable sentences based on Yablo's paradox"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6381559"}},"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":"Q484194$07395AD0-9A8C-4558-A71C-6524CB219B73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f35cb69bd7f263468941843cc8f11a81e3325aa9","datavalue":{"value":{"text":"Rosser-type undecidable sentences based on Yablo's paradox","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q484194$A164ED85-AF25-4EDB-AEC0-E391BB604758","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ada4ac486aea6f13a55c5895cbe019475603a11","datavalue":{"value":"1339.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484194$3F23C23D-C2F0-42B4-A48F-E2C1D5756466","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$36B0A853-358F-4664-8E36-C77CDC91FB9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$A5206A74-96AB-47C8-AE50-57B017B211CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e7ef269c0353f4813567770f63d7637f2cf5c5","datavalue":{"value":{"time":"+2014-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q484194$138BDA4E-9E58-4A87-AF3E-B85DB117D1C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484194$E2C33F42-FE19-4468-A5AD-E6CF6778A22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484194$FE5B4E3C-E93F-425E-945A-C7A786AC38D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80e36c3dc8fba37cf791928eb649a010ab7add1f","datavalue":{"value":"6381559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484194$886308DA-3CCF-486F-ADAD-80B07BE15530","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3d29f490bb3085d4245d6adbd4890431f9d11c","datavalue":{"value":"incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q484194$E7AB43C6-8766-4449-A937-4ACD4D6A7DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a7efa6cf387484c8cfa5a90b6fe57776ccefe7","datavalue":{"value":"Yablo's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q484194$DA1B52CD-762B-4588-A608-3B84747F77D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f34e4a7fa8178c92a9d25e1ea595b48ccb5f20a0","datavalue":{"value":"Rosser's provability predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q484194$EF704BC5-2DE5-4387-BB9D-F497DE5F22AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370f3df2f45f377ce5764f58ee5e633266fb94f2","datavalue":{"value":"proof predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q484194$6E4D0E35-B924-4CB4-93CC-CA56972A80EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ede0bd86b0c7065c531688cbefc4819203d3e5b9","datavalue":{"value":"Guaspari-Solovay's construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q484194$7D800D96-2765-417C-AD0E-F80F6643EEF9","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":"Q484194$1D880075-5FA0-40A1-9D33-40CDB2026900","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"955d38a904bf25b32f53a2254d99cb4c3e8d8bbe","datavalue":{"value":"https://doi.org/10.1007/s10992-013-9309-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q484194$1A67CD0F-0EC0-418D-A6C6-5A785B75A6D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfa04f8970e117b7062c7b753e63fc8eb2e83eaf","datavalue":{"value":"W2066812195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484194$746C3656-E1AD-4BA6-AA0C-2753F1481014","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0891913663d8f8db20e51f632db652b6e8ea7","datavalue":{"value":{"entity-type":"item","numeric-id":4523482,"id":"Q4523482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$6B3FD308-6C4A-48A2-B1F7-9A364E38EA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$D90D5792-63CF-40BD-B584-65B0FE39B958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d787fa473f6e7e51f497ac223e0df561a0c3f2c","datavalue":{"value":{"entity-type":"item","numeric-id":5536262,"id":"Q5536262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$405985BF-3BB5-44B3-9B1C-D2D50B99255D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f416081c3eaaf4dde329560f81e41ba25dd362","datavalue":{"value":{"entity-type":"item","numeric-id":4775470,"id":"Q4775470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$9120C2AA-C23B-4637-85F6-D30FD54CC23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a456d084c61bdff732344ab3bb9519f23c1843","datavalue":{"value":{"entity-type":"item","numeric-id":381006,"id":"Q381006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$8BDBD6D9-60F0-4243-A034-CC380720888F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$43D8CC61-5CB5-4320-A4F9-0CFED2CFC124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c269d09afd246ea18f79e934a48e62802b0fc94","datavalue":{"value":{"entity-type":"item","numeric-id":3861389,"id":"Q3861389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$34E00F95-E55F-4AF3-BDBA-B3BF7F37D4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744b21977cc0938ff6184681d3fd88bead43f334","datavalue":{"value":{"entity-type":"item","numeric-id":2910986,"id":"Q2910986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$ED1AB293-8FDA-4B37-8C03-1FC20A02B874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dff3324b47bfbac77881a538d1e07f1d4e4e28e","datavalue":{"value":{"entity-type":"item","numeric-id":3010559,"id":"Q3010559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$7AAED1D4-CCF0-4E53-ADF2-8EC231444B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05746a0dac113e5198b70d5d9fc98ed6dd6405d1","datavalue":{"value":{"entity-type":"item","numeric-id":4497450,"id":"Q4497450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$796B8CCA-518A-4126-A184-9C5FA29810DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb41a42c977c1ce9d28879d827966bfb49e1d16","datavalue":{"value":{"entity-type":"item","numeric-id":484179,"id":"Q484179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$AE1D7BA1-66A5-42A4-AB8A-D14ECADB0614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939bb175e94564ce4bdc5eb26ddf0a3180c8f37d","datavalue":{"value":{"entity-type":"item","numeric-id":4354788,"id":"Q4354788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$069A1E0A-5898-4171-958F-DF751CEC964B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"455f50c2ea8ed5103c5abaa231ff2cc080397d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4497434,"id":"Q4497434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$CCCEDDD7-7322-42F3-8F95-BD6808774F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e7c3fd79d1fcedb38e21508d952845e3a4eca0c","datavalue":{"value":{"entity-type":"item","numeric-id":5764758,"id":"Q5764758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$DE51CF15-6F00-4466-8849-384C0960E58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37acd84a9fbd43ed4b7df1edaa382f9ade2f0cc","datavalue":{"value":{"entity-type":"item","numeric-id":2470037,"id":"Q2470037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484194$001B36DE-B43A-43D3-9B8F-D420766AE8D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d0ea412322a62cd622bdacc08fd6e8da2a5fa85","datavalue":{"value":"10.1007/S10992-013-9309-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484194$047BEC55-C2D9-4AA9-821D-6A51BFDB32BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9b4401e0378ebee86e0a5783b2308ad3972018","datavalue":{"value":{"entity-type":"item","numeric-id":484179,"id":"Q484179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af963c568d040c20439c78f272382c65945bab0","datavalue":{"value":{"amount":"+0.8027724623680115","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":"Q484194$7FA9C13C-F670-4D62-9E6C-0EC228846A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d726dc5585d07c0ef0905f6601eff2f351cf3d9f","datavalue":{"value":{"entity-type":"item","numeric-id":381006,"id":"Q381006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69c463ccb93ff4f0d31db2a5b4a5f7340ee2560","datavalue":{"value":{"amount":"+0.7914473414421082","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":"Q484194$B7FC11E3-D137-4596-B9DC-AD1840A19E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ce8d2c78736f9a79a1fb255f5e6dbf230cc44f","datavalue":{"value":{"entity-type":"item","numeric-id":5066800,"id":"Q5066800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae60fdcaacf0aa67ba4a27236b549a54a45e970","datavalue":{"value":{"amount":"+0.7700121998786926","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":"Q484194$A34A8F76-59B0-40C1-A030-09BD9B02C909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74a6bd55874cac5e93b557db5b122af6e40754b","datavalue":{"value":{"entity-type":"item","numeric-id":312496,"id":"Q312496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f17f5d1d436a971d0765bfaa8ff68407ca4047","datavalue":{"value":{"amount":"+0.7479375004768372","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":"Q484194$26855578-1409-4898-8F43-D03C938053F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"361c81e587acc4e4e071c3f15cd986d2bd9c6633","datavalue":{"value":{"entity-type":"item","numeric-id":4689573,"id":"Q4689573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7eef548ffcb65790525c84c799a0d12cbeb7f58","datavalue":{"value":{"amount":"+0.7419145107269287","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":"Q484194$89EA4DE8-95F6-4F4C-8F23-74FA0920D48E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rosser-type undecidable sentences based on Yablo's paradox","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rosser-type_undecidable_sentences_based_on_Yablo%27s_paradox"}}}}}