{"entities":{"Q5482597":{"pageid":7512157,"ns":120,"title":"Item:Q5482597","lastrevid":41849763,"modified":"2025-05-09T01:10:05Z","type":"item","id":"Q5482597","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5050044"}},"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":"Q5482597$6F6F617E-00CC-4615-BA73-3EA900200116","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e535fa18307d8348afe986ff76980eb0b30f9033","datavalue":{"value":"1095.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482597$54A77EB4-8965-4B91-810B-3B9E6EE6AAA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5482597$D0B238F7-B473-4B23-B2DC-A619B9B03EE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63da72b0317302272e80c03c7cc4dfd35a3b574f","datavalue":{"value":{"time":"+2006-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5482597$9D2F2989-57C0-4A31-AAD0-1398E81D4F47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482597$88C4CFDD-7187-4BC1-B65C-E5A4BFF69C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482597$2888702E-58C3-4F1B-8479-4AC212FA4D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482597$15737280-5456-46C4-9444-A0ED18CEFCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482597$424D3254-DB97-4899-B50C-AC3BF3CDDF9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"357f8f1c677a384a73ad570afd84ee35439f0e6c","datavalue":{"value":"5050044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5482597$4E8FD998-D185-4EB2-873E-280BB0DC21C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21eb675258855e587d336866f2fd7aa28ae1ab5f","datavalue":{"value":"paraconsistent resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482597$5101C750-139F-4494-A257-25F357F92A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482597$FD4A7D43-DA85-4D3D-A169-89917B19F63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558e32a0884c5233110fd5a023672e91351272ab","datavalue":{"value":"Herbrand theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482597$699EBA65-A0B7-4F92-957E-BC9435DDD8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482597$B03F298A-3E6A-445E-BF7F-49C6A0190C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5482597$DFA26B98-F62A-4B3B-85E3-FAD82027BA14","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":"Q5482597$7D5E6B60-FED9-485C-BFCD-CC6FEEE17FA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7787bcd76cb7b950ba8bd32fc9f692c3b51fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5039834,"id":"Q5039834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc83352176b5023690f3c7e9256068b290b938b9","datavalue":{"value":{"amount":"+0.9018498","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":"Q5482597$468C8C2E-5112-4E7E-B1FF-32AA88537803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c22f04c9a620fa526d1b2dfbb22d6d05c12625","datavalue":{"value":{"entity-type":"item","numeric-id":1352293,"id":"Q1352293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e8496a6086be1e9cac7e0a6c0a1c62e83cb1a49","datavalue":{"value":{"amount":"+0.86631405","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":"Q5482597$8BFC2BF4-B8CD-4FF5-A372-D68BC66A8850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7ce693483eaa9a939b74621683aabebeb4659a0","datavalue":{"value":{"entity-type":"item","numeric-id":5241529,"id":"Q5241529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb4e06064862f5fbd61c1c4e116dcdbb82fb31b","datavalue":{"value":{"amount":"+0.8634356","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":"Q5482597$93B6E843-3D63-4956-8EA3-30115B144687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f161d7a8480efef9f138da8a7034e37e87c864e","datavalue":{"value":{"entity-type":"item","numeric-id":911797,"id":"Q911797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0cad8edd3dfd800f02c00b63a153cf1cfd40c0a","datavalue":{"value":{"amount":"+0.86297554","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":"Q5482597$F9981F32-EF0A-4F7C-B184-3588804157C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09766ec6d0256323a14dfa25ccc29b54f091194e","datavalue":{"value":{"entity-type":"item","numeric-id":3485886,"id":"Q3485886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7dbd4755a5e3d0b78218099c5df99a70c61ccaf","datavalue":{"value":{"amount":"+0.86077225","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":"Q5482597$F2B32803-921E-47D5-A6CA-90C010AFD019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73355af8bf88fa8e10c3705058fd6c98d1f84f02","datavalue":{"value":{"entity-type":"item","numeric-id":1327159,"id":"Q1327159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5676e49d4bc315c3386145bf2e7a0eca95dac5","datavalue":{"value":{"amount":"+0.85971653","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":"Q5482597$C0F8A6F7-6571-4FA6-B195-3B2767640C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd38a941b1330cf785992d86f23b5dc4c376ee1","datavalue":{"value":{"entity-type":"item","numeric-id":4207887,"id":"Q4207887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ae0bcdb0c2aa42c84713140392b48651b1833d","datavalue":{"value":{"amount":"+0.8596122","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":"Q5482597$8F114629-8F3B-4BF6-A41B-1C69F5858E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228cdb1129359a07bee9efe732fbc38f86d1d646","datavalue":{"value":{"entity-type":"item","numeric-id":1885907,"id":"Q1885907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d44fce2d1de44466d4ef7881f40158d9972f636d","datavalue":{"value":{"amount":"+0.8545265","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":"Q5482597$93F4D478-1105-4B61-A0A9-6BC05BE534B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70aa357b4ea5c73f223fcc073a4fb0ae48edc8c","datavalue":{"value":{"entity-type":"item","numeric-id":4847373,"id":"Q4847373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60369e9c229efafe1097df2eb8a5da0818f5cfb","datavalue":{"value":{"amount":"+0.8543973","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":"Q5482597$AC9846B8-241E-4C3A-8F01-ED46AD598A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c0e9951b079cc8e7df32ed39f17cfb024bd1762","datavalue":{"value":{"entity-type":"item","numeric-id":4300136,"id":"Q4300136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9fe7cbe8e1adf2b038fe1e1d49be1fcb54d0dd","datavalue":{"value":{"amount":"+0.8534281","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":"Q5482597$B4FDB457-FA57-4E39-9573-61E45915AAAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5482597","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5482597"}}}}}