{"entities":{"Q4946232":{"pageid":6975814,"ns":120,"title":"Item:Q4946232","lastrevid":47467732,"modified":"2026-01-01T20:05:43Z","type":"item","id":"Q4946232","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1421203"}},"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":"Q4946232$DC1F4974-C5C6-4668-B7A6-68FCA2155C02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"015289765e5335bf2004d6dcde73b7f5f1814d3e","datavalue":{"value":"0968.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946232$BBC25612-3190-41C9-ADE3-0E4B0F141337","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a27412a89b2cdddd320443e7a213163a609876dc","datavalue":{"value":{"entity-type":"item","numeric-id":843771,"id":"Q843771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4946232$ADD31FCC-9FF4-4C62-AF57-EE0F05CBE838","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38e52bd0bda7dd3c1a0d042ea3a4146210d006f","datavalue":{"value":{"time":"+2001-09-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":"Q4946232$605BB931-BED5-4DDF-84E0-DB7F7D09A5C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946232$F9C89BCE-87AF-41C5-9796-77113F2498A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946232$32AAC266-1002-488E-8AF5-4FBDA33E74C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946232$776940EF-92E5-46FA-B07E-ACC0A82D0581","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b472d6e6213f0b1b3a7570491eff806e04eaf1d9","datavalue":{"value":"1421203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946232$0AF775C9-6D32-4860-AB12-D8CE3C50CD9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946232$E752EAA7-ABC8-480D-BBD2-F6C997C4F8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217d515fc6d7170fc9c286bd7a42929ba08b74cd","datavalue":{"value":"grammatical composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946232$30C2D5C0-DB85-4F4E-8AED-C9B246F4B4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72198f0f557ee9d2a52f5c84a7d5b5ebe43b901","datavalue":{"value":"algorithmic proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946232$E12552B2-854C-4DBF-BBF0-91A6237AAFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2acd188a14c2a9d7c56bafda6b700bd29adaca4d","datavalue":{"value":"grammatical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946232$291CE419-04AC-4413-A1B6-662EF01C25C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2fc7c7e5556dcd382df95a9b3cbc94f9c9bfb0","datavalue":{"value":"natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946232$9AE8B7B4-2AC2-4D9F-A091-1B24855EAC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946232$24A9A4C8-B72F-4451-9B0E-7F2904FC0985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71cd2c1b4e96564569e2bfc11224b3869d07de59","datavalue":{"value":"Curry-Howard labelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946232$CFD43B3B-E7E6-4518-907F-CBFD3E4C6BB1","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":"Q4946232$BE17367E-EBF2-4CCA-ADEC-E9D850571B52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584eead67d2998beb136f3588324e2d9f801bd61","datavalue":{"value":{"entity-type":"item","numeric-id":4842281,"id":"Q4842281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d54493b76a0d03279b41518a565fc3e4d215b5d","datavalue":{"value":{"amount":"+0.7856566309928894","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":"Q4946232$170884FD-2C09-481A-B80E-3BA7F2FBE905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51dd06b8da364bf14f332f0f4056c56bca59a69d","datavalue":{"value":{"entity-type":"item","numeric-id":4946226,"id":"Q4946226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824644119ca735e4b3eca8ff5d6e02aed3a3cae7","datavalue":{"value":{"amount":"+0.781574547290802","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":"Q4946232$0927DEA9-D32B-4963-9D4C-2560249C74A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2445d2a53fc3d9eee46f3d5cc9610be3bd2e4a3c","datavalue":{"value":{"entity-type":"item","numeric-id":4842278,"id":"Q4842278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3139cddfaa25f9c1df66bc718ae15c945542219f","datavalue":{"value":{"amount":"+0.7798217535018921","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":"Q4946232$A9A376AE-A170-49FC-8BB9-0F85DAD9F95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b74440cc62d975fc47553ad5ca791068767e8dc","datavalue":{"value":{"entity-type":"item","numeric-id":4238425,"id":"Q4238425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3139cddfaa25f9c1df66bc718ae15c945542219f","datavalue":{"value":{"amount":"+0.7798217535018921","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":"Q4946232$74B436E5-F264-4023-8C5A-517161EBF5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9c492b91765b0b488a47968dd11907d6049d54","datavalue":{"value":{"entity-type":"item","numeric-id":4934058,"id":"Q4934058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1787511ac49ff9e2e5f8a2784e731f11c3127a04","datavalue":{"value":{"amount":"+0.7732471227645874","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":"Q4946232$19E45FAE-D354-4D60-9E19-7C7B93984621","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4946232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4946232"}}}}}