{"entities":{"Q2844805":{"pageid":2855525,"ns":120,"title":"Item:Q2844805","lastrevid":79571072,"modified":"2026-05-06T14:13:50Z","type":"item","id":"Q2844805","labels":{"en":{"language":"en","value":"Isolating resource consumption in linear logic proof search (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199469"}},"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":"Q2844805$190877DE-2EFD-47B4-BE96-8E77C73D70E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2da6fefb0d1f1bc30c3816b224b2034315f08aa0","datavalue":{"value":"1270.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844805$5B96A226-F553-4034-AF24-B968C10C0300","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"909aae21c70a91434f1e15754d4e047ff9c20452","datavalue":{"value":{"entity-type":"item","numeric-id":2844802,"id":"Q2844802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844805$1493F7E1-C74C-4C50-85C1-C0C01BAE648F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52f31efad8a2adf8c5d910a917f0e3e39185d913","datavalue":{"value":{"entity-type":"item","numeric-id":216148,"id":"Q216148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844805$9CC0C2FC-9E00-4CF0-BEB4-088B7671D96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2bfdd2cf7d06197e383a027cb4a66e643315f5a","datavalue":{"value":{"entity-type":"item","numeric-id":218005,"id":"Q218005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844805$19FE113E-1D94-4827-8AD4-AC54AD063F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"054e37378c870d42a919480b342e98503d3950bf","datavalue":{"value":{"entity-type":"item","numeric-id":2844803,"id":"Q2844803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844805$5DE98920-62C8-4B78-BC1C-A6821A2EAD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec33a478953127887c96bb6e461210f404a9b604","datavalue":{"value":{"entity-type":"item","numeric-id":2844804,"id":"Q2844804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844805$995A076A-C439-4A53-8EAF-F17CA984491C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2844805$CBEEA0F2-3494-42C4-8669-C5D339629E54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8609861ee6b94958989b98c67d6df063b5f2e82","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104805024","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844805$5E780EF8-BA00-42B1-A468-99471BDFC7EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844805$6819DE94-1DF1-436E-80F1-2C1574BC11BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844805$EF779C02-D681-40E1-BD4C-2EDAEC20935D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bc9d7b23babd82f3c8cdf9513f02ac389137d2b","datavalue":{"value":"6199469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844805$38C1912D-8B3B-42E4-9851-4F6BBE880BF1","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":"Q2844805$ECCF3C6A-2AED-457C-AEA5-B30C180BAE15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d06d2012b484e00a4d4f9b661372a37a44880a2","datavalue":{"value":{"text":"Isolating resource consumption in linear logic proof search (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844805$02AEE847-11F5-49FA-8E6D-D03E60740EE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ab9ac650d8119b3654085b940be760814a73756","datavalue":{"value":{"entity-type":"item","numeric-id":4411822,"id":"Q4411822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be96a3362c29b94138840dc1af5eeaf3ae688bb","datavalue":{"value":{"amount":"+0.8249813914299011","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":"Q2844805$2A73918B-1F34-40F2-BCAE-AC546D18BA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b495946c88107bada65fcb8fd4119224d6ab2743","datavalue":{"value":{"entity-type":"item","numeric-id":5705947,"id":"Q5705947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747ec5ed7cc1adaea193ececb303d1e0055b3c6c","datavalue":{"value":{"amount":"+0.8058662414550781","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":"Q2844805$1237ED52-9CC7-4915-93F6-C6349526FBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515a152a20fc34d9504029fea6cb8165ff2b42c5","datavalue":{"value":{"entity-type":"item","numeric-id":5488612,"id":"Q5488612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9690bd2f7190f2dd67651f6c8474ef85a6ecec","datavalue":{"value":{"amount":"+0.792563796043396","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":"Q2844805$7E04D9AB-7912-4A7E-87BE-E4B1C7C35B3D","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":"93230c2c430a506b75fd7e7fff58367c93d81425","datavalue":{"value":{"amount":"+0.7887257933616638","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":"Q2844805$19E840E2-9D0F-4ADC-9462-9339ACCE0F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02fd7c24061e488d2202d5e0fe25a05861b7f32c","datavalue":{"value":{"entity-type":"item","numeric-id":1575929,"id":"Q1575929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234400100a14faa5cb4e579d1f748b77569180f3","datavalue":{"value":{"amount":"+0.7829872369766235","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":"Q2844805$8D1B9352-2BD5-4C6B-84D9-E85B5311E813","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isolating resource consumption in linear logic proof search (extended abstract)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isolating_resource_consumption_in_linear_logic_proof_search_(extended_abstract)"}}}}}