{"entities":{"Q5229671":{"pageid":7259239,"ns":120,"title":"Item:Q5229671","lastrevid":29286731,"modified":"2024-03-05T18:23:00Z","type":"item","id":"Q5229671","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7095141"}},"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":"Q5229671$9386D61C-642B-4A2E-94EB-4806830E50FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4612416fdb1712716dfdd025b6870c3c22ffd70","datavalue":{"value":"1418.01005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5229671$E114CD0A-F7C9-4393-9D15-E67E3CAFB245","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baf65bf84a9471e07b9412f58991eb0597943057","datavalue":{"value":{"entity-type":"item","numeric-id":762483,"id":"Q762483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5229671$158CB634-5717-4F76-ABC8-82332EF395FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db92a5a084a50be9bc08381a8639d63f1d75e1c6","datavalue":{"value":{"time":"+2019-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5229671$996C59A4-E079-4CA5-8E2D-F6AF566B4FDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"502c6764a528f60081e8271f2abc18e5b3b1e9f2","datavalue":{"value":"01-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5229671$80AE2514-18CF-4AB5-88BC-33C81197B9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5229671$7A478757-BACF-4410-A917-44B021B10965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eca42d77da3fb0f1b07caa8dbb234a35613a8094","datavalue":{"value":"00B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5229671$215DBDA0-2D17-4854-9437-E5B3925C9112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd0f006165ee82fae761f80e1a04a7310780c9","datavalue":{"value":"01A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5229671$171230ED-20AE-42CE-BB73-A2D1B6ED6B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5229671$6C4F7B9A-DA35-4FEA-8670-45C4D203160F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c585ff1225385df763d563765306ba256a399acd","datavalue":{"value":"01A61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5229671$86B55A91-2405-4C05-9045-8DEBB72208B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5229671$B0A0CCD1-830D-42CC-BD6A-F34DDC29FF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5229671$D1CFF122-5F7C-4638-A768-C31C9A26FE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5229671$5BCBA737-D234-420E-A319-3A743E2BBAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d43a72a96c3e2899dba5bbed021743c1db5b0cd","datavalue":{"value":"03A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5229671$FD911859-50C6-4E15-860D-29CF23DE54F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5229671$E7C6AB8D-C801-4E66-B840-9B59B2EBA158","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7d2318b41072d6cfec717c7e66bfb6fd6e9be5f","datavalue":{"value":"7095141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5229671$4CAA83D9-3F3A-424A-806E-2FFDD50D6EE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5229671$B5107730-4DDF-4272-B53F-3C86E52F9E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e62271a29a174fd1bfbaed8d7223f503322c9991","datavalue":{"value":"structural mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5229671$1F331710-6854-4773-8387-07D329279940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37c73146781712199411ba40d2a5e947fd8a3f6","datavalue":{"value":"general reductive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5229671$5F895AD5-8653-4C3C-AE08-B1126F72175B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5229671$AACD435E-D53F-4948-A6C6-60C197170AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ee896cfb1ff087f610f0ba90e90efefd52ab1b","datavalue":{"value":"metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5229671$9B2A03FB-46EB-473C-BABA-FA2867723C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5229671$C812DE6E-586B-4FA5-B452-15AE9F523407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5229671$6D4E742C-47A7-448A-A78C-025957D5C9E6","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":"Q5229671$DBDC413E-5B7F-4702-B140-7119074079FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5229671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5229671"}}}}}