{"entities":{"Q3809768":{"pageid":5839674,"ns":120,"title":"Item:Q3809768","lastrevid":88795364,"modified":"2026-06-04T15:29:28Z","type":"item","id":"Q3809768","labels":{"en":{"language":"en","value":"Provable Fixed Points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4079378"}},"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":"Q3809768$6385017E-92BC-442A-8FD5-C055F5E349BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"016a6cbfc7c9594fd5ccc676df907afd9bcd2546","datavalue":{"value":{"text":"Provable Fixed Points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3809768$91DBA4FB-5F4B-4F2A-9779-272DAE4EA71D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b903c363e2484a861e6753bbc614b1984f9f0faa","datavalue":{"value":"0661.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809768$BF8F4B4F-5B25-4724-8D0D-DD32AB5FBBB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3809768$89FCDC1C-17A8-45A1-AB2C-F4DDAE7A7C8D","rank":"normal"},{"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":"Q3809768$0955F22D-18AD-4BCD-9AC1-46E7C5E777C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3809768$45BF9C1F-6DA4-4CED-91E1-6A868C3E96B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3809768$47B9D86E-0889-4571-B4B6-643E0E9A2A92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809768$51844AB2-7DB2-4501-B7F0-C6FACAA43186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809768$63D961F4-E686-4718-B992-7E7FE1D6FB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809768$85E6BC22-E338-4D3B-9838-B1F7CA61E759","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1302f5f2c1e456935668e16bd7a176f93bf89e20","datavalue":{"value":"4079378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809768$A40C2492-6679-41F7-B4CD-00EBDBD07EC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809768$F5E6975E-C165-46D5-878A-5C9666A08630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36ed4bf020d4484f09b481bddf172b59c54c52bb","datavalue":{"value":"provable fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809768$A1BEFC42-5993-404F-9534-3553705C339F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ef2b50e11f1e4565e9cfb13c563e9a8428f9","datavalue":{"value":"Guaspari-Solovay modal logic of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809768$F3257CEC-77B2-46EC-984F-95B89C3CA94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a040a5dba498a200351938de52da6e265190a2a","datavalue":{"value":"Parikh's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809768$618BF20B-E9CA-4B26-AE38-876295194C49","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":"Q3809768$D4AF2DDA-B829-405A-92D3-FEBC142A97D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9319cb3c65d2de74c529dd0e25e3d1ad6f0100ab","datavalue":{"value":"https://doi.org/10.1002/malq.19880340307","type":"string"},"datatype":"url"},"type":"statement","id":"Q3809768$8C9BC7A2-DDB9-46BD-B6FB-B6093CF252A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c185d3e0dee4e9123b51275bae49b3940f0dacf8","datavalue":{"value":"W2106572448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809768$0AC86221-FA71-45B6-B0AD-4517B4CDE75C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3a871d3d3eb138497e29df0537075800b1e6076","datavalue":{"value":"10.1002/MALQ.19880340307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809768$94AE184A-F150-45CD-BF93-08F55614981F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c6532bb10e7d88084532a0fecfbc3cf25c7931","datavalue":{"value":{"entity-type":"item","numeric-id":4035913,"id":"Q4035913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec324008ef1a4ff746aa7242dcf3aa1230d5b76b","datavalue":{"value":{"amount":"+0.9107655","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":"Q3809768$9A452658-4C34-4303-8838-E94B251AB46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dd57409658e3307b02ce88e7c6f2760e50048eb","datavalue":{"value":{"entity-type":"item","numeric-id":3733787,"id":"Q3733787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec324008ef1a4ff746aa7242dcf3aa1230d5b76b","datavalue":{"value":{"amount":"+0.9107655","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":"Q3809768$39E01D21-C2BE-4471-AE3C-7810D10E1D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d556f786b7556bb84fc106ebede7f8f2c987733","datavalue":{"value":{"entity-type":"item","numeric-id":3702035,"id":"Q3702035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec324008ef1a4ff746aa7242dcf3aa1230d5b76b","datavalue":{"value":{"amount":"+0.9107655","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":"Q3809768$812FB56D-F567-4951-9D18-92DD1B74937A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345d78a2a771e7d6e284491def2e27e411d5f311","datavalue":{"value":{"entity-type":"item","numeric-id":3696036,"id":"Q3696036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec324008ef1a4ff746aa7242dcf3aa1230d5b76b","datavalue":{"value":{"amount":"+0.9107655","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":"Q3809768$3FB1AAE0-D5ED-4D66-BC43-96EDF1A0B333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6ad29968ac67dafac135c6857992b327f173bd6","datavalue":{"value":{"entity-type":"item","numeric-id":3025859,"id":"Q3025859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec324008ef1a4ff746aa7242dcf3aa1230d5b76b","datavalue":{"value":{"amount":"+0.9107655","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":"Q3809768$1B0A431B-779F-48B7-8367-A2B2A181128A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faaf6eab79931bc7e2a3244a0be87e63409343ba","datavalue":{"value":{"entity-type":"item","numeric-id":3991159,"id":"Q3991159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"402f0f66303bcb8459f46428fa59677d113d465e","datavalue":{"value":{"amount":"+0.89658964","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":"Q3809768$660E6BF2-91C5-41C3-8AF3-DAC4AD2BE02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"104101d64a0e25f9e484be008dbdd26366b26884","datavalue":{"value":{"entity-type":"item","numeric-id":5906772,"id":"Q5906772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"402f0f66303bcb8459f46428fa59677d113d465e","datavalue":{"value":{"amount":"+0.89658964","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":"Q3809768$7F14A55E-DC68-47A7-9930-953176A5B762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ff42e02dad7da6b5584df19113651528c4c3b5","datavalue":{"value":{"entity-type":"item","numeric-id":4016375,"id":"Q4016375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"402f0f66303bcb8459f46428fa59677d113d465e","datavalue":{"value":{"amount":"+0.89658964","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":"Q3809768$5433AAC0-B50C-4A1D-951D-05F090BC170F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bfb0157d4df972ec31adc19540a05769f074c03","datavalue":{"value":{"entity-type":"item","numeric-id":4020878,"id":"Q4020878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"402f0f66303bcb8459f46428fa59677d113d465e","datavalue":{"value":{"amount":"+0.89658964","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":"Q3809768$89EAE538-579C-4A9A-9400-8D1CA4B5EBB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Provable Fixed Points","badges":[]}}}}}