{"entities":{"Q2963910":{"pageid":2974635,"ns":120,"title":"Item:Q2963910","lastrevid":79784000,"modified":"2026-05-06T14:42:10Z","type":"item","id":"Q2963910","labels":{"en":{"language":"en","value":"Primal Infon Logic: Derivability in Polynomial Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687763"}},"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":"Q2963910$826AA867-99C7-49F1-920E-01D157CD4D8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7843db870cc89c78519e3a6f0a6644f1c5ba5fb2","datavalue":{"value":"1359.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963910$A0C6011D-130A-40BA-A0CC-16D2BF265873","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c5d5cab9f1ccd99c4516e9d3907d9f4b2262b45","datavalue":{"value":{"entity-type":"item","numeric-id":2963908,"id":"Q2963908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963910$974B00F1-BD84-453F-B0B1-ABD83880F826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6231ff2c5c020fbe04c09def22e7b36641cd782f","datavalue":{"value":{"entity-type":"item","numeric-id":2963909,"id":"Q2963909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963910$670AFDE5-5F9A-4A8D-B045-8F505FB367C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0b7f5f652e91ff622769e47c4beef7d877754cb","datavalue":{"value":{"entity-type":"item","numeric-id":2848477,"id":"Q2848477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963910$FE3F56B6-F437-4F0F-BF15-9BCCBEE51A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07f09351f9541c93daf8196bdd71996b8de2280a","datavalue":{"value":{"entity-type":"item","numeric-id":784153,"id":"Q784153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963910$9F75D7B6-175F-49B6-83AB-BF2D118B272A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2963910$0A3A6424-F59D-4362-84D4-3FC3BD34524E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963910$0E82E76B-BF1F-435B-AD51-453BB8C5DB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963910$FECD6084-D3CC-4CE6-8498-77BB9EDC9F03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e80f66271e6410837fce9728b2a4cab6716e4fb","datavalue":{"value":"6687763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963910$D98DBDEF-1154-4558-98C0-853AB54C6F64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b7a0775053ba0f38ffed2ae3d075d715f549a2","datavalue":{"value":"authorization logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963910$A94AC4C3-05E1-4088-BCE8-7C7C870108D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963910$C139E03F-0441-4F34-B417-4C6FE8F648D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963910$0CEA581F-69B9-4AE7-9520-73C38C9C48F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963910$5D1B3323-8195-4A20-B236-8F442F8CB438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963910$19A3E807-9406-4DEB-9A19-28F6189A067A","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":"Q2963910$806530B9-1D97-42E3-AE9F-20F002658EFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1df12a28dfd779742a64c58070d3f1f32106ea0a","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSTTCS.2013.163","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963910$67AB0694-2A1D-4E25-96F3-149A7F4DB5FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c743adde10af848ff6a333a50cde4e01acbe269","datavalue":{"value":"W2244480826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963910$4773F6A5-859E-4F26-93CF-BE75E6139B14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8addc9cfdb6fb9d1e57874def47409b92946727","datavalue":{"value":{"text":"Primal Infon Logic: Derivability in Polynomial Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2963910$7DC528AA-2A55-4302-83BE-4B867AEEE7AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b342953d7fc3e7cc83ddfcc9b23e370e8faf6fe","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2013.163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963910$9E144BBF-7A28-4876-8169-7887D62B250C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e1660d3e8cbdeb6a1dec507d6e268dd14f1348","datavalue":{"value":{"entity-type":"item","numeric-id":4928774,"id":"Q4928774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c13ef7ecb5db5b94ef3925345923033607465df","datavalue":{"value":{"amount":"+0.8875886","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":"Q2963910$2A7D6674-DEC1-4E33-BBEE-A7F6CA05040D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61a1c05d97798b2ed2ad499aeaf3d16ebbbf2d9","datavalue":{"value":{"entity-type":"item","numeric-id":4360109,"id":"Q4360109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5803c2b18bca7681027cce22a418878fef5dfef0","datavalue":{"value":{"amount":"+0.8826934","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":"Q2963910$798FA6AF-ACE7-484C-9D8B-B5B35C34D590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"479be39d76aeaf68018b7fb1b0b01d9342717951","datavalue":{"value":{"entity-type":"item","numeric-id":3190165,"id":"Q3190165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3cd4ac7d0ac9f14cf4465eafe204cb78736d86","datavalue":{"value":{"amount":"+0.8803705","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":"Q2963910$398821EE-E643-43A4-B766-CFC99B96CBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1db89c0ff544fe024581ccf7a044fa76e29c1f1","datavalue":{"value":{"entity-type":"item","numeric-id":2339598,"id":"Q2339598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250920be7b7dd4c8f6921a41753be73fd720cfe8","datavalue":{"value":{"amount":"+0.8799701","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":"Q2963910$14735ACD-B834-44FB-BB9D-FEB0A2EAC4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d211143a26989dee2e168f4ecb882f905bdb07c","datavalue":{"value":{"entity-type":"item","numeric-id":1989326,"id":"Q1989326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53aeeaf279ea98d476b9eacec13079bcb4d82ceb","datavalue":{"value":{"amount":"+0.8681555","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":"Q2963910$46F22E5F-6C9A-4AF7-8B23-927365421924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d5faf6c997b2926301bf09e30fcfbf356cfcc4","datavalue":{"value":{"entity-type":"item","numeric-id":2900510,"id":"Q2900510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f785fc2c7c326a240987ed293d8ed13d5e75fd4b","datavalue":{"value":{"amount":"+0.8669788","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":"Q2963910$E895A9D0-7EFB-4489-AFE8-11592DEA2B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba1b4e166d360460b752c8c5e0bf2ddd6a8a43a0","datavalue":{"value":{"entity-type":"item","numeric-id":1411664,"id":"Q1411664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7ad8725acc81645674d295494bcdf2affb7bdd","datavalue":{"value":{"amount":"+0.866317","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":"Q2963910$77ABC4A9-231D-46CA-AA17-E5FF4181406F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b1401f46c30d814294c77bb43f6baa039cf4da","datavalue":{"value":{"entity-type":"item","numeric-id":4371994,"id":"Q4371994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2791d88b2682a3885b4ab18e7e3912b33ea358ed","datavalue":{"value":{"amount":"+0.86358154","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":"Q2963910$05086F8A-5627-47D4-AE97-5723CE2A60D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26c9479ca1b86cd392f1c5de9b62573b9c00c93","datavalue":{"value":{"entity-type":"item","numeric-id":3769992,"id":"Q3769992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39f8ea1ed3f604e6547f107dcaf2e4814b7f758","datavalue":{"value":{"amount":"+0.86104304","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":"Q2963910$0C5FAA0D-64B1-4243-96E8-BFB7A35DBECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597c3fac56289fce62c29a176a72264ebd35f91f","datavalue":{"value":{"entity-type":"item","numeric-id":3419785,"id":"Q3419785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78168f3b14acab675b05ee5c37a517693d3ed794","datavalue":{"value":{"amount":"+0.8609149","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":"Q2963910$1BC3DFB2-E8B7-4762-A5B9-09402A37915D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Primal Infon Logic: Derivability in Polynomial Time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Primal_Infon_Logic:_Derivability_in_Polynomial_Time"}}}}}