{"entities":{"Q1575865":{"pageid":1586605,"ns":120,"title":"Item:Q1575865","lastrevid":67908963,"modified":"2026-04-12T20:08:59Z","type":"item","id":"Q1575865","labels":{"en":{"language":"en","value":"Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495160"}},"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":"Q1575865$EE07AA33-8882-4617-AD34-8B108CB7A759","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a783d78368720ca00e24e18189b694c4879fa493","datavalue":{"value":{"text":"Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575865$922D8239-5E1F-4A3C-A13B-5FB04C80F6C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e612f1b33801fe16b1e128950d2901b91b9e3c4","datavalue":{"value":"0951.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575865$AE5BC9CE-CEF9-4D90-AE9A-437A9701BF7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50acaaa218ebd917555a50777d4228e469eed09b","datavalue":{"value":"10.1016/S0304-3975(99)00058-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575865$24766021-D749-43DB-99FB-0AF3FAB6F54A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575865$99DB7654-D5C3-428E-A5B5-9ACE39DAA975","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":"Q1575865$CCA991C6-A771-409B-9F76-0A096A25CA4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575865$A3BDEE6D-2F15-4B41-94F7-0AE9767C25EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575865$EFE74910-28FB-4FEC-9C43-C95C8E6D5BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575865$5DB8C651-9932-42D1-9F95-6BDB54D473D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d0eec8ad699defbd462fb3bb7414bf130107e0e","datavalue":{"value":"1495160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575865$C0403E6C-27CB-49FD-994A-C73337619BD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4378d1cd9d3156c2c23992c972f5935590e16786","datavalue":{"value":"first-order linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575865$FAD760F9-F156-40E5-AB01-274C543961C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575865$BBE91C20-5AE8-4C46-BBE9-5A49F5BA9BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"340eea5f83811671dac2df0cab6ff61cf3503799","datavalue":{"value":"higher-order linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575865$77A9EF63-2D78-49FE-AABD-3ED8797D5B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0330316506ca239cfff19d0e3df96793e84e6ecd","datavalue":{"value":"phase semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575865$24A2D669-4AFB-44A7-A8B9-CE34B8EF7C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c3d7f0725b35a486f7063afc4590435377de87","datavalue":{"value":"proof-normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575865$E9E443A5-58D9-4840-A519-EA0A8D498470","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":"Q1575865$F1CF6B5C-BF4B-43A1-8A3D-CCF578696005","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"378d5df08eaf05c0ddfac31f2d4806d348c29a80","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00058-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575865$1CC0D341-444E-427E-9E19-22B118B51309","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bae02bb515fd9f902120c33fd17b0f041f22012","datavalue":{"value":"W2024442214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575865$DE52BCAA-6B85-46E8-B428-9B039E710A47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8235d23e6d6d2cf5ce97f5110424a8673a3b15b9","datavalue":{"value":{"entity-type":"item","numeric-id":4222841,"id":"Q4222841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a867e01830763b124754665b6052c4e2256dfa6","datavalue":{"value":{"amount":"+0.941759467124939","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":"Q1575865$FAAA8FA0-3D49-442E-802C-D3EFBFF6F454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9802e8e091a110467094e11a81c45123341e4867","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b9259a0ecb1618f46c58ee7206faaee176fd74","datavalue":{"value":{"amount":"+0.8870162963867188","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":"Q1575865$97C3A341-769F-4A25-AFD8-EBF45111F8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6d9075c9e829d985d67493ee701c3beb72520e","datavalue":{"value":{"entity-type":"item","numeric-id":276260,"id":"Q276260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"410a906ba22b12f336931e005571e49b1feec0a1","datavalue":{"value":{"amount":"+0.7898216843605042","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":"Q1575865$F177C6F5-EAB5-40DF-8373-2F56045A67BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740cf01aab63b7c10edf99ef6abc131e8acb9bcd","datavalue":{"value":{"entity-type":"item","numeric-id":4222893,"id":"Q4222893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854d199b19949adcd27af3893c01c806660fc240","datavalue":{"value":{"amount":"+0.7770415544509888","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":"Q1575865$B479E034-9C4D-43CE-85FC-F4BCB47BEAF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Phase_semantic_cut-elimination_and_normalization_proofs_of_first-_and_higher-order_linear_logic"}}}}}