{"entities":{"Q1854547":{"pageid":1865289,"ns":120,"title":"Item:Q1854547","lastrevid":73667109,"modified":"2026-04-14T16:50:51Z","type":"item","id":"Q1854547","labels":{"en":{"language":"en","value":"Encoding linear logic with interaction combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853276"}},"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":"Q1854547$1D1D069C-FD0A-4EBD-B03A-412532BE0253","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6362831f3b63dae6de35db3c1f4cc0ed9fac66e","datavalue":{"value":{"text":"Encoding linear logic with interaction combinators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854547$41D81E51-6139-4502-84A1-B61A981B667D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f37ef4b54fc012d3f0f4800c8da632a54f750068","datavalue":{"value":"1012.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854547$78C47A8D-CE84-411C-9B72-4AB2B989B101","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a04798673cdee8e131074b158bbd965428ba13b","datavalue":{"value":{"entity-type":"item","numeric-id":656850,"id":"Q656850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854547$9367E732-B70F-430D-A457-70CD2192F779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b22589ac4799fa11bdf6a319668e8a088247d277","datavalue":{"value":{"entity-type":"item","numeric-id":465684,"id":"Q465684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854547$C131EB13-F09F-45DF-AEDC-914FC09CD3ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854547$6106A0F2-7A5D-45CC-83DC-95AD725421DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854547$2A885373-C4CD-48F9-84A6-29C5ABD4EF1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854547$7E49277E-F91D-4A96-B9B4-453A48781BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854547$B013725E-BB50-4D3A-B8F4-BD17565A1C27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7caf2c872a53ee15bc6877974274dfa9177bc9ab","datavalue":{"value":"1853276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854547$7AC239B9-9A52-453D-B5FB-4D1A20F80636","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":"Q1854547$30D55A34-7AF0-43A6-B874-3ADF3BFF2CBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44550a954ceda6a63b45baf135a8e05f580b06f6","datavalue":{"value":"https://doi.org/10.1006/inco.2002.3163","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854547$A20C9B1C-D43B-4A5E-88E4-63BA2A6640AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6711c4c120d521fbb2d7d4c22e919835d9f990e8","datavalue":{"value":"W2074116409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854547$ACF78389-3002-40AC-891E-D3049F4AFEBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"477498c9b0f4eb04e17b21d45cc402bd00036414","datavalue":{"value":{"entity-type":"item","numeric-id":4339015,"id":"Q4339015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854547$E3366897-B6BD-477D-9102-3280DB20AFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854547$619E9506-11D0-46ED-B18D-B655807BE99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0c67870c1a5e0259aaac79ff002e2c719f79ac","datavalue":{"value":{"entity-type":"item","numeric-id":4945227,"id":"Q4945227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854547$D3C1F439-8E22-45AF-AD5A-7C92FFC9CB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a0f5a9e419a456b6013c123bd63dd22f53381b","datavalue":{"value":{"entity-type":"item","numeric-id":4870807,"id":"Q4870807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854547$E4296540-8FDC-405B-B141-F56CB7735F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854547$F9A9784D-8E82-42DE-802E-80A2FD6F4BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48c61c6138784426830f34f60c6e6c51b112861","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854547$DCEA7B4F-535B-4658-891C-1941AF51A511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46547e73c4384ee7abaa2b5b9f48db501cfa8b62","datavalue":{"value":{"entity-type":"item","numeric-id":1368381,"id":"Q1368381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854547$8F8048C9-88AE-4FCD-BE2C-441594A7E370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba299e3b7a8cc1a48635fa05f535f676d61017c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348892,"id":"Q5348892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854547$EF095F35-BFCB-4FA0-92A0-362F3C29896B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84645920564bdd5531c4e5a01b23e4a3e514114b","datavalue":{"value":{"entity-type":"item","numeric-id":1583245,"id":"Q1583245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854547$01D61A61-7E66-4A1D-8BE2-5A4B087070F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe531ba35ccbeddc16bc6870127ff66d6116670","datavalue":{"value":{"entity-type":"item","numeric-id":4508308,"id":"Q4508308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854547$031A7649-1A22-43AD-B180-E46B725EC921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854547$C13B76FF-2DB9-4CD2-9574-B2CC3AD52812","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56b2ae88e958a732a399d5b0ff0a37bad7e1a2e6","datavalue":{"value":"10.1006/INCO.2002.3163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854547$FE991453-ECF7-446B-80AD-91B7B8D54778","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e00492223d8a74fdffca3bd01a0982fa7c35cf","datavalue":{"value":{"entity-type":"item","numeric-id":1583245,"id":"Q1583245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1bc5aeaa710146560ca70bc923b756009436c0","datavalue":{"value":{"amount":"+0.9080901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854547$34B6EEC8-FB17-47D0-94EF-846A72D3F0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67c7d845ea924732a87d2f1d2a1d25c95a8028e","datavalue":{"value":{"entity-type":"item","numeric-id":1326780,"id":"Q1326780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a28176226562031767d6c01435af256f197492f","datavalue":{"value":{"amount":"+0.8958036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854547$D6B539AE-8694-469A-B9C6-583C268AE3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607f5bb5fcbb4bac05e6d97184163159b8708a7f","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9cec3f36ed2d4d3f3735ef5fc0ca91b5d06c474","datavalue":{"value":{"amount":"+0.89568186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854547$AC1AF9E3-E941-4609-BE9E-8C9667823E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abc84240eedfec5798f9f3e58c4c14a074c01e29","datavalue":{"value":{"entity-type":"item","numeric-id":4327828,"id":"Q4327828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68fd2e00ec9b6eee240af63acde07e1f2fceec0","datavalue":{"value":{"amount":"+0.8901958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854547$95705E63-482D-488A-993F-B18E13A2C2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac604cd380ecf38a2af074b62aef2492799892fd","datavalue":{"value":{"entity-type":"item","numeric-id":4673354,"id":"Q4673354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe5b0cc961f16583c113f1bf99ba5a534c1c1ba","datavalue":{"value":{"amount":"+0.87980956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854547$E000E800-53C7-4C26-8333-2BD2588B2617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a093c07a32c68acc1994cebd818377a20943b8","datavalue":{"value":{"entity-type":"item","numeric-id":5037747,"id":"Q5037747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809046212bf3ca92f19f2fc6b6231cee3262a08c","datavalue":{"value":{"amount":"+0.8778947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854547$8CB2B0F5-7DF1-4C9C-A205-A4C84E8FA247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1048a47a90373bc7b5355c785e75695b5eb5afff","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac1a3bbe985a6f4c75c5bcd13ef66c27fb86d37","datavalue":{"value":{"amount":"+0.8772531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854547$C38899C6-F863-4CDB-A831-82BF0D3B1BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da502d82fa96f14f7dbea0b148081cc1d8f7050","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a73fbf2206a5475d254140aed1a9ad7afc436f","datavalue":{"value":{"amount":"+0.8771268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854547$7A2C1103-CFDB-4C6F-9E62-F4C3ABB8FE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c472eef98b51a7df1c7d986f114c747b2455ff1","datavalue":{"value":{"entity-type":"item","numeric-id":5890063,"id":"Q5890063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac578538b675ae0b1de594be330564dbf42d135f","datavalue":{"value":{"amount":"+0.8764872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854547$4AC14232-361E-4304-B757-A4F40078B4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612009c50b8ca7483779822191c877b6fdb39692","datavalue":{"value":{"entity-type":"item","numeric-id":4842540,"id":"Q4842540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994747f17bd9ad427b7165219c77069080bd4dd0","datavalue":{"value":{"amount":"+0.8761576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854547$4CB9E5E7-6122-4CA1-AF54-8E26C5DE398C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding linear logic with interaction combinators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Encoding_linear_logic_with_interaction_combinators"}}}}}