{"entities":{"Q4612437":{"pageid":6642020,"ns":120,"title":"Item:Q4612437","lastrevid":53337044,"modified":"2026-01-24T18:37:21Z","type":"item","id":"Q4612437","labels":{"en":{"language":"en","value":"Hyper natural deduction for G\u00f6del logic -- a natural deduction system for parallel reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009551"}},"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":"Q4612437$BA5891FE-21E0-46ED-B66B-2721901EC7B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"979b88420ef6359a7fdd34f27c4c5b78b7f0731a","datavalue":{"value":{"text":"Hyper Natural Deduction for G\u00f6del Logic\u2014A natural deduction system for parallel reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612437$A9BE0D10-9E71-4418-B99D-BEF98DBB425D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c43e0bcbb90bc0c73c2b1094580b214418da454b","datavalue":{"value":"1444.03094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612437$BE5E2307-6A1E-4E96-84D8-08D7025580CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612437$D10D8869-5D23-4FAD-99BA-9C5EF8831BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"694d2e8c67abb491571f4dddc9bef501d0565c56","datavalue":{"value":{"entity-type":"item","numeric-id":650892,"id":"Q650892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612437$AD7F4E7C-184E-47B5-9412-CE3D6763A17B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612437$19D89B1C-0321-4787-9A3F-DA11A5942CD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612437$B3D4955E-64A9-4985-BE00-4004114FBEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612437$270D7A21-DBFB-4D65-A717-8B8444C87764","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4a0d61cfaf171fd59033c97eecd5faadf4f0b6b","datavalue":{"value":"7009551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612437$0A5E4F86-E2FD-4499-869E-79B771B6A225","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":"Q4612437$A3BD8C0A-96C7-4BC2-808D-22B90E2ED888","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a944671913d025e65da076a30c9720c3484385a0","datavalue":{"value":"https://doi.org/10.1093/logcom/exy019","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612437$6659632B-736F-4A99-8FF5-83E431F4BA59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"131ca4ec1365b75f5a8764f968c84290c27e7893","datavalue":{"value":"W2883365390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612437$6D9F56DF-130E-479E-91F0-F70B14056EBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c2cac6b6fb11c89ff6f56a9a6ce257e3e55a11e","datavalue":{"value":"10.1093/LOGCOM/EXY019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612437$C6103413-99D1-46E3-849C-D363DE3EF56F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612437$1F70A18B-8A82-40E0-8D27-5D046610D297","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43fa46cd8b690e52191e898df43b3d8cc0f278","datavalue":{"value":{"entity-type":"item","numeric-id":4635835,"id":"Q4635835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a6eab267751514c4d59db284c5a7dd58a1b9c2","datavalue":{"value":{"amount":"+0.9398345351219176","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":"Q4612437$399CD3CF-6A9B-4D74-B0DF-57A6B71FBB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b380e1c0c1aa452e0639db3d3d54d9a0a686da94","datavalue":{"value":{"entity-type":"item","numeric-id":5144622,"id":"Q5144622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d92c7e0088cc31f3191b5ffadd06ef27242f3eb","datavalue":{"value":{"amount":"+0.8371146321296692","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":"Q4612437$8D774EA4-1663-4AB6-96B3-8E7380B975E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4be026e0d3fd50d2cefea3d864ecde8f279d96","datavalue":{"value":{"entity-type":"item","numeric-id":3147433,"id":"Q3147433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42d1e6d2f779ccd8e7a2d9c4eff268019c7d42f","datavalue":{"value":{"amount":"+0.7859256863594055","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":"Q4612437$3CCFD28B-4368-4699-86F0-574B3E036F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08c5985acd06e923f6a50ba7d2c0a409f11df455","datavalue":{"value":{"entity-type":"item","numeric-id":2804332,"id":"Q2804332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23fc5eda291e633b39c2920392c18a5791afd9d3","datavalue":{"value":{"amount":"+0.7830708026885986","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":"Q4612437$5484E2D4-6990-43E5-8BD1-A4D9250952CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6bad4292e19ffd364fb1bbb2afe4aa06bbf2cd","datavalue":{"value":{"entity-type":"item","numeric-id":4812316,"id":"Q4812316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c411650c198a196a57ee233c163571bbff906cca","datavalue":{"value":{"amount":"+0.7678732872009277","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":"Q4612437$D340C5B5-0834-4CF5-BF8E-17F24AD3B1B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4612437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4612437"}}}}}