{"entities":{"Q5224673":{"pageid":7254242,"ns":120,"title":"Item:Q5224673","lastrevid":53486387,"modified":"2026-01-25T01:05:56Z","type":"item","id":"Q5224673","labels":{"en":{"language":"en","value":"Proof in mathematics and in logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084936"}},"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":"Q5224673$B1D8C556-72FF-4F59-8478-597ADB96BD8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"325297234cac8197aa9caac144dbdba70a62cf71","datavalue":{"value":"1418.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224673$43CD9D40-3B62-46B0-BAB0-44BFE198A6DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd16caa616460748cfea731e361de4c29e85165e","datavalue":{"value":{"entity-type":"item","numeric-id":375283,"id":"Q375283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224673$D36735D2-02B0-4294-BEB3-467A36490687","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-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":"Q5224673$61AE424A-DB8F-4F87-A629-8D7FD31ACB94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224673$2CFBFAE8-F50D-4493-AD81-2A22FAC078C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224673$6B9A6D5A-E412-4C5E-94BB-25A5B7C3DDB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5353f426846affa69b7b946ca1251d60d08312eb","datavalue":{"value":"7084936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224673$0F665499-B993-466F-B347-5E36242064D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224673$CD85C220-096B-47F5-9C4D-DC00460CE43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8069e998fe3954adf7b5273934e982159a20e6dc","datavalue":{"value":"machine reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224673$2A98C860-F003-4A96-9806-46828A2599CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224673$C955187F-3935-4644-8299-A7CD22F3645A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99a5db1a58b8a3dcf8358bd7d5ea80a4fd6415a3","datavalue":{"value":"mathematical notation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224673$6C465A8E-427D-4DE4-95FA-F7F34B374D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"361a2d1371bfa16861ee16f5b259fcc2a7988990","datavalue":{"value":"mathematical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224673$2DC35E61-1C28-4554-BC4E-60D19F9F13CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b488a0eccecbeb5f24a3662a51e7659a2f133ed","datavalue":{"value":"mechanical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224673$AD836452-141D-4FCA-A12C-D863602EE62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8003014c48dedf408addca3e7b5866c9dba3af1b","datavalue":{"value":"diagrammatic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224673$5C36C3CB-E0A9-4824-9B95-319517ED8D41","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":"Q5224673$96A3B9E6-F0AF-4D4D-842F-630D0C896976","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf775e66a534aab7657db108bee3d98c50fa5875","datavalue":{"value":{"entity-type":"item","numeric-id":3367331,"id":"Q3367331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33752fc1b919ec3ceb449a9f8e54989cd27afb4f","datavalue":{"value":{"amount":"+0.7738054394721985","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":"Q5224673$B716C90E-B094-437A-8986-D5152B4C7D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0de4456a36339b1476230c88892eae0108e1f1","datavalue":{"value":{"entity-type":"item","numeric-id":4824968,"id":"Q4824968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a487c0e01144b7879e51528339bed74a8dd98b","datavalue":{"value":{"amount":"+0.7556115388870239","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":"Q5224673$2D7DF924-D673-43CB-951C-C252CC009EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d506df108d09ecda8c53e2ac8a5f04c7daeb3c","datavalue":{"value":{"entity-type":"item","numeric-id":3629615,"id":"Q3629615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d467ad2d95fb7b600b7b6e45a8d62ffb0ad1a10d","datavalue":{"value":{"amount":"+0.7514480948448181","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":"Q5224673$8241CAB7-350B-4F8D-842A-51BCDD4CEC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d89c6678d6f609d5dcbd29b2a6b39d7fe6dd4b51","datavalue":{"value":{"entity-type":"item","numeric-id":4557165,"id":"Q4557165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089da2f9c73cc2e904b3099308111a925da0c72e","datavalue":{"value":{"amount":"+0.7470665574073792","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":"Q5224673$AF68A463-DC9B-4FEA-8B4B-4811C74D32CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19b38baf8255761d3eeb4f0c20df63c53793855","datavalue":{"value":{"entity-type":"item","numeric-id":5221858,"id":"Q5221858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57da150d01fff5753e52f982714dc98710c41bb3","datavalue":{"value":{"amount":"+0.7448722720146179","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":"Q5224673$C4ABF06B-1DAA-4AB3-977C-B083B5535252","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224673"}}}}}