{"entities":{"Q4636039":{"pageid":6665620,"ns":120,"title":"Item:Q4636039","lastrevid":41148961,"modified":"2025-04-18T12:35:06Z","type":"item","id":"Q4636039","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863649"}},"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":"Q4636039$75AF013A-6635-455B-94A1-014548E9DA1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"317abf436d6a2a7b940d28f7ac532e3aced47618","datavalue":{"value":"1400.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636039$7F1D63DD-5224-4533-A169-4FC22249E244","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca5dcdef6b84578f0917bbb5df20cd52efd6352","datavalue":{"value":{"entity-type":"item","numeric-id":206558,"id":"Q206558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636039$A0360E3F-08CE-46C0-A245-796928447D1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636039$218B7912-2623-4B3B-B377-D95A18C2DC79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636039$C4EC6527-1233-4015-9B40-38F99CE8CC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636039$103AEDA3-802C-49B0-8EC1-E014BCDA7C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636039$00CAEFC5-9683-48C3-BA67-026230A5BBD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"164c3740b2ff8914b12635ef48138db4f7407d7d","datavalue":{"value":"6863649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636039$6B39EF3D-AE93-42A9-8A83-35B4E2B46E94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636039$DA256A77-7BB8-4956-9189-009EF0BE493E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8e2875f94b547e8e51d4354560d57f874f7e1c","datavalue":{"value":"cut-free sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636039$30348C1F-75A0-4CD5-9E26-75BE81761CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636039$15EEF9ED-842E-4286-BAD6-349CB1AF8A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1fb34e95f9ac98e7bc71955806524649567ab77","datavalue":{"value":"direct completeness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636039$52686596-8480-46D5-BCEF-09DE99E4DF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6033cb53ebaf4b2bfa2180c5a1a6870bec0ce03","datavalue":{"value":"logic of subset spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636039$D0798CB0-2222-4289-AE85-ADD7954B52B1","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":"Q4636039$ECB76338-EA77-4105-926C-FE70E5D55E97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a069aa0b80823e198ecc1bae54fada27914dd08","datavalue":{"value":{"amount":"+0.9104884","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":"Q4636039$AB9142D8-B82C-47EA-AAB2-E9659FEAFE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c0d009c07d0cd15580458163aa2eb34621ec55","datavalue":{"value":{"entity-type":"item","numeric-id":4934883,"id":"Q4934883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a5a5fc94cde0a5d60074f225040ccfd32754ca","datavalue":{"value":{"amount":"+0.9068786","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":"Q4636039$35D812E2-5583-4AFE-82F7-D0CE51D666B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e57d5451a04a9b0d54ced53f9985b8973935e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0c5a9b9a7cc989429ff4c62a436e3b62436bd3","datavalue":{"value":{"amount":"+0.9061216","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":"Q4636039$EE847F55-62EB-4D01-A7FF-113FF4333839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7e0ae95b8b2c2a09355ab60b762853bef151a8","datavalue":{"value":{"entity-type":"item","numeric-id":5095625,"id":"Q5095625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ce106e65794dc262a1808bf923651a73d0c0be","datavalue":{"value":{"amount":"+0.90483356","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":"Q4636039$47B97505-9DFD-43F3-A3AE-A8777AAC3059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c90b47d6587870c66a8463565e85bc39345a0402","datavalue":{"value":{"entity-type":"item","numeric-id":874747,"id":"Q874747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89501fc90369cc094a1f603926b776c5ef618911","datavalue":{"value":{"amount":"+0.9018296","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":"Q4636039$A56DC1E8-41FA-4B7D-944F-6F35FA4BF240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d159f016b21112a780691dee60423170c5dfcff5","datavalue":{"value":{"entity-type":"item","numeric-id":4612444,"id":"Q4612444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa8838869b264b54a634d3df83aecf335b239df9","datavalue":{"value":{"amount":"+0.89681077","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":"Q4636039$ACDBE4F5-B484-4558-84F9-98902FFB2AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7060673df5d98f82ad439ac5c739997bab9e74b8","datavalue":{"value":{"entity-type":"item","numeric-id":5224570,"id":"Q5224570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc8668a5d6a95d11fcd81bd02f302718b8759a9","datavalue":{"value":{"amount":"+0.89279354","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":"Q4636039$E4324D31-2FE5-4866-9A18-B514C6412687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47175f8f0b426346e8e899829e3d14cca601894","datavalue":{"value":{"entity-type":"item","numeric-id":4383724,"id":"Q4383724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac66a7fb9a5848fbe8d3ce4bf31434b50499ed38","datavalue":{"value":{"amount":"+0.8926575","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":"Q4636039$8C2CD76B-1C80-42FF-8B59-C70F0E9F861F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7afb2fe09eb85ca93a8ecde51c771c3b261485e7","datavalue":{"value":{"entity-type":"item","numeric-id":5149160,"id":"Q5149160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4989aae36b3ddb116db44de949a7e32f30cc4595","datavalue":{"value":{"amount":"+0.89104706","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":"Q4636039$43C6E1E8-E671-4A26-9888-E0C293FE4D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7b21e7a507e666380f33f4b16dd7d399c501d8","datavalue":{"value":{"entity-type":"item","numeric-id":2986784,"id":"Q2986784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbee923c46ffec66549f7af42a1fef86b899ef68","datavalue":{"value":{"amount":"+0.89086485","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":"Q4636039$216F2EA4-7FE3-4047-B846-FE961796CEAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636039"}}}}}