{"entities":{"Q3638260":{"pageid":5668166,"ns":120,"title":"Item:Q3638260","lastrevid":80868938,"modified":"2026-05-06T17:11:08Z","type":"item","id":"Q3638260","labels":{"en":{"language":"en","value":"Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574324"}},"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":"Q3638260$F3BF9ED1-7B52-4C61-8863-EADD2B23503B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7ef3d8a0b0e86faa8033177e747b96bfcdcb6af","datavalue":{"value":{"text":"Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638260$C8F796D8-4D20-4F56-B4E2-FBEAC14A7FB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8e17a0cd72b4b406f99c2b387a267e9ffb44cdd","datavalue":{"value":"1246.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638260$AD97DEE5-9E0B-4857-A07E-D61C268C29DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5707f48e70b3df6d48ad79ae0bec621ef06694c2","datavalue":{"value":"10.1007/978-3-642-02444-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638260$B353BC37-5170-4026-A094-B8448A837AC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7fe2e34ceb1a5a0fc819d5b27ac5700ee0e0306","datavalue":{"value":{"entity-type":"item","numeric-id":737108,"id":"Q737108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638260$41A9BD3E-DE2E-4E47-9275-587BC1ABA15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3790464f24cdb9bf36869a71e011a3e6f54b5f05","datavalue":{"value":{"entity-type":"item","numeric-id":3182937,"id":"Q3182937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638260$4BD2A67E-150B-4D39-95CF-3E7FE19EE12B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638260$5AA6BE85-0F6C-4235-AFD1-69D74EAF827A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-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":"Q3638260$3A5F6431-2A49-4D4E-AA8D-2E3A5F45B260","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638260$75A0E651-9276-4E5F-9886-E3101ADA1B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638260$F34F8500-1257-43A2-9903-92A0691CD2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638260$0E003605-3523-44AF-B21B-16632F7110D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638260$3CA7EB1B-D21B-42AF-9BD8-480E7285A334","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88fab4487ebd1d3074b083316d4768056f1c81f6","datavalue":{"value":"5574324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638260$2F997B8F-5BCC-41EF-AC36-1849A27BEBD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638260$E9B3D797-47E5-4E62-BEA4-69091BA8E178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410d0b0ba76fd55f4991d8e4fe518dda310a6621","datavalue":{"value":"structural proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638260$E296767C-6FD8-4462-AA3D-4BA514718DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638260$B0ADBB23-6D59-4A3B-A0E1-4D3092A9D160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49ebb629786f49e8d7b2785ade14f8bd21bddc","datavalue":{"value":"polynomial time computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638260$6801276C-A4E8-4F05-B625-3FAEF945504E","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":"Q3638260$36AAEFF0-92D6-4888-8C3A-E48E158506CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba706dee2a1b227e47b5b9636ec1bfa12a2d9383","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02444-3_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638260$8281627E-2860-4EDF-8881-9A2E6C5D2868","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b40beaf0982ea76145da80905a762b10c4436a8","datavalue":{"value":"W1594324732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638260$79CF277E-6285-4538-9D8F-F812E43B96AB","rank":"normal"}],"P223":[{"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":"Q3638260$4AE62DE2-BE0C-435B-A830-5F1918569B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c5f7f41023c17a654a9c115ffa0acebf3cea74","datavalue":{"value":{"entity-type":"item","numeric-id":5738953,"id":"Q5738953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638260$022FF604-893F-4AC6-9929-8CA907CA0DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638260$BDC07F23-553E-4982-AB8F-407B7726192C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb12e3baba400e4eba712a0627891a5f4e28a07","datavalue":{"value":{"entity-type":"item","numeric-id":3142166,"id":"Q3142166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638260$E7184AF1-F8B3-4192-AC43-56C542A749E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0633baa2c22ddc2ddf3c89da84d2dc9ec96eb60","datavalue":{"value":{"entity-type":"item","numeric-id":4850553,"id":"Q4850553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638260$1004ACBA-0F47-4294-9419-78A763ADF20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb05069087a78c39f72c59e5efc46b5f8a45f9b0","datavalue":{"value":{"entity-type":"item","numeric-id":1044841,"id":"Q1044841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638260$7B0E0184-CAC4-462C-8FA2-8EB7CF261616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2935c4b500510e6236922988f2719b77d5497a","datavalue":{"value":{"entity-type":"item","numeric-id":4286223,"id":"Q4286223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638260$6F22DCE1-B06E-4CB6-A8E4-812B0FBE3AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d45b900e02fff384611ba003c187022d914323","datavalue":{"value":{"entity-type":"item","numeric-id":4842974,"id":"Q4842974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638260$B816A357-E0D1-44A2-A55A-30062EC420E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe7e76911713a7dd839db3253fb0238dd3c60cd","datavalue":{"value":{"entity-type":"item","numeric-id":1827399,"id":"Q1827399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638260$15870D49-3D11-43ED-9DD6-680BE8D38C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4ac72cad90d1fcab7b780adfd3ca8a57f7425c","datavalue":{"value":{"entity-type":"item","numeric-id":1401943,"id":"Q1401943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638260$CA7D9428-BE60-4D56-AB12-D672ACD76365","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12c271a82b39c9dd208afb47c3810759329abe4","datavalue":{"value":{"entity-type":"item","numeric-id":5747634,"id":"Q5747634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f61b3b6975d5d8693dda649a5a6f7ebc953882","datavalue":{"value":{"amount":"+0.8343634009361267","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":"Q3638260$DD2DE600-3FBA-4E66-A118-5C46F0635164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5af3fa676c1ba769cbfa13592f0004fd1096c45f","datavalue":{"value":{"entity-type":"item","numeric-id":2343125,"id":"Q2343125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"901e21a76e3d429ce03fc31b1fb4d07bc46def2f","datavalue":{"value":{"amount":"+0.7663244009017944","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":"Q3638260$8D02B334-51E1-46B2-8462-E2D12ED0F68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c1a7a170ef22a12126d4c07d61b87f67a2de77c","datavalue":{"value":{"entity-type":"item","numeric-id":1850954,"id":"Q1850954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c669195bcd77af2085915b78eec387f2eba49e1","datavalue":{"value":{"amount":"+0.7489780187606812","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":"Q3638260$82588367-5A2D-4D40-83D4-3B71E3ED1179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90cb267d11e24349bb9f2dfd2f5edc94b76cae13","datavalue":{"value":{"entity-type":"item","numeric-id":1044841,"id":"Q1044841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bccb618b9d9fd46f89d3c2d732294a031854388","datavalue":{"value":{"amount":"+0.7395935654640198","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":"Q3638260$DF949030-D812-4199-971B-EE7BC003AFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98164b1b7c036856a081800433191ed6cd02872a","datavalue":{"value":{"entity-type":"item","numeric-id":1640980,"id":"Q1640980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec4c7ca2a7f85b21bc99ef92e3cbc0e8b2b5caf","datavalue":{"value":{"amount":"+0.7185565829277039","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":"Q3638260$40636532-2B7D-4549-B374-18A74130D43F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_Complexity_and_Expressiveness_Results_on_Multimodal_and_Stratified_Proof_Nets"}}}}}