{"entities":{"Q4196401":{"pageid":6226002,"ns":120,"title":"Item:Q4196401","lastrevid":28417521,"modified":"2024-03-05T13:42:00Z","type":"item","id":"Q4196401","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3635994"}},"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":"Q4196401$D9D5B84F-4EB5-4EE1-A27F-227B5A8A3F12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8fad4334e4afb4f0fe2242be3cfd7150511f7d8","datavalue":{"value":"0409.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4196401$2D91BD07-257E-4F2C-A5AF-3816569EA7C6","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":"Q4196401$9D3E0836-AED1-4FD3-A24A-531B830FD58F","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":"Q4196401$6833D8E1-27DD-4399-97CD-464785DB7D8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4196401$8BA64DBD-B178-49B7-A9B6-F50EB33BC540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4196401$FC413F75-CC1E-4E24-AC35-4DEE0EAC5554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4196401$359CC154-1CA8-4EB8-91E1-5E794349C743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4196401$FF1AD7D1-F7AE-4647-B198-1094548F1CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4196401$9BA504F1-BAA2-4E13-B62D-7FE573A7E3FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a4d9810a02151faef06da87fa2bff66a6f1d2d6","datavalue":{"value":"3635994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4196401$C7E9A596-857B-44D0-BC6F-73471356501D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a0670751ec70d70e6b364ed98ef838ee75596eb","datavalue":{"value":"Unprovability of Consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4196401$D3A0E66D-D0C8-464B-AF3A-738D3C9AC612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0448d1318231ce94cf8196d71707766353cfc4e5","datavalue":{"value":"Modal Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4196401$7A28E835-7575-46C7-8D35-D96A5673C235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f376ec9a61f7e73c183f17de9358e9188ca98be","datavalue":{"value":"Textbook","type":"string"},"datatype":"string"},"type":"statement","id":"Q4196401$D882F5C7-1CD1-42BD-9368-661A3DED0928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"845ddcf5cf8c8abb3bfd363ed874bc5b0c36e874","datavalue":{"value":"Monograph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4196401$EBE2D328-D3AA-43CE-B43E-03DE4130CB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4196401$156FA81F-37CC-4746-B614-740D7C8388A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3da0f7c0f50851f30aedf43ff6dd74e89cf10f6b","datavalue":{"value":"Normal System","type":"string"},"datatype":"string"},"type":"statement","id":"Q4196401$0A5E1DB2-2DD4-4B11-A2A1-9E7E05B01D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db30a59ab186bd1de9bd036d852f96617b0edad","datavalue":{"value":"Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4196401$C9D98EA7-D274-40D3-8394-FE5BD5C064E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b37eb55c7ae45ef7850c0e95d55e8b384d5993","datavalue":{"value":"G\u00f6del Proof Predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q4196401$84B1F7AE-466E-432F-9199-9062AA8838B9","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":"Q4196401$96E78D9E-44D2-4BE2-8646-1D73E176C065","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4196401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4196401"}}}}}