{"entities":{"Q4215636":{"pageid":6245237,"ns":120,"title":"Item:Q4215636","lastrevid":46650885,"modified":"2025-12-25T08:22:01Z","type":"item","id":"Q4215636","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1215499"}},"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":"Q4215636$07B03627-97AB-4931-8CB7-00FBA8C288E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"484e6e6340688139f312841c74e4fe08bce9ac58","datavalue":{"value":"0915.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215636$AABEDDAB-22A5-4D47-8B24-B2CAF8821661","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92b6dd4dc950e5b503f8f6d4e78c532d91da339","datavalue":{"value":{"entity-type":"item","numeric-id":259083,"id":"Q259083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215636$F870693D-01D4-4668-969B-5A4416E7C962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215636$AA746248-3BEC-45C0-8841-B109BDE01B76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8538f1ba6baa09d5d0d64bc29fdc3e18f7dc8f68","datavalue":{"value":{"time":"+1999-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4215636$22B7D3C3-2BFC-4EE0-8585-9E9E920DE357","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215636$27A2AB15-EA91-4F93-8C79-536F1D021DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215636$959F4986-7DC6-4AAB-9D5D-3ADB4229F360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215636$59183375-1AA1-40D3-987D-D56451E2B035","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a34c1220db5ccb281e2e2baf1bbd01b46dcac51","datavalue":{"value":"1215499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215636$FBAA6A29-F78A-4157-AA74-EA5CFE5C1A9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215636$C48D08A7-B59F-4F9B-A834-7143EE3C1930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ece2d2fa2847839708cf7f9a164124f70792cef3","datavalue":{"value":"provability in arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215636$1BFC5E0C-788E-4004-81BA-9BB3CE19C226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11d134f1d561f80a65d0d8a2aa58e7649926c1d9","datavalue":{"value":"de Jongh-Sambin fixed-point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215636$157F7FAC-7D3B-4719-9873-F65FBF718A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a25459254d10a1b262a4cf0431ca91ce834398b7","datavalue":{"value":"Solovay's arithmetic completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215636$DF544AAF-F9A7-495F-BB48-F97AF82D26EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97aa605691bcda918555967bdaf53d30211cf4f7","datavalue":{"value":"propositional provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215636$47AE63E5-7B97-4554-9532-CAADBB07E68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60560b8ca80e9f961b8a4aa26f78b2234f80c1e4","datavalue":{"value":"Magari algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215636$A1B238D4-F6E0-43D5-B8A5-A1E8C1A4CA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215636$60366F60-76EF-4FAA-BA25-F52450EE6723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b3fc345dc4897deeb79345608d0254e6d85453","datavalue":{"value":"tolerance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215636$62595AE7-DD89-43D2-B643-4E309CD04E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb6043b50de10fb2d5e6ec8c785e0cce04e52c07","datavalue":{"value":"predicate provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215636$8BFF0FDE-4C52-4A8A-BB54-D6571EBDFB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44a6cbdfcd7bbb1b2fe2a4af77a94ffaaa029195","datavalue":{"value":"nonarithmeticity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215636$6BE6CC43-F0A4-4FD9-B47D-5EAD5C98056C","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":"Q4215636$E58340ED-E209-45AC-AEA6-0718CA310825","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4835d434b81388ba1a49b19d18dff64c75c4d34","datavalue":{"value":{"entity-type":"item","numeric-id":4378052,"id":"Q4378052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c58cbaef49b961d2059e73c75e96cf8d8553a79","datavalue":{"value":{"amount":"+0.903668999671936","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":"Q4215636$2483C088-5467-40B7-A170-AC9BE746D431","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":"385314d6634b68c6e956510ce9759c28f98bbaae","datavalue":{"value":{"amount":"+0.886567234992981","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":"Q4215636$CD7C37BB-5A7A-4076-A1A3-BA949F0A0160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5de23aebabd33253baf63deae4f5e29c291ae6e","datavalue":{"value":{"entity-type":"item","numeric-id":3809769,"id":"Q3809769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2203c4737cdb8961276391ad734fc2991cffb6f3","datavalue":{"value":{"amount":"+0.8700768947601318","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":"Q4215636$96F237C2-B81E-4CDE-AF3D-FAECB2F575F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4215636","badges":[]}}}}}