{"entities":{"Q2870155":{"pageid":2880875,"ns":120,"title":"Item:Q2870155","lastrevid":83952680,"modified":"2026-05-07T14:52:02Z","type":"item","id":"Q2870155","labels":{"en":{"language":"en","value":"Herbrand theorems for substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247461"}},"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":"Q2870155$5B5248CE-ECA5-4B8C-9B73-75CDE05DE0DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7a9f19357734282abb91526437f53c624852aaa","datavalue":{"value":{"text":"Herbrand Theorems for Substructural Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870155$FC39972A-3C3B-4BBC-83FA-6BF5C5A2548A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd9348e51a0101b9fb0d96de2b7aded27aff9592","datavalue":{"value":"1408.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870155$88D393D9-89AC-4229-B2B2-47E336256FE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9564f7515794d0d731d48ac089635f049940a21a","datavalue":{"value":"10.1007/978-3-642-45221-5_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870155$5B6275E0-0077-428B-BB56-E4F6C2AE7165","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870155$DB56FEF3-04A6-4615-9B8F-FD19B8FD6272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870155$32D50003-99AF-40C0-93F0-74FB33126A1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870155$458FAEAD-6275-4ABD-97F3-B2294404BB0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870155$3A38567F-5CA2-40A2-BBF4-2CC43765A698","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870155$82977978-089B-4404-A8A6-589C4A1F8D5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3501fb239dd99ac39febd4a8bd7db520b63a9bfb","datavalue":{"value":"6247461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870155$5CC5A74F-DE76-4C88-A370-A47EA60B98F8","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":"Q2870155$2FE3C84B-B27B-43F2-9C3F-020CFCCB9923","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60fc1cf88522f1d934b68993e7acb70e8e278ccc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-45221-5_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870155$C909DA9F-2057-4821-9667-FAE241B585C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"933f04b754f43f1a916f0b043b8753fedab5b7f7","datavalue":{"value":"W1780759162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870155$C9F2C8FE-E074-4726-B31A-A996567F2288","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70da77aab94cad657f9c4dc7401b0cd1eb5bc8b","datavalue":{"value":{"entity-type":"item","numeric-id":1733060,"id":"Q1733060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46638547bf80a2e718b3a7eb00a8e752a21a3158","datavalue":{"value":{"amount":"+0.8508697152137756","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":"Q2870155$6E00D251-A4E9-4EC0-830F-76E632ADA0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e802f897a1490f5dd1713c187dddeba16cac801","datavalue":{"value":{"entity-type":"item","numeric-id":3460036,"id":"Q3460036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c783cd584b7455b92136a4052bcacc3ddd5bbd","datavalue":{"value":{"amount":"+0.8433441519737244","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":"Q2870155$83DEC372-9B6A-4E72-97D4-F934DA2305F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31a6ed5f8d8eacd6a891c1cf265f8c2563c9be4","datavalue":{"value":{"entity-type":"item","numeric-id":3507415,"id":"Q3507415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ff7c6558d813c1ef2c3d00fe4010ab91f1a1f6","datavalue":{"value":{"amount":"+0.8376846313476562","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":"Q2870155$02D74581-2056-45B3-B4A7-2BDB4F88B47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23363285bd1fe8b01d4abc595b5b22345d00673","datavalue":{"value":{"entity-type":"item","numeric-id":3406683,"id":"Q3406683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90e2dd6032f41ee5f90be9e1de93bb5c39187ae","datavalue":{"value":{"amount":"+0.8245928287506104","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":"Q2870155$A7F2687C-F6ED-423F-8011-2AC35E0F3522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f224617a51a1d4e4d508c109efa999bab49997","datavalue":{"value":{"entity-type":"item","numeric-id":4942001,"id":"Q4942001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95f13f1ba488ac849c228511ba41c4f798c8365","datavalue":{"value":{"amount":"+0.7970234751701355","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":"Q2870155$B22B2EA4-B02C-4910-8478-815ACA113A1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Herbrand theorems for substructural logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Herbrand_theorems_for_substructural_logics"}}}}}