{"entities":{"Q1192352":{"pageid":1203101,"ns":120,"title":"Item:Q1192352","lastrevid":66819186,"modified":"2026-04-12T13:04:02Z","type":"item","id":"Q1192352","labels":{"en":{"language":"en","value":"Decision problems for propositional linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 60753"}},"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":"Q1192352$90F28123-F3D8-47CD-B3F8-5445113BB3BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5be1394e5a4d194c6205a6bd809f6cb178683c63","datavalue":{"value":{"text":"Decision problems for propositional linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1192352$C15A7267-9F24-4F23-AA4E-F677F60DAD3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fafe96bddb28a0bde7fc751f6142ab69632240c3","datavalue":{"value":"0768.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192352$3948F063-9387-4B90-BAC9-DD30889B359E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ff0f45c988b05ffd65bebe5b415d21cebeee07b","datavalue":{"value":"10.1016/0168-0072(92)90075-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192352$D8F68AFC-3AE3-444A-8FE7-BB778F92C508","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f977cc4afe30a7452131df7ff084411daffbbaa","datavalue":{"value":{"entity-type":"item","numeric-id":532428,"id":"Q532428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$7BDA472D-2E6F-496A-AC60-C32E5E9964AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d0bbdada3c9be42b370691f727810aaafa99222","datavalue":{"value":{"entity-type":"item","numeric-id":1575866,"id":"Q1575866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$6558AE97-7991-40F6-9729-6A9AD3E887D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7b0bfbbcf5657a8b101c8d9d79e6747c41c0556","datavalue":{"value":{"entity-type":"item","numeric-id":276486,"id":"Q276486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$BA8B45E2-3705-4EF2-A71A-083389A6D1F0","rank":"normal"},{"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":"Q1192352$5D5B8A66-90CD-4E00-B7BE-D81427D11B89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$A925A5B8-B770-4197-967D-40AD9E9ABF3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1192352$0D1212A8-976B-42DF-86B0-4F4854F6C286","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"50344fcc885901346e3fe43cd94498081fbbe9a1","datavalue":{"value":"The main results are: full propositional linear logic LL is undecidable (a) and its exponential-free fragment MALL is PSPACE-complete (b).   The proof of (a) has three steps: 1. Consider a variant of two-counter machines called ACM: essentially, there is no ZERO-test instruction and there is a FORK instruction instead. ACMs have an undecidable halting problem, because they can simulate usual two-counter machines. 2. Any ACM instruction translates into a sequent of LL of a special form; to any ACM \\(M\\) there corresponds a finite set of sequents \\(\\overline M\\), called a ``theory'' in LL. Moreover, to an instantaneous description \\(s\\) of \\(M\\) one associates a set \\(\\theta(s)\\) of sequents so that \\(M\\) accepts \\(s\\) iff every sequent of \\(\\theta(s)\\) is provable in \\(\\text{LL}+\\overline M\\). 3. To conclude, one needs a kind of Deduction Theorem for the ``theories'' introduced in 2. Axioms are of the special form \\(t= \\lvdash C\\), \\(p^ \\perp_ 1,\\dots,p^ \\perp_ n\\), where \\(C\\) is exponential-free and \\(p_ i\\) is a propositional variable. Such a sequent translates into the LL-formula \\([t]=C^ \\perp\\otimes p_ 1\\otimes\\cdots\\otimes p_ n\\). If \\(T=\\{t_ 1,\\dots,t_ n\\}\\) is a (finite) ``theory'', let \\(T\\) be the multiset of formulas \\(?[t_ 1],\\dots,?[t_ n]\\). Then a sequent \\(\\lvdash\\Gamma\\) is provable in \\(\\text{LL}+T\\) iff the sequent \\(\\lvdash[T],\\Gamma\\) is provable in LL.   The proof of (b): provability in MALL is PSPACE because of cut- elimination (there is a detailed proof of cut-elimination for LL in an Appendix). To prove that the problem is PSPACE-hard, it is shown how to reduce to it the problem of the validity of quantified Boolean formulas (QBF). This is achieved by a careful encoding of any QBF as a sequent in MALL which is provable iff the QBF is valid.   There are also other results on the complexity of other fragments of (even non-commutative) linear logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192352$AE901489-C7E7-4ACB-A117-2F6863D00F5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192352$689D546A-DCD3-40E1-96F2-02CCA4EDF3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192352$E41FD4A7-3FD9-422D-947D-18D30F63DEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192352$A7E40E20-3EE2-4AD2-8327-7244E054F2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192352$DF415D61-F898-4758-8F91-AC97E55E99BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192352$16D610DE-F159-4FCF-95E4-7FED5437B679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192352$32CCE1D3-BD3B-4D62-9597-07B3EDA2F424","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee5cc328e77f251ce034ac28ad68579556b6247d","datavalue":{"value":"60753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192352$A0022F0A-591D-4E3B-BEBD-B0782A847FEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26327225f9aa0bd4a26f3364cf0eded4ba9a7f3e","datavalue":{"value":"full propositional linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192352$CFFE8DF3-AD4D-4935-A6AC-6F140939FBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab365d2ee207ea5e6589e4b5e43a4a2f1b332162","datavalue":{"value":"exponential-free fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192352$3A90489B-53B6-4E63-AF5C-CBE730CBC375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c31466644d2e1fe17007cdabfbd14e4a98879af","datavalue":{"value":"two-counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192352$9C4601AE-6158-4648-899D-E04E44660801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2385bf5cc575bcb5507e8587180ff2befc5f2257","datavalue":{"value":"sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192352$8CFEC0B7-3D3B-4387-A9AF-799CD3D0B06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192352$69D25A1C-CC75-4032-9694-52FCA4B1002B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2aae80144548b21f45948e74c570be9dd7fcd68","datavalue":{"value":{"entity-type":"item","numeric-id":354675,"id":"Q354675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$DDCDE190-4576-4A9F-B2E6-C82399DA6EDB","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":"Q1192352$E9E90EEC-476F-45C3-89A0-F1E058C8A4BF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"85f63718b34d438e6862bdd1a4b777910da68a7a","datavalue":{"value":"Q56340930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192352$98A8E773-D910-4399-98F3-E82B96502BA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c5d69077a040fca25f8fdb07add276ee88a0b6","datavalue":{"value":{"entity-type":"item","numeric-id":4279244,"id":"Q4279244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$EA62A189-B89A-44A9-867F-82E502578F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2426e99842aa598564f1d03f0e18e70e9f082a0","datavalue":{"value":{"entity-type":"item","numeric-id":4936120,"id":"Q4936120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$4B69795C-7200-42D5-AAC4-791973F07475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$48EB61F1-E6A8-4450-AB5A-75412CC8ABE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$76A2C989-AD18-42B1-9C35-1FBF8AA44E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8980b6993ce3666dca27b7f643b7108c1d208bfe","datavalue":{"value":{"entity-type":"item","numeric-id":1819937,"id":"Q1819937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$606C77AF-EF9E-4A53-9B26-B62BFF9AF21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$1A4130ED-BF7D-4EFE-AFEF-0BBC64E6694D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$F724788F-8FF8-49B4-98D6-F71DA71C179C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$849FE4A2-C700-4756-8946-7BD2FFAA2E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e5923c7bd6a86f8aad90888006ae6fa710622ab","datavalue":{"value":{"entity-type":"item","numeric-id":3819066,"id":"Q3819066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$62A93259-DABC-49B0-9B7D-2AF369152843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f81677e6c7689d372d059212f4f6d2e31315c","datavalue":{"value":{"entity-type":"item","numeric-id":3824307,"id":"Q3824307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$79E44191-D74A-4A8B-B962-938D9B89DC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$486DCD48-BE3F-47E9-AAF0-720F8CE8634A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$3AD6735A-FCE8-4F1E-BF50-E8E55C68CBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$43B60ED5-EC61-4787-8F17-E257346FD2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$A40BA30E-3E77-44B9-A046-A84370520E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f353e97938040ada5b04d78e18191e9bca457854","datavalue":{"value":{"entity-type":"item","numeric-id":1066880,"id":"Q1066880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$BB043AD8-FB7B-4BCF-A22A-2816F421D84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0cef3710adbd86fd4521d1c8531cd34e84dd13","datavalue":{"value":{"entity-type":"item","numeric-id":1105351,"id":"Q1105351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$491F293D-5F5C-4E43-B6CA-EF7A216E4B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$F2C1949C-F837-497E-A56E-2E616C03180F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1950b2f7ea4f55b053fe30cb31fae70c4ce589d","datavalue":{"value":{"entity-type":"item","numeric-id":3848975,"id":"Q3848975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$D1C9E1DE-228E-4654-8778-FCFA5A2ECCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6824df6dd0be7cd16493b5788b39032747abfe1c","datavalue":{"value":{"entity-type":"item","numeric-id":5096267,"id":"Q5096267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$7C12D82A-33B2-495A-AF45-8C8CEE23A4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$8A7FDD90-C23A-420A-B6A8-8E5AD33EFC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3959ffb868545a66d56438fcd6e21698cad3375e","datavalue":{"value":{"entity-type":"item","numeric-id":1060848,"id":"Q1060848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$6C88398A-CA8F-4BC2-ACA0-4CFF43F8B78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$09D3881F-BB2C-43B0-B022-AD18CB282F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84339eb1b9200fd0bfaec4876ec88a12251ced16","datavalue":{"value":{"entity-type":"item","numeric-id":4919632,"id":"Q4919632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$29978892-E769-404F-8AB6-16AE0551DE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e420cfdbd91416679cc1e146b4d18d6bbefee8a9","datavalue":{"value":{"entity-type":"item","numeric-id":4712651,"id":"Q4712651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$91855D31-7B54-4B3C-BD78-73E26495AFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842b56d1e792f42e670c8d166b3e57b0abea925c","datavalue":{"value":{"entity-type":"item","numeric-id":3703869,"id":"Q3703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$22EC774D-2F50-4550-BE12-4C65311C344F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192352$C5B002D0-F57C-4BA9-9F10-B7E2F139A0DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d453e167d37e1e20fa09e1290daa189c05b307","datavalue":{"value":{"entity-type":"item","numeric-id":1917079,"id":"Q1917079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b7cb161b2b5ec2cd5431e69b783788c7e4ef42","datavalue":{"value":{"amount":"+0.8558270335197449","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":"Q1192352$07A94845-2A78-4152-A42C-0A4F6855529F","rank":"normal"},{"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":"e6b7cb161b2b5ec2cd5431e69b783788c7e4ef42","datavalue":{"value":{"amount":"+0.8558270335197449","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":"Q1192352$27EC34EE-70EE-4C52-89F8-2D97170FC659","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":"2729c81453e092df4aa831ddcf38fbccc83b2aa6","datavalue":{"value":{"amount":"+0.8435856103897095","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":"Q1192352$E9956303-B82C-42A8-9E9C-01FACA864C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6e803927fcec91b74f7451d7b1a8daed72ba11","datavalue":{"value":{"entity-type":"item","numeric-id":1342254,"id":"Q1342254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2729c81453e092df4aa831ddcf38fbccc83b2aa6","datavalue":{"value":{"amount":"+0.8435856103897095","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":"Q1192352$D7339A41-E2A8-41BF-B9F7-9AA9C53DB785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e6a251ab016feaa4137e4afcbb632f48c6b26a","datavalue":{"value":{"entity-type":"item","numeric-id":4395614,"id":"Q4395614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bbeef8b958651e0d1b88f8bf1e443f910d2ccfa","datavalue":{"value":{"amount":"+0.8298404216766357","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":"Q1192352$240A1B4B-7B75-4DB9-B3AE-873F171BBCA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision problems for propositional linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decision_problems_for_propositional_linear_logic"}}}}}