{"entities":{"Q689212":{"pageid":691061,"ns":120,"title":"Item:Q689212","lastrevid":63639009,"modified":"2026-04-11T14:31:42Z","type":"item","id":"Q689212","labels":{"en":{"language":"en","value":"On the proofs of arithmetical completeness for interpretability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440198"}},"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":"Q689212$D52B7FB9-BF2D-44A7-BC00-215B93259537","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da59ee67fc859b4807e9dd8c0f2e6f37c076c879","datavalue":{"value":{"text":"On the proofs of arithmetical completeness for interpretability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689212$C1E97C1B-905C-43E1-8071-3461981277E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28033091e207535fac9d307f86c3eda400246899","datavalue":{"value":"0788.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689212$52D1440B-064F-4012-9C3E-EF635EE23BF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6246c94f6083cffc3dda1ad223e304fff6f9a9a9","datavalue":{"value":{"entity-type":"item","numeric-id":494637,"id":"Q494637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689212$BD01B097-D5DF-422A-ABF1-3E85C6BF5683","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689212$6A433922-B5C4-48D4-A448-1760446A2A97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f76288a30164f14e28f1a275b49eb5d03da81a0a","datavalue":{"value":{"time":"+1993-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689212$FEA5CC0A-3730-42E8-B2D8-AF65B875CB4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689212$316A7AA8-909F-415B-8E64-1D528AF35987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689212$D5264E73-A991-465A-8364-E9B723D26A79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aeaf3ee6cc3965347baaf872c6f0afaca59d90e0","datavalue":{"value":"440198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689212$F1881A88-DBD1-4F64-9A88-63494F543DA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q689212$F6944886-1A19-4494-8B0B-6FD00FB0DF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q689212$B99025D5-06EB-481A-B6FC-9DFFFB3A5DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q689212$A01A155B-AE0C-4073-B8B6-0A9C3EB7A20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103ca3f35911ab8dbbf0b25e7edb55e36f49ba01","datavalue":{"value":"Veltman models","type":"string"},"datatype":"string"},"type":"statement","id":"Q689212$0AC35BD6-5550-4834-86E9-214DC8B1AF74","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":"Q689212$7AB79AE6-EAC7-4DC5-AE84-FDB0BF8C84E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e93fca443e81ba6fdc3ca888f5410efee370c366","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634485","type":"string"},"datatype":"url"},"type":"statement","id":"Q689212$DB9584D1-368E-44BF-A0A9-31B96AC6D4E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20891fd249e2369f56828d801750539e990ced1b","datavalue":{"value":"W1987397575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689212$40A245B4-46E2-43A1-B61E-58E2C2C846AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea77bd7fe2302001a7c38dbaf31b41c4e8e74575","datavalue":{"value":"10.1305/NDJFL/1093634485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689212$4927BE8A-CCA0-42B3-87F4-69D0427FEFA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52800f4b6f025afb309f7794216dc84b227ec4a","datavalue":{"value":{"entity-type":"item","numeric-id":5148108,"id":"Q5148108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6fdf2b31bca733c5ffb0a97d8a243d2b7abe1a","datavalue":{"value":{"amount":"+0.8570460677146912","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":"Q689212$417D084B-22C1-41CB-898A-0150A4DA690E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b74cacfaee426ea987896803a0bf0b12e6ed1d6","datavalue":{"value":{"entity-type":"item","numeric-id":1181486,"id":"Q1181486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1b226868bc8efb39fd2543a7a09dbde0d36670","datavalue":{"value":{"amount":"+0.8524316549301147","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":"Q689212$DC35ADD5-8E60-40A4-8C88-B7034162B581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697a9578da003ddebfcf4999c731eae925ada4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4948517,"id":"Q4948517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a589c07fc876f1123de7b5d24dc2474fbe2d9c","datavalue":{"value":{"amount":"+0.8517191410064697","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":"Q689212$BBE14D1E-0AC9-4CDF-BF46-477F320FAA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f5a10a238b894f2cc5fff9fbc6dc145cee901e","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a3a7a4bf83b3b673b0cfaa72fae3b533e8b6bc","datavalue":{"value":{"amount":"+0.847479522228241","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":"Q689212$CDFC9429-2A1A-47F0-ACB5-98777E740672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3737b46562c23b92952b7d95708796778ac5a047","datavalue":{"value":{"entity-type":"item","numeric-id":4694209,"id":"Q4694209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c65bfd16c2c3d3b05730a38bb6a8e94994487a","datavalue":{"value":{"amount":"+0.8392958641052246","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":"Q689212$47540AB7-CEEC-491B-973F-921B3246C5B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the proofs of arithmetical completeness for interpretability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_proofs_of_arithmetical_completeness_for_interpretability_logic"}}}}}