{"entities":{"Q5067988":{"pageid":7097564,"ns":120,"title":"Item:Q5067988","lastrevid":41132820,"modified":"2025-04-18T10:39:40Z","type":"item","id":"Q5067988","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7503174"}},"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":"Q5067988$A68EE477-F795-42EA-A8C6-2BDB43693662","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18913cec03ba282016e056a5c89950c1912b88a","datavalue":{"value":{"entity-type":"item","numeric-id":2148781,"id":"Q2148781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5067988$30F282C3-F3A9-4AB7-9A45-DAED215AA864","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d249924fb2575f70cd1998ce670af4e4c548d4a2","datavalue":{"value":{"time":"+2022-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5067988$D405B051-A4CE-4AEF-852C-9399FCFDE1C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5067988$F324CBC0-B622-4C12-B4C4-1EA12A914E3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7122a6265a220164e3cf4ce39d92a02e4171919","datavalue":{"value":"7503174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5067988$1DD5428B-3E7B-435B-82C2-4472D71E4944","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5067988$ADFBCC5A-8DC5-4A3B-B1D3-54061763A488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5067988$6094F39B-8514-4151-BF3E-8AD92FBC07FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d03738801b92ef4435c7aaf61bc69b0230356d63","datavalue":{"value":"paradox, inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5067988$F1B5A0BC-7668-4F4A-83BB-DFF3C3E0B4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3738894d4f2a8c6a75bcc917291a1ff1549694c","datavalue":{"value":"Martin-L\u00f6f","type":"string"},"datatype":"string"},"type":"statement","id":"Q5067988$F853FF5E-2AEF-420B-9740-C1BAC9BB58A6","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":"Q5067988$225FB722-A9B9-4435-ABA1-F6B2892824E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdce92b8cd7bcc440f4c06977aeca61941b8634f","datavalue":{"value":{"entity-type":"item","numeric-id":1934950,"id":"Q1934950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ba17cb7638b93aa1fe032f7634730f5e525961","datavalue":{"value":{"amount":"+0.88079023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5067988$620D77C2-1390-4D69-9C88-ED3EE7208E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f53314c3733a4d1c980e6761547a01ff2a43db5","datavalue":{"value":{"entity-type":"item","numeric-id":946791,"id":"Q946791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300d2a0b821459770949d6f507df69c86d39e754","datavalue":{"value":{"amount":"+0.8732264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5067988$4D9B4A2C-6632-4D3B-9B20-6BBE393595F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286fa4e67553a87c49ec7cb75c6265196ae2bfd1","datavalue":{"value":{"entity-type":"item","numeric-id":5259726,"id":"Q5259726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7323b5294c1cd135aa861e9803756ac6e610136b","datavalue":{"value":{"amount":"+0.87028444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5067988$A8F29D21-31C6-4A8E-BB5B-2D2EA90356C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273f0861a2b635d5e9714e290aa7bf56cde75f91","datavalue":{"value":{"entity-type":"item","numeric-id":4663841,"id":"Q4663841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f309be5be66f17e344c489bbe9db4a40e5fb6659","datavalue":{"value":{"amount":"+0.86987185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5067988$756A29A3-2D77-48BD-91B1-16A96AE22E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d96aeb79cddedc68f73b55e92612de7f22ea0a","datavalue":{"value":{"entity-type":"item","numeric-id":3449397,"id":"Q3449397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e646a1282583113049a6d9a822badf4f3166d97","datavalue":{"value":{"amount":"+0.8689095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5067988$6CC760C6-9DFC-4EB0-813C-342D265EA9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e635715603fed434c1a2f559ab54cea989efabee","datavalue":{"value":{"entity-type":"item","numeric-id":5519108,"id":"Q5519108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e652cae6c395f83543b4a358d54e17743a382e","datavalue":{"value":{"amount":"+0.8664609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5067988$DF3907BD-F3FB-4C13-A605-D6A935C003CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4e4b8b824ef3a4b48f57825d05370f7df5f92b","datavalue":{"value":{"entity-type":"item","numeric-id":2288280,"id":"Q2288280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f92c39016a74dfc76dc68dfc2f5476802fd02d5","datavalue":{"value":{"amount":"+0.86601806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5067988$FCFC0F13-0CBB-43A9-A66F-DE5C7AA06AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa5a1d8cc7dd5baa2b9948396e42f6691ec6dbf8","datavalue":{"value":{"entity-type":"item","numeric-id":4692665,"id":"Q4692665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fbd884a2dcc9dcd47a7acef44de7bb93d9aa49b","datavalue":{"value":{"amount":"+0.8630744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5067988$010D5B45-CB32-4CC8-867C-773A2DDD9DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c216f2e3341003de11b50dc00fdaeff360fd9eb2","datavalue":{"value":{"entity-type":"item","numeric-id":1775860,"id":"Q1775860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9e91aecb1f4a20614754a7a38d9c51ba527bb7","datavalue":{"value":{"amount":"+0.862897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5067988$31FAD2AF-8BF1-4EE6-85BF-F01E1A48C588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da640a70738388ac20925154463f37d4ff9695d5","datavalue":{"value":{"entity-type":"item","numeric-id":4375025,"id":"Q4375025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ce24928bd3752761e944c90a420be31fbf8bbf","datavalue":{"value":{"amount":"+0.86261916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5067988$729E0C40-8B12-4817-9E6F-DC0C9F6FB4E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5067988","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5067988"}}}}}