{"entities":{"Q4842540":{"pageid":6872120,"ns":120,"title":"Item:Q4842540","lastrevid":47341384,"modified":"2026-01-01T10:47:51Z","type":"item","id":"Q4842540","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 785051"}},"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":"Q4842540$6C0BF429-6DE4-42AD-9C1F-46FD397C6FB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a885f8fd912a8aec283bd0a4a33b913c0cc6edfe","datavalue":{"value":"0828.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842540$53DE8763-D15E-4D61-B940-963C012CE8FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"724c0fe85c46087eb00bbde5dd01b4d4c71887d8","datavalue":{"value":{"time":"+1995-08-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":"Q4842540$933E2033-30B0-4DEF-AA0C-61C9A68A0B0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842540$CFFFF85B-BE6E-4F94-991F-CBBF0FB114FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842540$36BDCAEF-4986-47F4-A61E-22A77FD6B213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842540$64FF541E-1A14-4960-8ED6-AD55F17523E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f20364c0e3013a2101f0abbedcaa98646f9587ef","datavalue":{"value":"785051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842540$7355F278-4FB3-4D5E-842A-0096FD8C83E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842540$2ADFC0C8-27B7-449C-BCA9-8D556BFDA9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842540$2D3BE4F4-044E-494E-BC09-A4CDF6BA38D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842540$7773B30A-B77F-48C6-B932-41322609B6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9ca4c74f2a1654c41dd63a805fadad56c0db56","datavalue":{"value":"fragments of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842540$213BA225-219C-4F13-B5E5-B5C32687AC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16284ece4670b3d7275c2ce344fa55e4a47741a5","datavalue":{"value":"PSPACE-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842540$1ED0AF12-A4DE-4C8A-84FE-9D539B056B9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842540$0ED38793-F027-4AA2-97A4-FA7B373B89E3","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":"Q4842540$2377C936-FD6B-424E-90D7-5A6E41B8D491","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b92e0c5e37d8649b02e898e82086aff0c3e28a","datavalue":{"value":{"entity-type":"item","numeric-id":4222837,"id":"Q4222837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d838c56d71d5eb31267bbd3c4acfee92b3534eeb","datavalue":{"value":{"amount":"+0.8178939819335938","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":"Q4842540$D63C76BF-4F19-4E1C-867A-5FE8F0DAA51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8f641b168446db4979291d1e0b857fb9a7914c","datavalue":{"value":{"entity-type":"item","numeric-id":1342252,"id":"Q1342252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f64ade406e0ba107b043b463b4813319564d051","datavalue":{"value":{"amount":"+0.8122269511222839","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":"Q4842540$9A11217D-F20F-44E0-A1D1-998598AB5FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c91a418a146cc22bea03ee44431a464e35382cb","datavalue":{"value":{"entity-type":"item","numeric-id":2866738,"id":"Q2866738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8c629925ad3703f4383335d77983f8f0eaa95e","datavalue":{"value":{"amount":"+0.8076443076133728","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":"Q4842540$139883A3-29E4-4704-A6D8-0EF26DFF4750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d946bf9fcc494ccbd14f146a37b6d4cfcd885f4","datavalue":{"value":{"amount":"+0.8031483888626099","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":"Q4842540$30B4621B-BA7C-4D94-8FED-DBFF8EE60776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5679fe4155603520a59fe92f9e0d25ec521a775","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e577e0c8346c3ed9ab8d908b4948a6c3dfcb0dd","datavalue":{"value":{"amount":"+0.803074061870575","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":"Q4842540$4C6E51F0-62B8-438A-A2A4-D6C29D77C98A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842540"}}}}}