{"entities":{"Q5739979":{"pageid":7769531,"ns":120,"title":"Item:Q5739979","lastrevid":58596960,"modified":"2026-04-05T22:33:08Z","type":"item","id":"Q5739979","labels":{"en":{"language":"en","value":"A simple sequent calculus for nominal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6601625"}},"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":"Q5739979$478B8AC5-BEA6-40AB-86FF-002B0F08AEBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01d29692182ee411fd51fb5ef8a5c5f7c3820e88","datavalue":{"value":{"text":"A simple sequent calculus for nominal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739979$8DBAFA4F-3C18-468B-A8AE-0663D5F70517","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14e88daba5027a8fa00563788e18a915c5b8f132","datavalue":{"value":"1403.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739979$C2AE702A-B3F3-495D-9AC1-EA0997FFA428","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5395fd6215daedab9dca2942f104c17e46b5bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":616848,"id":"Q616848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739979$0B04DC61-D558-49A2-AE49-76C37A77B224","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83a193227d6ba6906cd45e4bab84652b56c48091","datavalue":{"value":{"time":"+2016-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739979$9599B609-93DA-49A1-B17D-389514DC0D3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3168c56a9ce5db47c35d64ec4e5e843fa01b940","datavalue":{"value":"https://arxiv.org/abs/1312.4840","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739979$A61E2DEF-7B08-4C82-97B1-5324AF32A749","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739979$C531F4EF-35EC-4EE6-AE8E-6F2B94FB75B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739979$19415EA7-DA2B-4D04-9041-74F692A0546B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739979$3C4CC694-6439-4C6A-8478-FF46C1084F67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af8489651db1b3b7c7f4f9e649eb23c50b4d8598","datavalue":{"value":"6601625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739979$9B53D2BA-0D16-4C75-8A4A-B68C20BAFF6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78f667b6c625145d6218b1051d1ef814c946291","datavalue":{"value":"nominal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739979$D8C763A5-8E89-44E3-B7D4-9C852AEBF109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739979$86C02646-30E6-4859-B818-FA7D8D6CD752","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":"Q5739979$6DF0CCA9-BECC-4722-83C1-0D893144E7D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7b13257c4d5d15feb2f10190251242e7f5c67b0","datavalue":{"value":"W2108049042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739979$6BEB791B-48BD-409D-BEA1-CE7165E195AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9a26f3bd1f9704d7186ca9ca8975ed5c5d4325e","datavalue":{"value":"10.1093/LOGCOM/EXU024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739979$E202C9DB-B10A-45C3-88F0-8C3D05C0FC74","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":"Q5739979$A10134C2-BF50-4C83-81DD-F6314B81B408","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1edc3a35c440f23523e8edf3de2a13acdb88b2f4","datavalue":{"value":{"entity-type":"item","numeric-id":5705899,"id":"Q5705899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d073158045db91a4d90a95b78defc76f0e34592","datavalue":{"value":{"amount":"+0.9102090001106262","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":"Q5739979$2848E6D2-8082-489B-99D2-5D829C93A81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"030520f7e830a87853a89f727920484d07ead10b","datavalue":{"value":{"entity-type":"item","numeric-id":2804939,"id":"Q2804939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b9cfa5137c04838783edce37d71caa77532a4b","datavalue":{"value":{"amount":"+0.834290623664856","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":"Q5739979$ADC99507-4736-4E18-849E-4188B1E74312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d3b83dd46fa0389597007cc23b36ce6b7ac7c64","datavalue":{"value":{"entity-type":"item","numeric-id":2372191,"id":"Q2372191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d7c8f448170fadb0613f48d49850ad0f8734fa","datavalue":{"value":{"amount":"+0.8300186395645142","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":"Q5739979$02A7CD65-CFF1-4A4D-A8DA-2EE4FE837152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede30ef70b5aef7ff3974e38e8c4d42817f62ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5714442,"id":"Q5714442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18d7ab6590b27ac7fa1b7c19b0605c4443c65b1e","datavalue":{"value":{"amount":"+0.8073680400848389","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":"Q5739979$493DBB45-BF06-4690-B030-9807DCD25385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8872e38cff400cdc6bd0f791c1a16c6d345e30dc","datavalue":{"value":{"entity-type":"item","numeric-id":5477637,"id":"Q5477637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284827b5eba1e63df4692dffb27e22cc282834b4","datavalue":{"value":{"amount":"+0.8073276281356812","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":"Q5739979$15ACA830-6371-45BD-8631-03DC773CDE26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739979"}}}}}