{"entities":{"Q2181918":{"pageid":2192661,"ns":120,"title":"Item:Q2181918","lastrevid":57758820,"modified":"2026-04-02T09:56:20Z","type":"item","id":"Q2181918","labels":{"en":{"language":"en","value":"Circular (yet sound) proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7202444"}},"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":"Q2181918$81072C02-642C-4477-88D2-6A292A3B54D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"034403d8612f7c64ee6d864ab8a15b51eff1cb61","datavalue":{"value":{"text":"Circular (yet sound) proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2181918$EC50899A-3FD8-4A50-BDB2-AA3EB6130E00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fb0662fac5dfa4383a509593aa81a81ffb74bc9","datavalue":{"value":"1441.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181918$2994345A-478C-4502-8A27-311B9F6D0CFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1f9bc464020e9bc82ba36026e6c4917075102fb","datavalue":{"value":"10.1007/978-3-030-24258-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181918$28602BE7-19B3-4A62-86C2-02D1B80F53A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"691b2efa6b7a6124eda9dac7addda22440a9eb76","datavalue":{"value":{"entity-type":"item","numeric-id":458459,"id":"Q458459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181918$73A95C25-A7F4-4EDD-BDD0-1198E4672FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68b55be2ece07cb26d32f7d1e491763db7999e1","datavalue":{"value":{"entity-type":"item","numeric-id":930902,"id":"Q930902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2181918$6B3FDD22-A657-489E-B54C-FD0E5462FBE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d777a513c8a436f6b680a1e02c588f4cd3d39d0","datavalue":{"value":{"time":"+2020-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2181918$9D0F1DD5-847E-41A0-BD53-B366ECF80513","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b316aca6068994a9c7af3cbfeca536274e5f7cbc","datavalue":{"value":"https://arxiv.org/abs/1802.05266","type":"string"},"datatype":"url"},"type":"statement","id":"Q2181918$B9BE080B-592E-4CD3-8650-3E8F4988B2E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181918$51C69DDD-C0C0-48EC-976D-A5C3934CCB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181918$0A70FC83-361C-46E1-87CD-578CF3BE4932","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f0f09065402c3ab83044d8a8b98d07cd0bf5eab","datavalue":{"value":"7202444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181918$962DA89A-9894-4B6E-9BB6-D92133D20454","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":"Q2181918$06FB7896-94B8-4539-B906-0938E4C214FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a4d4b4efe042c41db146d0b8c10570e35e3c937","datavalue":{"value":"W2962830316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2181918$B8A5923F-F794-455F-8B29-FA3B753CEA79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1fdf1649a75caf06f675d4d9b225cd2e2dc66fc","datavalue":{"value":{"entity-type":"item","numeric-id":5224693,"id":"Q5224693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af93fd524cc00714711758c32a800e7468c1eb83","datavalue":{"value":{"amount":"+0.8175580501556396","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":"Q2181918$FBF22AAE-741D-4509-A4AC-69AA33AEE450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84dd24b13e86e8b7f507e9b28623e3cbe6b6e803","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0feb4191596ace42b98f8398b8c7cc21c5f2a6","datavalue":{"value":{"amount":"+0.7710429430007935","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":"Q2181918$B0417A24-F35D-4919-8BA1-DF498455933F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7982ab060501728ce0f2208c041f28be535a51","datavalue":{"value":{"entity-type":"item","numeric-id":2343897,"id":"Q2343897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19bc5570aa43d163c7a93c2125043746ee1469e","datavalue":{"value":{"amount":"+0.7537209391593933","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":"Q2181918$BE7324BA-D1EC-46E9-AEC7-67FF89E18C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d848fd39fcd180d6dd51093a428c6d8a947b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ace640aed24adcf7506e27723704e8cb718ce9","datavalue":{"value":{"amount":"+0.7519972324371338","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":"Q2181918$5834F916-2597-4F6D-A8D2-5FF2B4868446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0247af87e176aafad6848ca6c4df8650b0e491","datavalue":{"value":{"entity-type":"item","numeric-id":920967,"id":"Q920967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4f982f18f1c8fb6222727744bd6e7ff0241ee7","datavalue":{"value":{"amount":"+0.7446157336235046","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":"Q2181918$2CC0D922-6C3A-4CFC-964D-F53C2A53A76F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2181918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2181918"}}}}}