{"entities":{"Q4196402":{"pageid":6226003,"ns":120,"title":"Item:Q4196402","lastrevid":34627475,"modified":"2024-06-13T00:31:16Z","type":"item","id":"Q4196402","labels":{"en":{"language":"en","value":"Reflection principles and iterated consistency assertions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3635995"}},"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":"Q4196402$16B6CDD3-E866-4AF0-BCBA-5584FC6AA0D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa7c68ba52907612dbae511c6a1c0a5bfd1f7f6b","datavalue":{"value":{"text":"Reflection principles and iterated consistency assertions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4196402$28002BF4-A69E-440B-A8E9-602A0C46F805","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c9a0e5fac29d64a5478da3350f5adcd6cd79a5b","datavalue":{"value":"0409.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4196402$108C7013-5189-4F53-A269-0A2AD4A48F42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a1f661c997af70f0a2faa0d74a4d24c34e6b4e0","datavalue":{"value":"10.2307/2273701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4196402$67672948-EF67-432C-BB5B-A4B814307299","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":"Q4196402$7C37077E-6D9F-40BE-89F4-1239AECED805","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4196402$5E10D2E9-70F3-473D-8118-8F2AC6ED8DD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q4196402$2758CF46-E894-4486-9CB8-5488451783E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4196402$6E3DE27B-ABCD-4174-9E12-867DB20B22C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4196402$2570B3FE-5645-4EF0-9435-D72389CFCB73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"215be532f69f856ec1a61c46fb22f92336c8402e","datavalue":{"value":"3635995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4196402$D2E53FEE-1A25-4D06-8CE2-A875A94824B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e9e00bb2f68181993d95598a5665d6e755e285","datavalue":{"value":"Peano Axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4196402$786F43B5-CCE2-4B4C-8FCA-65442B7F29AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb62ed1fee17fe7048df72c8e7984550f2ffc640","datavalue":{"value":"First Order Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4196402$42469B00-1241-4BB2-88CA-53C6247D0A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2d0fdeebdf1be451141b6ea5039a6313f963bdd","datavalue":{"value":"Reflection Principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4196402$D598D38D-E843-4389-BD17-0FFEBFADCDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c98a2ff93e5164a966a5202c2ed9b5fe8c2739","datavalue":{"value":"Provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4196402$B6FDE253-7DBF-430E-8A7B-AAC40ECFF032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e005fd627654174724d225019dffe674444214","datavalue":{"value":"Consistency Assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4196402$A03019CD-02BF-4C69-8590-104675E26E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0448d1318231ce94cf8196d71707766353cfc4e5","datavalue":{"value":"Modal Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4196402$0FF0AF9D-1E07-4F14-8E97-9BBDE7738391","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":"Q4196402$0CFDAB96-7B68-4FE5-B3B5-9C527F2122B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6b2a10ad93c90d48ca58cc1b65bb9e461dd8100","datavalue":{"value":"https://doi.org/10.2307/2273701","type":"string"},"datatype":"url"},"type":"statement","id":"Q4196402$F8CB2168-3255-4CC1-873B-C614C9C59EF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e49c56df575b4071c7b341b34644468f113862a7","datavalue":{"value":"W2128792511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4196402$F34D72B8-BF2C-4D05-A287-31E01C9871FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4196402$753C36E2-B9E4-4B7F-8A64-F345FF24BEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4196402$22B7AB9B-A5B7-4578-8639-5C60C599BA5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4196402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4196402"}}}}}