{"entities":{"Q5203006":{"pageid":7232577,"ns":120,"title":"Item:Q5203006","lastrevid":41673934,"modified":"2025-05-07T01:45:30Z","type":"item","id":"Q5203006","labels":{"en":{"language":"en","value":"On Rosser's Provability Predicate"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197985"}},"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":"Q5203006$C70F2832-61A1-4087-AE53-1A1DB4D2BDDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"423334472dd2b3b69c6d0c68190a346bdfd4ac09","datavalue":{"value":{"text":"On Rosser's Provability Predicate","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5203006$D8F15128-5F9C-4917-A267-CBD34081B8A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26aae74e5a1e64f09fc68e7059ea80e16a9f5070","datavalue":{"value":"0726.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5203006$2668428E-45ED-48A7-88F8-11B1B6750912","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d38feeb31ad31ada3e93bf79c1abb9ea8b5106d6","datavalue":{"value":{"entity-type":"item","numeric-id":685076,"id":"Q685076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5203006$00AE7359-1B21-47BD-B064-6F1909F97825","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5203006$D52A21BA-4AF7-4FEF-BC26-1D5A565F0F9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q5203006$8C5169DF-380F-4F9E-9DA1-7D77ECC2BA6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5203006$6D323178-DA85-412B-9D1B-927FE930479D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5203006$2E010FC5-0248-40A2-9359-A6592464D08D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"590093f084660e3b0dfec44c7e51974d5ded8798","datavalue":{"value":"4197985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5203006$94874922-606C-490E-AE47-CDCB7F38E7DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7527075bbddf64231f01e6e1de690852a443c223","datavalue":{"value":"Rosser provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5203006$4968AA1A-2FAC-4AFB-88F1-C511D8977166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"538cad06a11ffc720f11dd31a0f850ec559db572","datavalue":{"value":"Rosser's proof predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5203006$050DEC55-7F62-4B8E-AFA3-2B9F25ADD127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"996f6c99dffcdd26285fd24afec05bf105113c1e","datavalue":{"value":"witness comparison","type":"string"},"datatype":"string"},"type":"statement","id":"Q5203006$DA733585-135B-4D86-9D28-A2E0F88C79B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5203006$1115AC29-E887-4083-B562-11FB2282E532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6769850a6d1bd4d5fcb37de44e1aaecfb4fbbcf0","datavalue":{"value":"bimodal propositional logic GR","type":"string"},"datatype":"string"},"type":"statement","id":"Q5203006$C60D1E0F-43EF-494B-9F85-2B512EA4A437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c64287c196b5a5a10b0be0d1755867b192b3bff","datavalue":{"value":"provability in Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5203006$37BE7A0A-EE01-4A1E-A67C-E6DA47E2EB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5203006$967188A1-4E1B-4919-A0B2-E387DFA2B4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5203006$71091573-0E21-4C8E-BB00-251BB97EF196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f87ae29ab6700627fce1f483f446299fb56332e5","datavalue":{"value":"provable uniqueness of Rosser fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5203006$0317C46E-75EF-46AC-9B76-DB0C8823E13C","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":"Q5203006$72253A0A-8269-497E-BC58-DB2969E571EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9655930c7f7eea5db97adc8703f25c80a31469df","datavalue":{"value":"https://doi.org/10.1002/malq.19910371906","type":"string"},"datatype":"url"},"type":"statement","id":"Q5203006$EDB4DD24-DFF0-43D7-8EBB-C0A88AD841AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df587f784af089885682c0e2822d228de38d0a4c","datavalue":{"value":"W2092975474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5203006$70AD6113-C279-450B-A952-62E843B60AB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b6b616d7b4972e0778a6efaff81f9d86b0d2ac4","datavalue":{"value":"10.1002/MALQ.19910371906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5203006$748664F2-10FC-49BA-BF3F-9C73A625C520","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":"8b6857404f64516e16274116e0bd384063517e44","datavalue":{"value":{"amount":"+0.937557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5203006$F1269F68-722E-407D-9071-ADAF33C2798E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9a3feedec63be21bcb9ee14cb7f27fd82d990f","datavalue":{"value":{"entity-type":"item","numeric-id":2097058,"id":"Q2097058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea54f5e0ae71c5c2942db2608e2788127e791e05","datavalue":{"value":{"amount":"+0.9192379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5203006$26248B28-7680-43B0-B81F-3BFF220A03EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949d65898effcf1471a8822c06637d2ace27b2a9","datavalue":{"value":{"entity-type":"item","numeric-id":2186698,"id":"Q2186698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"013ce6a5c8b42fc26f660d1dddd383013af6042d","datavalue":{"value":{"amount":"+0.900438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5203006$E8D97C41-42C2-4398-9957-B81DA4C3B90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72d2ba9a0f1103d65694830aa2a37639bb867eab","datavalue":{"value":{"entity-type":"item","numeric-id":3007245,"id":"Q3007245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68b89576187cf3d1b60e7533c86936bc3fc161e","datavalue":{"value":{"amount":"+0.8788933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5203006$71997B3A-A305-4C22-96AB-9448A5BCC09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbf8bb837043ae9828c76186b4fd7093d4d6c24","datavalue":{"value":{"entity-type":"item","numeric-id":4019364,"id":"Q4019364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ef9c3a233f1218cb7287d5dc4cc623b59b48de","datavalue":{"value":{"amount":"+0.8742103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5203006$B17A8729-726D-4D1F-96F3-78619004C0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab43416930a5256ce383e999a3ef9810ce8b6d2c","datavalue":{"value":{"entity-type":"item","numeric-id":2253864,"id":"Q2253864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5ecbb9c4bf9eab0c52a47ae3a02a1d0ed87042","datavalue":{"value":{"amount":"+0.8723742","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5203006$8179765A-3245-4D5C-A9A0-E26F1ACB7E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffc73126aa7c62ba35fa9192e74b33b93e3eca1","datavalue":{"value":{"entity-type":"item","numeric-id":5802127,"id":"Q5802127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64643898ea67ab88e469259c98233a93d0e7915f","datavalue":{"value":{"amount":"+0.86776555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5203006$78E3FEF7-9D0D-4D49-A93C-95950EFDA821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43415e4311c55c2a9c0972a4e8e9ebb30b24dc61","datavalue":{"value":{"entity-type":"item","numeric-id":3442955,"id":"Q3442955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92db65fff366f3dd34a9c56feb779180c324784","datavalue":{"value":{"amount":"+0.86579347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5203006$B1965FA4-19FF-4B36-82B5-2185972BE128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddff6a2c9b0a71362c60ce75f039eff25b36331c","datavalue":{"value":{"entity-type":"item","numeric-id":2753697,"id":"Q2753697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80df6f1a49a43088d3fb4017b57eca9aaf3272ca","datavalue":{"value":{"amount":"+0.8654387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5203006$EC387247-79B0-483A-AFF1-46EF12101BD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5203006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5203006"}}}}}