{"entities":{"Q4087150":{"pageid":6116750,"ns":120,"title":"Item:Q4087150","lastrevid":93084188,"modified":"2026-06-05T03:36:04Z","type":"item","id":"Q4087150","labels":{"en":{"language":"en","value":"On Kalmar's consistency proof and a generalization of the notion of \u03c9-consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3506655"}},"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":"Q4087150$926ABD7F-6BF0-40A9-98A1-54AB19C960D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95cfc036877102fc4bd33d68118098a77882d51c","datavalue":{"value":{"text":"On Kalmar's consistency proof and a generalization of the notion of \u03c9-consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4087150$B3781B9D-6814-4312-BE68-20C085884AD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c6fc1345ada0672272ed174af5ca4cbc3dc30d6","datavalue":{"value":"0324.02021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4087150$C0FBAAC4-CC0B-47E9-B0FE-458B4B18FD9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"475c9ee9ed06fab8c419e157a0ee983108953129","datavalue":{"value":"10.1007/BF02280806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4087150$436A8E64-EC4F-45DB-9CF7-25CE87A1E877","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":"Q4087150$5AEF7217-A652-40C9-9008-AC30CCB161B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4087150$7001FD79-E6EE-4EE0-8BAA-0E3107C9657A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q4087150$120636E0-5A73-4A85-A69B-3D4BD9AEFEA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3cad2e4deef62f9cebe41b76e79269e3c62e079","datavalue":{"value":"https://eudml.org/doc/137896","type":"string"},"datatype":"url"},"type":"statement","id":"Q4087150$C29B8E7F-D50D-4504-AD83-C58D2A7826C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4087150$D85C231D-6575-4A8C-B3EB-0108B97DDCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4087150$79A38A7C-4765-4BF3-9D09-EED56AE03097","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0332929d721b81830769c2d54b57d7156c7c3da0","datavalue":{"value":"3506655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4087150$086BC52D-6A8C-4028-A6E6-1489053EB59B","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":"Q4087150$B8A93330-8A00-421D-BE8F-3FB0E606FFD0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd954f15986ba4dc429d75c6e8ca2f9c30fb6f1","datavalue":{"value":{"entity-type":"item","numeric-id":4077992,"id":"Q4077992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4087150$8D74823E-E6A6-4FA4-82BC-4FC7C1780B5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bb6082a65e8d01ac61575cd25651f1a8decbf77","datavalue":{"value":"W1997536798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4087150$F0B596EB-0C1C-407E-BC10-574C9B090C21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Kalmar's consistency proof and a generalization of the notion of \u03c9-consistency","badges":[]}}}}}