{"entities":{"Q2470037":{"pageid":2480780,"ns":120,"title":"Item:Q2470037","lastrevid":73464105,"modified":"2026-04-14T16:05:48Z","type":"item","id":"Q2470037","labels":{"en":{"language":"en","value":"A remark on equivalent Rosser sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5234719"}},"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":"Q2470037$2276D48C-EF94-4F1C-93C4-611275B3A059","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1d1ad3f5d9f161df841a8fe9104b374e1eb2132","datavalue":{"value":{"text":"A remark on equivalent Rosser sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2470037$1BDFB1AD-D8EC-4ECE-8B7D-C85393009703","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2935b6c0733300d4e6925cf503b9f2c52b090bf0","datavalue":{"value":"1132.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470037$684F6BAE-5AD6-4414-BACD-C299283D11CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77fa90a3a5fd230c93e224b2f72210492fda1728","datavalue":{"value":{"entity-type":"item","numeric-id":2470036,"id":"Q2470036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470037$00F6CF2D-38D1-43C8-B10E-87A754DB717E","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":"Q2470037$CD8B1B3C-1D75-40FC-881B-7C7BF5908FFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf852432f5714adc69a421a63db1515995b6e335","datavalue":{"value":{"time":"+2008-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2470037$8A2B5639-E2FD-4F0C-9C03-735B2F115730","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3219cb7e3c889340f5f717b61e81909ec2576393","datavalue":{"value":"The paper is devoted to the discussion of an oversight in the paper by \\textit{D. Guaspari} and \\textit{R. M. Solovay} [``Rosser sentences'', Ann. Math. Logic 16, 81--99 (1979; Zbl 0426.03062)]. This oversight is emended. It concerns the premisses of Guaspari and Solovay's proof. It is shown that the result holds up but the premisses mentioned in the original paper have to be strengthened.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470037$484A381F-8152-4F00-B1BD-339F94737B63","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470037$DCA5D941-59ED-4C9A-B600-16E9ED6AFEEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470037$E6A75E81-EAAE-4C6A-B61C-DF5DDD45EC3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c392db0aa0c567d491fcfcc967b65a9ed7d86fbc","datavalue":{"value":"5234719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470037$722BB2C5-ACAE-41DC-BCD1-C8C7057C3CC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc7c7fb3241854f92363fca77feec88f5b84528","datavalue":{"value":"proof predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470037$C316E62A-3D11-45D2-8807-9CFDA021C609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57042be69df92882360974687b9952671a04af8b","datavalue":{"value":"Rosser sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470037$4DE82103-6E69-49C9-94DE-5657D10B6DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470037$4224BFBA-CBFE-4F2A-8594-AC5F61FC1E42","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":"Q2470037$BB78213E-FACB-4E04-8DE1-0619D083F983","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae3f9665d866d21f6de575605b712a15ec65555b","datavalue":{"value":"https://doi.org/10.1016/j.apal.2007.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2470037$4578B82C-C36B-4B78-944C-ACEAC1399987","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a09e0e69f92d5727b9df9d2b40236d4ee65fd3a","datavalue":{"value":"W2039103736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470037$38A88A36-5020-4BA8-A576-22A74DF3A745","rank":"normal"}],"P223":[{"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":"Q2470037$CEAE2040-819C-4D9B-B65E-253B32612D61","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":"Q2470037$37C22319-0641-49C0-9149-FD0093C363CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58687a42d4a43d265b6b8621a6d93dc1bb6c04d","datavalue":{"value":{"entity-type":"item","numeric-id":3442955,"id":"Q3442955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470037$BCC24EB2-281B-4AD2-95A5-AF8AF9A6195A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470037$7484854C-291B-4B65-81BE-E3D402A042A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470037$5B480E04-26D4-4D6A-B462-8A7887993511","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":"Q2470037$2BD0A3CC-97DE-4328-BC63-9A8F3792A99A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"065bf33f4d0133cded54d4786ee9e8d10ed8eda0","datavalue":{"value":"10.1016/J.APAL.2007.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470037$44CCC49E-9377-4520-A43C-374F9B1FB5F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"374690f1db89fe0a3707b8d3b0da26185004bf5f","datavalue":{"value":{"entity-type":"item","numeric-id":2641298,"id":"Q2641298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9935874ff2178b9ab27594974577cb7af8968f","datavalue":{"value":{"amount":"+0.7483190894126892","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":"Q2470037$F6D03DB8-7ABC-461B-8EA0-64EEF6A04C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a948c5f413836b9ea11ae80fa856e9aef74ea9a9","datavalue":{"value":{"entity-type":"item","numeric-id":1099164,"id":"Q1099164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f6806923c9262888c33d6ef24c8216aee2d196","datavalue":{"value":{"amount":"+0.7465130686759949","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":"Q2470037$B386F578-DE7A-4302-82ED-2DF1EE57DF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9ab07931af7835bcd0b3e730c5c46690b4fd03","datavalue":{"value":{"entity-type":"item","numeric-id":908911,"id":"Q908911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e48f72c9f97c5c58cf6e44025c085f3c4800946","datavalue":{"value":{"amount":"+0.7434781193733215","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":"Q2470037$F04EB9C0-10F0-420D-82A5-9DC54ACBD833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"115dce5ac8bb6dbec7336c89cfdbe23cd6caf4cc","datavalue":{"value":{"entity-type":"item","numeric-id":1263586,"id":"Q1263586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85642f133c6eabe4d298073040a4f275bccd77d3","datavalue":{"value":{"amount":"+0.7391552329063416","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":"Q2470037$BDE3D530-8792-4C93-9CFB-EF667B116BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe543c0663a2589492062b1d231c83d77bd3614","datavalue":{"value":{"entity-type":"item","numeric-id":5203006,"id":"Q5203006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce4d62db1f93e29f825e2b77736d9c40dd7c947","datavalue":{"value":{"amount":"+0.732921838760376","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":"Q2470037$E3DF9390-5739-4E27-8B96-3DC10B4917D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A remark on equivalent Rosser sentences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_remark_on_equivalent_Rosser_sentences"}}}}}