{"entities":{"Q4723729":{"pageid":6753306,"ns":120,"title":"Item:Q4723729","lastrevid":49045102,"modified":"2026-01-06T12:43:45Z","type":"item","id":"Q4723729","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995669"}},"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":"Q4723729$B5A5E3C2-53E3-44AB-BF62-AA0A88447877","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"055996d28d2bf1dab174a4206086f571c15bc6e1","datavalue":{"value":"0615.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723729$3BCB008A-9157-472C-AFD4-85684D0472E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4723729$5132A6A6-0103-478B-B449-F6F3AE7BAB29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q4723729$8EF44AD6-D287-476C-A976-EF2F9F73F6C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a42ad640b6340ac7433ed0dabfc72a70a9a69649","datavalue":{"value":"https://eudml.org/doc/181749","type":"string"},"datatype":"url"},"type":"statement","id":"Q4723729$8852BDC8-FEC4-4B02-8D8D-E1A1ED0751DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723729$32679B90-7621-4C16-8992-69C763837B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723729$DA3F1143-B487-406C-9B2D-4BB8EC739E77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52981a9d828f8e802e6b11a883b2c7227a1916b1","datavalue":{"value":"3995669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723729$4CDCB894-9864-4F00-B2EE-421208250193","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc414f681425b8ca834fa8ee0244adca0266d7f2","datavalue":{"value":"formal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723729$E9BF771D-FB90-46B1-8912-0C941FE7373D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e0742387e1f6edbf526237b6d7517c1b4a783b","datavalue":{"value":"direct formalization of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723729$8EAB981F-D96E-4FFE-B83A-3E8260C0726F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1b4adedf61023d28e6b167f4ec52fc1042cf74","datavalue":{"value":"variable types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723729$7F669EFB-7088-4917-B949-B87520CA1975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239216dd3f19405bd19cf971fd1804855225f4ca","datavalue":{"value":"Axiom of Choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723729$2AA4E1D6-83CC-46C5-BE83-7F3DE47AC6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383ca75459b3e29c2feddee70461b9a1df8ab6e1","datavalue":{"value":"formalization of some parts of classical and modern analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723729$88C43856-8A85-4AE6-B7EA-1B696CC50A44","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":"Q4723729$4948DE7C-60B4-4F38-8E83-DE7255D0B7DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc0a43a649037aff843d9e62cc66bf2911a8e7b","datavalue":{"value":{"entity-type":"item","numeric-id":3312222,"id":"Q3312222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb1cfdc43e479036cd6a7cb8b1b06c873ea0e24","datavalue":{"value":{"amount":"+0.7397517561912537","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":"Q4723729$FDD97D8F-23CD-4106-B231-CF88AA0E70D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668bcb1c1a942ce16e0bd7468ad79496ad2fa844","datavalue":{"value":{"entity-type":"item","numeric-id":1919537,"id":"Q1919537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830fc9e701b06dfbe3c02126b6fffc97035fe507","datavalue":{"value":{"amount":"+0.738937258720398","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":"Q4723729$4BBEAFCA-3F16-46BA-BECF-1FF0618301B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acfde58e372d46283d90d4977f7f07592ea21a08","datavalue":{"value":{"entity-type":"item","numeric-id":4650272,"id":"Q4650272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830fc9e701b06dfbe3c02126b6fffc97035fe507","datavalue":{"value":{"amount":"+0.738937258720398","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":"Q4723729$FF3717CB-D3BF-47D5-A304-66F3A4115BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b120bdb747182e81ee3795db4144f05b4ca32d90","datavalue":{"value":{"amount":"+0.7258686423301697","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":"Q4723729$0A57643E-8909-4815-8C23-4EA1F4BE621C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309cc6d9be6f6b34f8929dfd567396cb0cbc4f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5593820,"id":"Q5593820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d54276d293a765eff1e578408b4d655f2e367f","datavalue":{"value":{"amount":"+0.7127310633659363","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":"Q4723729$923C15F1-5B3A-4BA1-B714-9CE2AE4D9768","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4723729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4723729"}}}}}