{"entities":{"Q1153905":{"pageid":1164654,"ns":120,"title":"Item:Q1153905","lastrevid":69751512,"modified":"2026-04-13T09:08:30Z","type":"item","id":"Q1153905","labels":{"en":{"language":"en","value":"Omega-consistency and the diamond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3726338"}},"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":"Q1153905$ECA12100-C068-4586-95DA-CBEECE17053F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1477b30433bd90aafe0973ce4b525295e08fee75","datavalue":{"value":{"text":"Omega-consistency and the diamond","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1153905$67277036-75B0-4A60-8A96-30DAD2E30274","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1cdae1ac7d92925c31d918f4eb539ffd463ec08","datavalue":{"value":"0464.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153905$CAB16C81-6C87-487A-B784-9F24A4FDEED3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46b8eac855b01eda59bb5785bd54b18ad3ca9604","datavalue":{"value":"10.1007/BF00370322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153905$6EC1C6EB-ABAF-4240-A696-CF4D93AC0B93","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":"Q1153905$9C631D98-93E3-4817-9E35-D002D59EDFD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153905$2F127609-4726-4C54-9DAE-FA2F7DC1D266","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1153905$FE0BA210-DCC5-404A-8D35-1D2572406A7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153905$D4BBBD0F-346B-40A6-8FE7-600D0656CE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153905$C8A67468-AA46-4A4C-898D-54D8B7E7D759","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62a3877e886f5702a51864a48b6b6cf1e55faa54","datavalue":{"value":"3726338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153905$F8FE6190-685D-4968-A544-0DB726E1B44B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2d7002769b2b574a322873e68fe23e49aba354","datavalue":{"value":"derivability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153905$D0A63EA6-849A-4E3C-999A-90ED1C7EAA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6270d86bf52bcb35a49fc62468902186905b2fc2","datavalue":{"value":"modal formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153905$97F2EAA0-445E-4B8B-81D7-2422A5F9F0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153905$A4223334-9EAE-4712-9F92-367F97ED2E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ccff44b41ba7db03d270893a305fa43d5e3ecd8","datavalue":{"value":"modal provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153905$820901ED-E45A-48D6-943D-560E12FFD84F","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":"Q1153905$6C9AB420-5B76-4243-8876-AB677CF3E914","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153905$86C60E88-C61F-4A22-B821-526CF02FC681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be99e1f896a6838dd0f91ded8130808d4f1089","datavalue":{"value":{"entity-type":"item","numeric-id":4052072,"id":"Q4052072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153905$58343148-48E2-4D8A-B2E0-C98920B272B9","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":"Q1153905$688092C4-196E-4FF9-896B-BB58B26B3D34","rank":"normal"},{"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":"Q1153905$9FBB9598-CAE3-4B86-AC9D-F0B875AAA17F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffed7b6573e07e730c36a159541c9ea072f4d15e","datavalue":{"value":"https://doi.org/10.1007/bf00370322","type":"string"},"datatype":"url"},"type":"statement","id":"Q1153905$B7CB3E25-7912-406D-9D4A-46E911E85949","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"091fa7d9f88726d99f3601d0d8d7921956aae165","datavalue":{"value":"W2037176489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153905$EA223913-732D-4D6B-AB58-3691D3C61355","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Omega-consistency and the diamond","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Omega-consistency_and_the_diamond"}}}}}