{"entities":{"Q5187257":{"pageid":7216829,"ns":120,"title":"Item:Q5187257","lastrevid":48796198,"modified":"2026-01-05T21:24:26Z","type":"item","id":"Q5187257","labels":{"en":{"language":"en","value":"The Logic of Provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3895035"}},"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":"Q5187257$FFAAB48F-6AA0-4734-81A5-DB25C53E7B04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b9489c7c18a75e61dbc0dfa4e5663ddb6eebe07","datavalue":{"value":{"text":"The Logic of Provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5187257$4F9E54AE-2E51-4F64-AEB5-A0E231FD71EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7afe1f994ede4fd85cce0847f384b41e916fdc5","datavalue":{"value":"0562.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187257$ABA5D663-CD37-4E1C-A15A-CA9C1B98FA02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c57ffff981206caf9f0887c1b7e14715da006dc8","datavalue":{"value":"10.2307/2322568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187257$F327345C-76F7-4EFD-B2EE-306A3A852022","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dae5d6cf705e82161555573be309f7a5a5d53fa9","datavalue":{"value":{"entity-type":"item","numeric-id":685072,"id":"Q685072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187257$C061B1AD-40E3-46DC-BF97-342D82EDE00C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb96b4ac991d1c9fabb6ef3d281db52e4eb2e155","datavalue":{"value":{"entity-type":"item","numeric-id":93751,"id":"Q93751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187257$FBE45259-34E0-46D3-961F-C9656C2B8DDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q5187257$89527318-5836-42F8-B465-F08BF2A94464","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187257$BE879D5F-BAD3-4681-BF9B-2770FBFDB632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187257$002E99AD-50E2-453D-B499-F39EBFDB421E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187257$9ED970D3-D26F-44E1-8717-E47DB1A2B8E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3385cd06a0e7743776d6278d31f0c3a0c4f5780","datavalue":{"value":"3895035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187257$B02D08C5-C3DC-441F-A70C-E1FE28FEF3C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187257$43B30661-F25F-4646-81EE-6086B12B6B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187257$B88F022F-979F-451B-9B0A-DDC04930CD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187257$3C8FBAA6-01F9-48DD-AA84-336A8C8D49ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42add9694273fcf9f5c36b120730ac4756fc4b97","datavalue":{"value":"axiomatic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187257$04FF9F42-B0CE-47F8-B5BD-BA55A0B55951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"707dcc1a7600891da7461acc4d535cd59d57a157","datavalue":{"value":"G\u00f6del numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187257$62D9F6E7-A388-4560-994B-5D7E764966BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a241af4d04e728c8699fb89ce1e31dd93560307","datavalue":{"value":"modal operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5187257$5657AE5A-0EE7-4669-97A8-3E8BE8A2F299","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":"Q5187257$CA75BAF1-E0E5-4600-982F-469C13E225DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e85a8e4e5bff7d51c1d099969e2232a71490e3f","datavalue":{"value":"https://doi.org/10.2307/2322568","type":"string"},"datatype":"url"},"type":"statement","id":"Q5187257$F26D05CC-5A33-4980-B3BD-A25906F403A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69e1769615e19a519222849553ff0f80891a9a88","datavalue":{"value":"W4252809802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187257$06190333-C880-4ED0-A4A5-368FDC52B8D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d2469fb9d39451f01a469e85c0232cd6dba31f","datavalue":{"value":{"entity-type":"item","numeric-id":4490140,"id":"Q4490140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfef7b33354507dfaa5c719dbe818cf667eff53a","datavalue":{"value":{"amount":"+0.8383868932723999","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":"Q5187257$F4EA0A5C-1D09-4D48-82E9-6D1B25368065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60d263e09383f9e540728d570eeab690d33d81c","datavalue":{"value":{"entity-type":"item","numeric-id":3447197,"id":"Q3447197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f59ba6ce393a9fe745a4f506b155c3cedc574e","datavalue":{"value":{"amount":"+0.8298391699790955","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":"Q5187257$BED8792A-FFCC-4297-BEEE-8E30C13A4F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b99192f5915e57a50e19a065d5c6b84517f27d0","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b69d7cf47bcff841aaf3a411b5c4d779d6e8d1","datavalue":{"value":{"amount":"+0.828601598739624","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":"Q5187257$0460C5D1-D6AF-43AA-B60C-6496E6979E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4835d434b81388ba1a49b19d18dff64c75c4d34","datavalue":{"value":{"entity-type":"item","numeric-id":4378052,"id":"Q4378052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99df518b74ecbfa09a063945899cc4350b0b291e","datavalue":{"value":{"amount":"+0.8276442289352417","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":"Q5187257$888D7D10-6AE3-4FAD-ABAE-82A5F9C07EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed07df2b1f6110a584710411b3ff8f5d475f1c8c","datavalue":{"value":{"entity-type":"item","numeric-id":4283226,"id":"Q4283226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcad2ce6bcf496cbd1c7fa0a0bf6352adbb35312","datavalue":{"value":{"amount":"+0.827364981174469","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":"Q5187257$F26EB846-1709-456E-A491-795E3D07C5A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5187257","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5187257"}}}}}