{"entities":{"Q4944927":{"pageid":6974509,"ns":120,"title":"Item:Q4944927","lastrevid":47467063,"modified":"2026-01-01T20:03:58Z","type":"item","id":"Q4944927","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420859"}},"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":"Q4944927$92E8FF54-3A76-421F-8EA4-1D2DB832FB4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cf8c2a6ea150b6c7e2a943c6adc074f6c87de60","datavalue":{"value":"0949.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944927$2C9F4956-B22C-46A8-A3A7-9C4B384846E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944927$14E62E04-B202-44F0-AA98-51214884D271","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31dc98a3522cea06def52b76cde8003aebdf2e71","datavalue":{"value":{"time":"+2000-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4944927$EE854E5D-1F61-49FD-98B3-556CA20DEF49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944927$7CF67736-6B18-4E9F-965E-6AA81334F0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944927$DACDB24D-9525-41FC-855E-AFAD014D45E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944927$2DF65144-4653-438E-9D25-B4137CFC57BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944927$47DB8AB5-2E4C-4CF7-9842-6712BAFE6103","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3646cf33ff9dbe301324e9b4d9b5e97227cadc8","datavalue":{"value":"1420859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944927$A1DA1DD5-A730-424E-A1A8-5A42F3FF210F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5793a3af566b2aaa17c4e66a419f823b492867e","datavalue":{"value":"complexity of decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944927$E6A94035-D358-493F-9EBE-6BF22E984BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ab61486d50798346e8b8e6498bdfb93b83400dc","datavalue":{"value":"linear logic with unrestricted weakening rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944927$1324CF4D-F57D-4EEB-A4DD-035E996D4138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944927$DA0630EF-DEFC-4AC1-B809-B36998B27022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944927$849177D3-CEC9-4041-98E6-C1B68856465B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0aff098826629191729fc44d4fd96272699e0b9","datavalue":{"value":"propositional affine logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944927$E7A3B398-5EE3-458A-A271-A51E42AB0F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944927$FD8C7EAD-4D23-48FB-BD4A-7891804C1B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944927$DAC903CD-1524-420D-ABD9-B147FD14FA2F","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":"Q4944927$6A036A2C-5B4F-44A8-8634-3EA643E36A0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aec8e75eca13712bfe24a52de7e4f02098fe8c3","datavalue":{"value":{"entity-type":"item","numeric-id":1854403,"id":"Q1854403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266c4fd7115fda17cd61b7625ecd81979b0a111a","datavalue":{"value":{"amount":"+0.8270598649978638","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":"Q4944927$F1A9B9AB-6B5B-48CF-9FBA-28DF6C2AFE55","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":"72c8b638a6cfed45a68993632db962359c3f2d11","datavalue":{"value":{"amount":"+0.8172324299812317","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":"Q4944927$2E063FD7-610A-436B-AC44-3A2EDA19286D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccf4275dbfd7556cddf3ff0f425e51bebb5537e3","datavalue":{"value":{"entity-type":"item","numeric-id":4842970,"id":"Q4842970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e1f7af674482264eaecb01703e2dfb7dc4570c","datavalue":{"value":{"amount":"+0.8150993585586548","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":"Q4944927$B849B010-D71B-4C61-BA2D-C8B0EB2141F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a1a12c1e0a5a77e2f0e3ee42f30fdeb4e0ae403","datavalue":{"value":{"entity-type":"item","numeric-id":4948542,"id":"Q4948542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d3ee80c911b30d596a461eb4d56d2c964eeecf3","datavalue":{"value":{"amount":"+0.7783700227737427","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":"Q4944927$2698FB13-0D63-45D8-9A5F-EC76BB9B941F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a2bba9cb1c5f07e34ee695748cd5efd172ade2","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d3ee80c911b30d596a461eb4d56d2c964eeecf3","datavalue":{"value":{"amount":"+0.7783700227737427","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":"Q4944927$AE4943D1-6F3B-495A-B530-6E21E7A0FF1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4944927","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4944927"}}}}}