{"entities":{"Q5884936":{"pageid":7914488,"ns":120,"title":"Item:Q5884936","lastrevid":47831872,"modified":"2026-01-02T19:56:26Z","type":"item","id":"Q5884936","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7668091"}},"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":"Q5884936$9551E216-3124-4819-8EB8-99C660CE453D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d4924a230d704708ace0a36ab132af83d4e0a2e","datavalue":{"value":{"entity-type":"item","numeric-id":2148799,"id":"Q2148799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884936$030FE2E4-BF90-48DB-865B-1940DC206232","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e79fb0f81a13e01e2adb5a30058c546d3cd532","datavalue":{"value":{"time":"+2023-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5884936$39FF8387-9513-48B5-86C3-C9F3EBC6E87D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"976031123794f543f1e95f711560efadc13108ed","datavalue":{"value":"https://arxiv.org/abs/1704.07678","type":"string"},"datatype":"url"},"type":"statement","id":"Q5884936$BF04E323-CC49-45CE-B1C0-CCD52CADD94D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884936$277E6D90-E382-4BFD-9606-453AB9161FDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d55661933cd5ed44c54ee0a9263e934e6df95cb3","datavalue":{"value":"7668091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884936$AE68A72C-40D9-41C8-80CA-07FFF0F94998","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884936$6F4F4029-D0A7-4C44-8C6C-34F06DE6B703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b0d9926522ee8a284ecd19b1ce82443520c569","datavalue":{"value":"provability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884936$E9794911-C379-465B-BDC0-79EF7E4C8DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b0ea78cdb96f33cbc17d95788e9ff4a15e7408","datavalue":{"value":"Solovay's completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884936$F0754EBD-F183-4748-A0E2-3AA240ABE1FD","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":"Q5884936$262E7E5F-5ECF-42B6-A7BD-380EDF1713A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d116d4dd22205644a1b3279c5fa3e988a2c509b","datavalue":{"value":{"entity-type":"item","numeric-id":456968,"id":"Q456968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf19cd6766841c077250861f5854348211e18b0","datavalue":{"value":{"amount":"+0.7889619469642639","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":"Q5884936$D46A42C7-B72C-401A-AFD6-BE1914346B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb57636b430decf664ee4c5abcf6237e4a434765","datavalue":{"value":{"entity-type":"item","numeric-id":3483261,"id":"Q3483261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3350969cd06c081e078a3e68c1776bd8247e6b89","datavalue":{"value":{"amount":"+0.7788321375846863","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":"Q5884936$A0A0F70B-8617-4BB4-A482-43AB64E30E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6005b88badd1d5d65fa1000e0dac197b7ae652f","datavalue":{"value":{"entity-type":"item","numeric-id":4692089,"id":"Q4692089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e95b8c144067cfc4d0dc2a8119a142b2bdc16424","datavalue":{"value":{"amount":"+0.7767575979232788","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":"Q5884936$30BB09F7-71CB-4E6C-BC25-B3F8B89FBF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d2469fb9d39451f01a469e85c0232cd6dba31f","datavalue":{"value":{"entity-type":"item","numeric-id":4490140,"id":"Q4490140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05b7c64b71d1bff9e4dcff69fe649390dac6794","datavalue":{"value":{"amount":"+0.7755526900291443","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":"Q5884936$4DC43FE7-9942-4043-BF14-E15BFBC5E96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b99192f5915e57a50e19a065d5c6b84517f27d0","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54fc9bac979f5d5d582b20227baef228fff2e88d","datavalue":{"value":{"amount":"+0.7720415592193604","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":"Q5884936$7B6E9A71-5344-4ABC-AEBB-2CEF280C9B4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5884936","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5884936"}}}}}