{"entities":{"Q3138826":{"pageid":3149542,"ns":120,"title":"Item:Q3138826","lastrevid":47196925,"modified":"2025-12-31T23:42:53Z","type":"item","id":"Q3138826","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 432699"}},"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":"Q3138826$18EAFD91-727F-4CA7-855A-095D2929A10B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed9218e549ed99dd46416cef52a9bce5d32f3357","datavalue":{"value":"0793.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138826$B0CF9D5E-8E6C-4599-956F-602F563FC94D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d91eb383cd112a6f423cf65f9ae246ca32dde7","datavalue":{"value":{"entity-type":"item","numeric-id":1084099,"id":"Q1084099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138826$3197A703-670B-44F7-BA5D-9D2529E7B21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e7882536af51bf6c5753ff9b9d81493dcc804d","datavalue":{"value":{"entity-type":"item","numeric-id":1575922,"id":"Q1575922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138826$4E6806FC-A75A-4E96-A8A1-AE3DE0A2A550","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be385604d3b66e8d862a65c447d5af8aba333f6e","datavalue":{"value":{"time":"+1993-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138826$8960F515-E494-4A63-B99D-D7A48FD848E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138826$F31384D9-E641-40FA-ACED-795E3B11CED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138826$707A956F-27A0-45B3-AFC4-8742E255CD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138826$F8F86758-BCE3-4270-A624-1E03DDB2019B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138826$AB09589B-D6F0-48C5-A5F2-243279A95BCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c6d925a922e065bfa647a2611e4eecba2028859","datavalue":{"value":"432699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138826$4F2C8142-93D7-4718-98AF-797A9A478BC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138826$709D9F28-3B16-40D5-8C4B-8C215444C923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0692bd30efe5a95bdbf0de2e505b9a4cfadd60ff","datavalue":{"value":"introductory lecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138826$EB1D97CA-2C48-42CA-9591-BAE8C380D9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138826$ED6C54CF-C0DA-4051-9B97-141441761CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f6a4387bc07966fd17af312cac1fd9fd10e1cd7","datavalue":{"value":"pure prediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138826$951F538A-3B93-4E09-B10B-202467EF847F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138826$2537AA00-DE0C-41AB-86C2-390EBD8810D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138826$8E3C88C3-8D90-4D22-823B-6AE673FF31A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138826$8DD05F72-469B-4303-9B9C-2A6162EA75F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138826$B9FA4F56-1275-4A14-BB27-946AF506ECA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138826$B255F1BB-2F29-48EF-A8EB-0A6D25EBCBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92fcc0369415b27e3c906600876dc37ea712af70","datavalue":{"value":"\\(\\Sigma_ 1\\)-inductive fragment of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138826$9BDC0C11-32CF-42B0-8061-A09354EC697B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261f29a806240d042bfeefd26be90958861fc8e","datavalue":{"value":"synthesis of primitive recursive bounding functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138826$47D64FD8-9E1C-4067-BE07-D24962A1CE7B","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":"Q3138826$FF2C9AB6-CC9A-46E0-84A2-F7A36677EBEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4596f4b9e3d72e9595f49910610584394c88f846","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb00bfc3a5feb74910789c0703b72ce59bd703e","datavalue":{"value":{"amount":"+0.82007896900177","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":"Q3138826$CFA1276D-E224-4BA3-B055-62D89483BABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dff92d0ec4445ae93ac2583555fd6e9188f9b63","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb00bfc3a5feb74910789c0703b72ce59bd703e","datavalue":{"value":{"amount":"+0.82007896900177","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":"Q3138826$C03E3122-D069-4A91-B68B-E3A5459AF874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf515b172681cf39c7e1b4776fe69f5892569cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f69ccfbf08e0a98e90c14072d95a2bb5ba76bf67","datavalue":{"value":{"amount":"+0.7781413793563843","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":"Q3138826$D7339167-DA88-4587-BBC4-6C8C6C8A7FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef70568ea46ad23ba540051acda66845ec8fd124","datavalue":{"value":{"entity-type":"item","numeric-id":4488199,"id":"Q4488199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38cb96744066888f5788ac022a8680a82c4dc0ec","datavalue":{"value":{"amount":"+0.7754748463630676","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":"Q3138826$95623EF3-13EE-4714-AC90-8DFFEFF66E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b644f0db550959452a6b37c2ace79081a94270","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea280f109a49cd594831a9f4282f50981dc92295","datavalue":{"value":{"amount":"+0.7720255255699158","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":"Q3138826$27F6955E-A68F-4817-BAAF-59834E40C527","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138826","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138826"}}}}}