{"entities":{"Q4934058":{"pageid":6963640,"ns":120,"title":"Item:Q4934058","lastrevid":47431915,"modified":"2026-01-01T17:58:21Z","type":"item","id":"Q4934058","labels":{"en":{"language":"en","value":"Labelled proof nets for the syntax and semantics of natural languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389489"}},"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":"Q4934058$082E409E-ECF9-4B7C-88C5-E9A57293B0A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59dc862ead9516bedf82adfe4a041f6e3c5191c4","datavalue":{"value":{"text":"Labelled proof nets for the syntax and semantics of natural languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4934058$FD0F687B-30B0-4FC9-951C-FA2149276B12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d11353c07787e18298a48cb097829791459b2e8","datavalue":{"value":"0937.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934058$23A48B5A-9CC6-4C24-9ADF-88C642AF0D95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2e114da960e66084585eefdd4a3297121ee7837","datavalue":{"value":{"entity-type":"item","numeric-id":1272762,"id":"Q1272762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934058$E212FEDE-F0FC-47B7-A2C0-C2E8F66F27D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95ec5b043115e52ee0328702da430700e7365687","datavalue":{"value":{"time":"+2000-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":"Q4934058$ECCC64B2-79F2-4C4E-ADA4-6EE974F9D0DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"293bfcbcc2401d389fdeb5294ee0bfd6fe5f61e7","datavalue":{"value":"https://semanticscholar.org/paper/64fc2eeef8e7deb917bbbfb2cdbe616484be5b22","type":"string"},"datatype":"url"},"type":"statement","id":"Q4934058$32FFF8FF-AC45-4FBF-9161-39B016AEEC6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934058$C6CC2188-4632-48BE-989A-C5280DFB0C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934058$5A1B4F5A-6D6B-4307-921F-AE59F22FBB0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9154c8702d6347d72e589d5556cc158c64db058","datavalue":{"value":"1389489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934058$F1249660-905E-4D06-92D4-914798FC0FE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934058$07B693E3-0225-4DDE-BB67-3FBE125163C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934058$98C6D39E-FDD9-43F0-94B9-CD76E323DAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614dcee6fc248b4f39387f76ab7c886dbf945f7d","datavalue":{"value":"natural languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934058$25ED8DCC-AC9A-4657-AFFF-D8B6456A7DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b23cb4f9eb51fd2ae9a8bb0446e2192540c1063","datavalue":{"value":"labelled proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934058$617879CD-BA9A-4890-A4D0-0EB026B9398E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666f1d936e708ff2c3971f601bf6324cb035d544","datavalue":{"value":"implicative fragment of intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934058$B0AED3D3-A17A-47D2-8FA2-24FC3B2D3022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d97e9d695530031df1052cbdb54055cb2435109","datavalue":{"value":"linguistic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934058$F39FA65B-2A3A-4434-B7DC-17986E33D5BA","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":"Q4934058$33718806-AD3D-4B27-902B-300AECB03C6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e092fcc120149208c494bdf51545af78357ae45","datavalue":{"value":"W2086216508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934058$40DF4A08-5607-4591-A6D4-11451CF2F74E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4d207f612901a8be6ec3cb1aa0b39453f0cecca","datavalue":{"value":"10.1093/JIGPAL/7.5.629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934058$C2942D10-5696-4182-B3F5-23D48F09C324","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934058$B868C82D-29C4-4EDF-8687-F106999CAA3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43cb9b66ad64d55da3bdc8a305b4aadcde00f205","datavalue":{"value":{"entity-type":"item","numeric-id":4939014,"id":"Q4939014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7842ce6dda20c91c84aea28fcc7d4db65e58eb9","datavalue":{"value":{"amount":"+0.814839780330658","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":"Q4934058$EA9CD933-9666-459D-9900-236D4E3BA154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edaa022c1426eb859ca6660a00d68d01f3ac8b5","datavalue":{"value":{"entity-type":"item","numeric-id":4946232,"id":"Q4946232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1787511ac49ff9e2e5f8a2784e731f11c3127a04","datavalue":{"value":{"amount":"+0.7732471227645874","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":"Q4934058$DA553EB5-821B-472A-80B5-85FFBC62EBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c61e900dbcf377f761c0a5cd6c560441023b29","datavalue":{"value":{"entity-type":"item","numeric-id":2763023,"id":"Q2763023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f77a4ca38303da8aa61c776539f1518ce18b4e","datavalue":{"value":{"amount":"+0.7707338333129883","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":"Q4934058$CC28445A-2D54-4230-A2F5-A41292D18234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f77a4ca38303da8aa61c776539f1518ce18b4e","datavalue":{"value":{"amount":"+0.7707338333129883","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":"Q4934058$7382ED4A-05D6-4242-BDDF-451A99E57F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"427ebd5c3b13c8b934f262dd0d12dc6bab2194d7","datavalue":{"value":{"entity-type":"item","numeric-id":1280048,"id":"Q1280048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77102aba0df54d401b361a6570a2ae2f26df404a","datavalue":{"value":{"amount":"+0.7670176029205322","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":"Q4934058$D0635537-4878-49BF-8CF2-2E4F11F4AAEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934058"}}}}}