{"entities":{"Q1648864":{"pageid":1659605,"ns":120,"title":"Item:Q1648864","lastrevid":53135639,"modified":"2026-01-24T07:12:01Z","type":"item","id":"Q1648864","labels":{"en":{"language":"en","value":"Direct encodings of NP-complete problems into Horn sequents of multiplicative linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6900723"}},"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":"Q1648864$7ED5FAB7-1E51-4FD0-8C40-616EB3A661EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93891aa48153f136b39647aef0d428c9f19664d6","datavalue":{"value":{"text":"Direct encodings of NP-complete problems into Horn sequents of multiplicative linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1648864$0BFC073C-810D-4BB0-8ED8-6DC4E93C9812","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eff146f4d355320249724f31d8c217fbbcf52091","datavalue":{"value":"10.1007/978-3-319-90686-7_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648864$E1434052-D42E-4A91-AAEE-00411279105E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3fbe021fe8a37c72cf77df6028e0dcbf50af45","datavalue":{"value":{"entity-type":"item","numeric-id":601134,"id":"Q601134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648864$FFB84C28-FEBB-409C-8C45-7BCE91093274","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20fc1ac084e12d18c0e5ff948cffdf2d3bf183d6","datavalue":{"value":{"time":"+2018-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1648864$111A9455-950E-4445-8AF2-86574837D707","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648864$428E219A-E108-4097-B611-B07198569A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648864$B504C5ED-A191-462D-9286-3FB3236B72DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ed4c43d93fd096e958c322efc0043447d68a681","datavalue":{"value":"6900723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648864$F13A2A9D-957C-48F6-8368-8C79EC48DEA3","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":"Q1648864$EF648412-77DC-43BC-ADBB-3B6559870E30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1b990c1fce2ebdb934f5a9c1abe21878319078c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-90686-7_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1648864$A1CAE029-4BDD-4D26-A229-AE676B64E672","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ca677e0eb76004f4003e8eea70309ce87d340ac","datavalue":{"value":"W2802667626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648864$D85E0ED4-F832-4D4D-B0F8-9FC831B36EEB","rank":"normal"}],"P1643":[{"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":"f643bd2feb3c3d05f2e1ede760b5fc988e40a136","datavalue":{"value":{"amount":"+0.79825758934021","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":"Q1648864$87F5E3FF-3060-48FC-8798-3081A4E346C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d96604730de5cece1c4fb1df83b2af00472c9d","datavalue":{"value":{"entity-type":"item","numeric-id":1337693,"id":"Q1337693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3969912bd8cc690ff23f07319950735bfdbfd93c","datavalue":{"value":{"amount":"+0.7431292533874512","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":"Q1648864$994DF06D-8917-4DA6-950F-C8D1FEDFE356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f64d40b2db1b98da9c78bb0b0458ccbd123ef157","datavalue":{"value":{"entity-type":"item","numeric-id":2723896,"id":"Q2723896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3969912bd8cc690ff23f07319950735bfdbfd93c","datavalue":{"value":{"amount":"+0.7431292533874512","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":"Q1648864$7790514C-AE67-40D1-B518-B262F87FA973","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":"f71717969db34b9c4fe78f020d987e7e6b4b8306","datavalue":{"value":{"amount":"+0.7402347922325134","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":"Q1648864$57B33A3B-B7BB-4C1B-88E3-C34591CF2EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e74edeef6ef0c36538750286afb323a446647d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2500488,"id":"Q2500488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e635148040133c7d71370ac51ccca7082f73f9e","datavalue":{"value":{"amount":"+0.7396286129951477","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":"Q1648864$B9578DFB-0591-4B1E-9BF4-C04B4B9DD0ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1648864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1648864"}}}}}