{"entities":{"Q2946689":{"pageid":2957409,"ns":120,"title":"Item:Q2946689","lastrevid":58062657,"modified":"2026-04-03T16:02:05Z","type":"item","id":"Q2946689","labels":{"en":{"language":"en","value":"Proof nets for Herbrand's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483193"}},"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":"Q2946689$0E54CF23-4C3F-4E61-B8F4-3A9211AF112B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f112ec213f9c87cae631a123ed9c0f8ebd1d5db3","datavalue":{"value":{"text":"Proof Nets for Herbrand\u2019s Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946689$41B4795D-7394-418D-8791-AB231CBD4C6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b21933bba3a6a408602b9991b5e0a7b76ca587a","datavalue":{"value":"1354.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946689$98066395-66D1-4247-8160-ABFB724F6F00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ee418bc8a8692cb17190f76a4e0f44a55e2d3e8","datavalue":{"value":"10.1145/2422085.2422090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946689$F6E5FEB7-E3E3-4336-AF08-B382633A621D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e5377627c3a1d7316a256f550beb5f63817445f","datavalue":{"value":{"entity-type":"item","numeric-id":941434,"id":"Q941434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946689$1F37017F-4F9A-4F18-BAD9-51132529A972","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946689$127EB4A4-F579-47F0-8856-6D796A3EC9A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-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":"Q2946689$FEBD3105-5D84-462E-9FE7-5CC1F9076BD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68b7bd91a7d1f4bf094f47b24e29e64f864662c9","datavalue":{"value":"https://arxiv.org/abs/1005.3986","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946689$8BB4E7D0-9F2E-4692-8819-1AAF8C536CCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946689$C53BABF0-3C2B-4274-808A-22A404B6E5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946689$3D984EBB-A5A5-425F-A42B-4D7ED3491732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946689$1D561EF5-7B0F-4877-A773-5761F53D8CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946689$47E2322A-934C-44CB-A8E1-F25227C0F711","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1323d56b17d02aab8934cedce0d1918a983d8ba","datavalue":{"value":"6483193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946689$52A5A881-8E64-49E5-907D-576E7BC07966","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946689$3547715C-EB2B-4CF9-BCD3-57F5B17758AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946689$401206ED-B15D-4F0E-9D1E-79BD69E07ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946689$88FF9CDA-7DD1-408B-9F04-7B8844C1812B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946689$730191A0-0884-47A4-9EC5-8F6680C9641D","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":"Q2946689$33282273-9A8D-4460-9275-8CC50D6C8DA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5bda152281cfe0fab8a2362afbd4475a8e8520a","datavalue":{"value":"W2143374829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946689$C4589211-12CA-4FE3-A01C-DA6F62C15108","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e05ea5b7d7260ca535be85672730a3681c9e77","datavalue":{"value":{"entity-type":"item","numeric-id":2871477,"id":"Q2871477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e142c81c358cbedd45aab4975e6166a17b750bbe","datavalue":{"value":{"amount":"+0.8214746713638306","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":"Q2946689$87B10D5F-C0CA-47C0-B60D-5A7B20556A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb712603a97d95c8c6f1736d1041e8ebba15328","datavalue":{"value":{"entity-type":"item","numeric-id":1709711,"id":"Q1709711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0bdbac3368ce9bb7f713bddd26c12932e3e163","datavalue":{"value":{"amount":"+0.8144369125366211","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":"Q2946689$DCF08E88-2D12-4744-B025-F1DA1882CF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c143fa7014d6ab9009fa567823e114e3064b9a","datavalue":{"value":{"entity-type":"item","numeric-id":5236547,"id":"Q5236547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c3b108b49f1d6efc2c96776fc1d435e9776b61","datavalue":{"value":{"amount":"+0.8122445344924927","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":"Q2946689$A58EAACE-21E1-4F9F-A6B9-8569721D3C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a992e8a4c301a1abd9e9a476a2938e15c2272699","datavalue":{"value":{"entity-type":"item","numeric-id":4649555,"id":"Q4649555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ed7cd563807bba4989fe94b46ce20f43a44a11","datavalue":{"value":{"amount":"+0.8098088502883911","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":"Q2946689$F4CB6BC7-6DEF-432E-BE7B-C2C704CEB276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872386990e8ec7de89eb41f32129f183a9544e11","datavalue":{"value":{"entity-type":"item","numeric-id":1946674,"id":"Q1946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c389e2748d7de229ab07bdad50038ae7255213","datavalue":{"value":{"amount":"+0.7938320636749268","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":"Q2946689$92DA7373-AD19-4713-89FF-5F6F0AEDB881","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946689"}}}}}