{"entities":{"Q1099164":{"pageid":1109916,"ns":120,"title":"Item:Q1099164","lastrevid":69637218,"modified":"2026-04-13T08:22:07Z","type":"item","id":"Q1099164","labels":{"en":{"language":"en","value":"A simplification of a completeness proof of Guaspari and Solovay"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039856"}},"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":"Q1099164$CCE1A65E-A192-4712-9F4D-F2CE2A4C9714","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ac26bb2bd23551cf9cbed5eeca6fd4a47cfead0","datavalue":{"value":{"text":"A simplification of a completeness proof of Guaspari and Solovay","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1099164$825A2736-3DAD-4F9F-A7B1-0B56B66B254B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6dd1f4e0c6c7254f59b690902c0496a155545f9","datavalue":{"value":"0638.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099164$1F6BAD21-3E29-46C0-ADC1-FB591988D165","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc3612fcf035c402237bf3e5eeb3026a7d8324c3","datavalue":{"value":"10.1007/BF00370380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099164$14B753EE-234A-4C5D-969D-600D7EB52B25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099164$3EA85F3A-3B6D-4917-BF7A-42A59DD19125","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099164$0084C474-357E-482D-858F-39B4C6E8FE15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1099164$B0120A13-ED8D-4E78-9319-E4275BD271F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3dc7001eb2dab6094aafaf84e9f2d7641d2824b2","datavalue":{"value":"The paper studies Kripke style models for the Guaspari-Solovay modal systems R and R - [\\textit{D. Guaspari} and \\textit{R. Solovay}, Ann. Math. Logic 16, 81-99 (1979; Zbl 0426.03062)]. These systems enables one to study Rosser sentences in a propositional context. The relationship between R and R - is clarified: \\(R\\vdash A\\) iff for some \\(n\\in \\omega\\), R -\\(\\vdash \\square\\) nA.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099164$BDDD637F-75DF-43CD-85AF-278E8CFCD6D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099164$0942A0ED-AEAC-4F4E-8691-B79AC9B001CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099164$143A20CD-67F0-4A70-986C-9D09D50AE32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099164$10DE70AC-785B-4A90-86E0-BFCF5BCD189A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbc8eac056ec240b2aefa19e8fac6139b83b09d1","datavalue":{"value":"4039856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099164$C22A0768-9E53-4425-BB30-9D1404BA265E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099164$7EE1D0EF-F547-433D-B9D2-85BF03556107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099164$92F1AA84-A253-4933-97ED-9A7B9BC4081D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4b3dac69d96794fe920291ef919252ed928529a","datavalue":{"value":"Kripke style models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099164$5691F8B0-19C1-409C-885A-723FE4C5798F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"269457bf44f8dadde78cdc9cbca52d2fbe258747","datavalue":{"value":"Guaspari-Solovay modal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099164$A9604FFE-292A-4EA6-A265-1860C4C3FE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a2a9f912130ce59e7d6c81711aef812f9166fa0","datavalue":{"value":"Rosser sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099164$F309681E-1282-46B1-88D6-EDBD775A3CAC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8ed9eb7b5676e67d936495c86d88b4db3563325","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099164$767B64D0-F7F8-4C88-95F1-732365F46436","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":"Q1099164$165232DE-CEFE-43CD-8589-05431295F7E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"963878d2c171b33e0a6f0a0002ba4eb6f1337363","datavalue":{"value":{"entity-type":"item","numeric-id":1099165,"id":"Q1099165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099164$D1237DCC-52B3-4B9D-ABE8-E000E5B6E71B","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":"Q1099164$A65D689F-6586-4E56-ACCD-9C6B4DD95352","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89826e6abc1fdc0b58cb29c43e5d0b07c64175b6","datavalue":{"value":"https://doi.org/10.1007/bf00370380","type":"string"},"datatype":"url"},"type":"statement","id":"Q1099164$296AB47C-8CF8-410A-B681-D1BB48B21A44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acf57eebb89cba1e014b8f627e04b38739304a88","datavalue":{"value":"W1977861517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099164$A36CDE1F-53B0-4908-9DBA-764FA5600E3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e2fc9562a28e88d37e249f97399827d2fca8c0","datavalue":{"value":{"entity-type":"item","numeric-id":923070,"id":"Q923070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288c5df9eb2631a272fa8d65fd4433e9b8096664","datavalue":{"value":{"amount":"+0.8629665374755859","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":"Q1099164$3B2201E4-5126-4CA1-8A5B-A8676DEBA5F4","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":"7c90648da2aece26dde97d8301c5842d673d7add","datavalue":{"value":{"amount":"+0.8056243062019348","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":"Q1099164$0FF16939-A5AB-4EA6-9E01-808063EE9034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9aca801e45104d018cece8c6ef7c18a9253a8b9","datavalue":{"value":{"entity-type":"item","numeric-id":1176097,"id":"Q1176097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c60faa1a31cae99aa87e38f1c629eca2c13fab","datavalue":{"value":{"amount":"+0.7935556173324585","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":"Q1099164$E3FEEC9A-B639-424D-9E10-2DB29A5F213D","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":"b4fb40a094e83895a0d885d1e470f6fb0973270a","datavalue":{"value":{"amount":"+0.790412425994873","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":"Q1099164$864991D9-AD47-4CD5-B214-CC4A6D52FF2B","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":"eb2106a53e28403cc1c67fa4a14a70fa6c94fb0d","datavalue":{"value":{"amount":"+0.7891908884048462","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":"Q1099164$AD8A35FC-08B8-4AC5-847F-39232953D3B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simplification of a completeness proof of Guaspari and Solovay","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simplification_of_a_completeness_proof_of_Guaspari_and_Solovay"}}}}}