{"entities":{"Q3447197":{"pageid":5180743,"ns":120,"title":"Item:Q3447197","lastrevid":50123219,"modified":"2026-01-13T05:26:37Z","type":"item","id":"Q3447197","labels":{"en":{"language":"en","value":"On two models of provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5168265"}},"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":"Q3447197$A771EEE6-FF17-41BB-B1F3-A733041BD466","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13c414c465c4733f646b7014d1a4f173702e0c63","datavalue":{"value":"1123.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447197$3A988656-B382-4EDF-8FA2-8AA476D3D599","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a887365e98fe0bc50665f65ff8d4efeb117360e","datavalue":{"value":{"time":"+2007-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3447197$560D1800-318F-451D-BA30-BA44F9758B2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447197$88314F47-2F38-4995-9A22-78D8EF975494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447197$29AB4636-D807-4B05-9D98-FE63C3582DCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa2d3f2e99b674add30735adf55ba4bbedefc8f0","datavalue":{"value":"5168265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447197$626EE9C3-3807-4D92-9EE0-F4AD3C8CCB44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3447197$E36A1F9F-DBE9-4EA1-9A3D-9DD3274BC3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3447197$3C8819A8-B5E6-4405-A137-148A0963F71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3447197$598FFDC6-7ED8-4B12-89B2-8955F5FA81D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5711a22c90a25acfa5e838b5972ab6cd5c8785","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447197$4CF780FA-8183-479D-932C-B6E4395467C2","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":"Q3447197$7C550944-55DD-4090-A9D2-9F64CA581DC3","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":"ee126d32729f3a229f5ebc69939663f2f3829f70","datavalue":{"value":{"amount":"+0.8613740801811218","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":"Q3447197$1DF0AA97-85A0-436D-8D75-8BABE435D24B","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":"0aefef478e08ae1831058f237d1f56bea921a0ef","datavalue":{"value":{"amount":"+0.8531156778335571","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":"Q3447197$F52B3515-ADC7-406C-96C3-85CBB68224A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bade1c4d4b8c83dc9273b03a9c5e330219392210","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a67a6c815346b6bc794145c2015901eae7fd66c","datavalue":{"value":{"amount":"+0.852773129940033","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":"Q3447197$DFECA41F-871B-4447-ABE9-FCE1CBF71941","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":"a2ec6235360ae5481b5b31efb04cf6de2c12cd1d","datavalue":{"value":{"amount":"+0.8495544195175171","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":"Q3447197$BB222D90-6A60-4936-84E1-6A62D9D0BF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b67dd631c1f0aac1ac6d0f57b56d5ad1e38ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4ad0cd13ed92eaf6690b86d916bb4bde3e6175","datavalue":{"value":{"amount":"+0.8483572602272034","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":"Q3447197$CD4A188D-BD53-49DE-8671-EDE347EC17E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3447197","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3447197"}}}}}