{"entities":{"Q1960427":{"pageid":1971169,"ns":120,"title":"Item:Q1960427","lastrevid":47430133,"modified":"2026-01-01T17:52:08Z","type":"item","id":"Q1960427","labels":{"en":{"language":"en","value":"A PSPACE-complete fragment of second-order linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1387353"}},"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":"Q1960427$A7490C7F-DBBA-494B-87A7-FD8AB29334FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1556bc74ca9a532b830d78d863080b032554ad69","datavalue":{"value":{"text":"A PSPACE-complete fragment of second-order linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1960427$4ECCEFF0-168C-4511-B9DB-E66C9B647A57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6296f551f78f0e660e287d076fbac8806fda833e","datavalue":{"value":"0933.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960427$29D544A5-01B3-4230-9743-11067985D91E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55a0950132296bead9ff0d0e22bd19c3e0dd6e10","datavalue":{"value":"10.1016/S0304-3975(98)00315-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960427$B11371FD-D553-46D5-82B3-486B0749088E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960427$A5EF0CB0-C745-4C16-A105-CFBE40640F6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1960427$1CFC13A3-98C2-4D3C-AAF4-7BB40CB0790E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960427$9920A703-CDE9-4E26-9388-32269F57583A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960427$B9E22AE9-A4E9-418D-9041-638C71E0ADFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960427$EE903241-4B3C-4225-82EF-0BD3E7C61DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960427$7E6A5D56-886D-41C8-B076-FE8930DC2074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960427$291E5BD8-F9CD-4F93-BD9B-10AE36C6412E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ef32c3001ec7e7c0cc80ae4ed7a5b76b0343ac3","datavalue":{"value":"1387353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1960427$7D5B0B45-2C30-44A8-85A6-389048FC6C54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b855023b36a9b5878548b30b1667b580ddff5140","datavalue":{"value":"second-order linear logic without exponentials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960427$E24F94EC-397E-4CBA-B3CD-A817770C8A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960427$9D80E836-B466-4A29-9F62-BDB7728F5CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac20cf54223a04060c9272eceba8c3c77f160b9","datavalue":{"value":"fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960427$92CC4EBD-20EC-459D-8FBF-CDEFCB7EC978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e500f3c35c8400baabd3baaa245691eb2504f1a","datavalue":{"value":"inference permutability in proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960427$96605C03-710E-4B7C-97CF-769987D5F52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1960427$4601D5BA-13C5-4BC0-A295-78FA3216A5B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2e114da960e66084585eefdd4a3297121ee7837","datavalue":{"value":{"entity-type":"item","numeric-id":1272762,"id":"Q1272762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960427$9B892F70-244D-4FC8-B3A1-EA476BB8CBE2","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":"Q1960427$003B76EF-96C3-49A9-8106-D398F9EC3C61","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960427$21F4B7DB-7AC9-4C2D-8CE8-7107CFD5D043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a02959319f00ff4de524ae5ac1849e3ac13af8","datavalue":{"value":{"entity-type":"item","numeric-id":4501142,"id":"Q4501142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960427$2DBCD612-0C0F-4A8D-A4C4-8D6AA7B41F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e10d811ba2353d8a61d15e121c0fa1ef3eee2c","datavalue":{"value":{"entity-type":"item","numeric-id":1342248,"id":"Q1342248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960427$F648C202-F458-4E0B-9C8B-4CD49C987B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f22a5f7a3b84f7df87b9d53ef2adac1522420762","datavalue":{"value":{"entity-type":"item","numeric-id":4894725,"id":"Q4894725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960427$4AEC0B8B-634C-4EB2-8A59-112A06E94428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb84102d559fd7a0d70d66cd908e0bdc3f41ec08","datavalue":{"value":{"entity-type":"item","numeric-id":1917079,"id":"Q1917079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960427$53867ABA-9E2E-476F-9BFF-253DBCBE2C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c278a7d0fb63c0e498b5aa09259db2faa307873c","datavalue":{"value":{"entity-type":"item","numeric-id":4395614,"id":"Q4395614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1960427$2A6D68C7-DE95-4D7D-9180-425740FB0E0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e918409f591a68e86fdecb9204a8895aabd1c86","datavalue":{"value":{"entity-type":"item","numeric-id":4376072,"id":"Q4376072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e804c666bf3a139adf4ef12ab3c71dd707bd8ac3","datavalue":{"value":{"amount":"+0.9281062483787536","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":"Q1960427$CFFD0EF2-0BDE-462D-8DAF-8C9CBE6C8878","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":"55ee8d882fbe5c785f013c38d3efee03d33175a9","datavalue":{"value":{"amount":"+0.8295193314552307","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":"Q1960427$DF6190A0-EF06-4054-BEF3-AF692B001257","rank":"normal"},{"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":"ae9aed3f7cc5cecb4d7c3745a677ffa344d9da82","datavalue":{"value":{"amount":"+0.8182678818702698","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":"Q1960427$CE9FAC89-8B0D-44AB-B034-50CA943AD88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612009c50b8ca7483779822191c877b6fdb39692","datavalue":{"value":{"entity-type":"item","numeric-id":4842540,"id":"Q4842540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae9aed3f7cc5cecb4d7c3745a677ffa344d9da82","datavalue":{"value":{"amount":"+0.8182678818702698","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":"Q1960427$102332FB-9DD4-4CE8-B371-E652198F1C0D","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":"c7a1b914ce0abeee917b0e55ca71e0a3b6bbfe02","datavalue":{"value":{"amount":"+0.8090514540672302","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":"Q1960427$BA900A02-7CCE-4C08-B234-A50BB4D507D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1960427","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1960427"}}}}}