{"entities":{"Q2843814":{"pageid":2854534,"ns":120,"title":"Item:Q2843814","lastrevid":42258273,"modified":"2025-06-03T18:07:01Z","type":"item","id":"Q2843814","labels":{"en":{"language":"en","value":"Reasoning about resources and information: a linear logic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201402"}},"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":"Q2843814$2E21686E-F75B-4636-BB45-0E2A8F231FBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2164e7fcfc8bd6cefd520e7af54e077a66eafa7d","datavalue":{"value":"1315.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843814$8ADB4536-D077-4E78-A71D-18FFEA15BED2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4a859e081dadd57e3d78c0b7a968cb23cd76e50","datavalue":{"value":"10.3233/FI-2013-852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843814$B11CF1A4-5E9C-4B43-9E33-2F2BF0EB1B24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843814$A6C63760-265E-4D4C-B64E-5C84EFF4FDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc422bad03afd41308581925fc6979a91da946c0","datavalue":{"value":{"entity-type":"item","numeric-id":264960,"id":"Q264960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843814$EF3416FA-0676-4E5C-98D6-A438BED7206D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843814$3CAD85A1-10F2-4ECF-B59A-DBC7C3C3CD52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6ec21f9c1f239abf85c21214e6b06adc9b7204c","datavalue":{"value":{"time":"+2013-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843814$13C480A4-6072-4C58-87D7-6D3B04841D06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843814$73C20DF9-DC0E-4D64-9BE7-E9DFC30D86B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843814$C01A0728-7385-4A89-BE0A-D7CA4178D911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843814$D2625A90-4F8F-4EF0-BB52-573DFCC9D8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843814$CC59BDDB-91EB-49AC-A213-6EBB534388B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acc486b96dc210575c62835c6d5cd95c67b08a6e","datavalue":{"value":"6201402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843814$92A9329B-DFB7-4DAD-B0A6-9BC328F66DFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843814$1B44EA89-6210-438A-B760-C19943EFB6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261384d5dd7fed1d3182a69012952bac452c0bcb","datavalue":{"value":"resource-sensitive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843814$F89B8A84-B2F3-488C-81F6-46AAD31BA8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0d48d45a4d9f9b4ae1d4fa547126511f04337fa","datavalue":{"value":"sequence modal operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843814$7A9D69FF-CD20-4353-91C3-6DBE28761965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0316ff4879924776e90d0929174663dc73d4fafd","datavalue":{"value":"informational interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843814$C51322E1-53ED-4872-BACB-E1DCEFA61937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843814$3122E2F5-6A43-4595-88F6-C39118D9C949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d336d5c9c03929296d91e87681206f21f7ac6fd5","datavalue":{"value":"secure password authentication system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843814$61C56509-58E6-45D9-BA8D-D4F5CD895C02","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":"Q2843814$3885AA83-DE3A-4C0D-B30D-85D01E7FA3F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d4c94e5b538ec974422202211bbe0336c41a818","datavalue":{"value":"https://doi.org/10.3233/fi-2013-852","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843814$0180548B-B452-4F1F-8EE2-0436962F19D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c3c1c39c10f84e2b9de32842621bfba13a2da02","datavalue":{"value":"W1778618445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843814$3F8EC85B-B1D8-45DE-A4AE-1BDC34C92938","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b1c87c83401de035d6bbf461b2243747049c715","datavalue":{"value":{"entity-type":"item","numeric-id":4249035,"id":"Q4249035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5040b449a491d9b96394b220833b49fbdc08e0b","datavalue":{"value":{"amount":"+0.8795364","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":"Q2843814$4973DDA5-9AE6-4B95-B1F6-166D2A31C6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efda2353914528ecc06c38baa7482e29cffa9a82","datavalue":{"value":{"entity-type":"item","numeric-id":5711863,"id":"Q5711863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f71e4e4831778b0b0dd93b20cb6fc44c5d376939","datavalue":{"value":{"amount":"+0.87844026","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":"Q2843814$F913D36F-B628-4503-943C-5C33D4B129E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd8a98cca5f1bedc61b069b13b9afe0ce493ffa","datavalue":{"value":{"entity-type":"item","numeric-id":4938433,"id":"Q4938433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c862b6cbe94604a5b0af894db7b901c8c93dbbf","datavalue":{"value":{"amount":"+0.87560576","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":"Q2843814$8A0B39C5-34B2-46D2-92F7-145D2817A64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaeba136033525e81e705e85cedfaec00f2cb991","datavalue":{"value":{"entity-type":"item","numeric-id":2784269,"id":"Q2784269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783de53d61cf5c8873b8d1bc72820c480ccd479e","datavalue":{"value":{"amount":"+0.87368774","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":"Q2843814$5AE526C2-4C36-44A6-BB9D-E9F7A317FFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d399c2a82c00110e706073bdb362303eae99917","datavalue":{"value":{"entity-type":"item","numeric-id":1382161,"id":"Q1382161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c4f243599500955f77c8a66c1789caf13756fd","datavalue":{"value":{"amount":"+0.8733555","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":"Q2843814$DF052F38-9CC6-4D63-A6E2-3A20259BB4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc6ee9649a5ec249f1e6033dfaa56851ed03bf20","datavalue":{"value":{"entity-type":"item","numeric-id":4315290,"id":"Q4315290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebeed45a4a257c08716b681c3dd03e7e6dd8498b","datavalue":{"value":{"amount":"+0.8699772","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":"Q2843814$38396B93-DB3B-4EB4-B9D2-44694E7D7A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcedea129b09724ca891154e9e12d52eedadd20b","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"345f7cdb8e7b670e029e9accca79b201b028fe5c","datavalue":{"value":{"amount":"+0.8699771","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":"Q2843814$95237F32-E836-4B27-B06B-63BDD5F8114F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b99cdc2c9c8553219427556afa682b44319820d","datavalue":{"value":{"entity-type":"item","numeric-id":3305423,"id":"Q3305423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1050b08a495c58def0f28cedee6d05739bddee4","datavalue":{"value":{"amount":"+0.8699091","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":"Q2843814$75F612B7-DF71-4297-BF72-4909AD204415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e952094e2719c457cc65ccf17740b1c48f29693","datavalue":{"value":{"entity-type":"item","numeric-id":4412848,"id":"Q4412848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92563066f32f7bfbc06fc630c7c3225463b58715","datavalue":{"value":{"amount":"+0.8688867","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":"Q2843814$36599374-784E-4B2D-829B-A7A5C1173C7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce9abc34d85e2f789aece65cd462e5b5c4eafcef","datavalue":{"value":{"text":"Reasoning about resources and information: a linear logic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843814$A1A459EE-7B96-41E3-8028-5A7AFBA67EF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843814"}}}}}