{"entities":{"Q596037":{"pageid":597813,"ns":120,"title":"Item:Q596037","lastrevid":48313195,"modified":"2026-01-04T08:22:01Z","type":"item","id":"Q596037","labels":{"en":{"language":"en","value":"Phase semantics and decidability of elementary affine logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2085478"}},"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":"Q596037$ECDEEA3A-0522-4DA7-A35B-E9EC87A04168","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84b2f21e559ecc7fdeb69b00f38f1d0797f22e6e","datavalue":{"value":{"text":"Phase semantics and decidability of elementary affine logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q596037$81257115-509F-433A-923E-5A6E58D2D958","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d73944e51475a23f1c7bc03d748a7bee0863976","datavalue":{"value":"1047.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596037$B57977E5-CA6A-4F03-A682-D0910AA67991","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$0E3A5A12-404F-4836-9084-78C2E513DB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$43336A8F-8527-4F49-816C-92AF4BBA9A48","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":"Q596037$901ABC57-172D-43B0-8BBA-CC00DBEF9C71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e0adf53a19cddd0f150137b2408eb7868ef6930","datavalue":{"value":{"time":"+2004-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q596037$ED92E716-4931-4FD4-8E9B-F7282AE7AAF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596037$F0FDB539-851C-41AD-86A5-18BE8CC5C1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596037$8B3393EB-0043-4537-9A2D-D574DB3D933D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596037$7E16F699-C3AF-4230-A4CC-AFC2BF5338D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596037$0B06E139-B188-4C5B-B940-41E94BB33E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596037$D0BE2B8E-0EC8-418A-B04D-669F5A8ED145","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"008c99074ff19d4f2af892a2f8232da920c46f4f","datavalue":{"value":"2085478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596037$A2423DE3-5E39-4B38-B661-09395F3DC68A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7142bd9ebf78435d828f9b9d514b873f89afbf6","datavalue":{"value":"Linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q596037$8DC08FDC-70C1-4C99-95EF-FE52E5BDD5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49773c14d9f9a983d283e4b03f6b9551979faf20","datavalue":{"value":"Light linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q596037$6C2EB6CF-E1D3-4774-8CFE-9DE0AA8419B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1c7cc0043c24784e02ddf62efd1c6295a3cbd29","datavalue":{"value":"Soft linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q596037$C01B2C91-E287-4ABA-A8DB-BEFA883DD55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d3b10ca49be4dc87f700740ab156ac32e34256c","datavalue":{"value":"Optimal reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q596037$306152FB-BA7F-4F91-A183-0727E6036068","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":"Q596037$672AF0AD-3646-4936-A96D-6DB6693ED025","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"549a8f9d2a2de930fd4e6950ea9a915e213f2fa8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.02.037","type":"string"},"datatype":"url"},"type":"statement","id":"Q596037$34C2D19F-266A-4BA2-932C-B3C8DB75F12F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ae81579392843fd31b5f30b968c8f4075226bab","datavalue":{"value":"W2070294436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596037$CF3C2DCF-8CD5-40BD-B1D1-4C74FD1EB67E","rank":"normal"}],"P223":[{"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":"Q596037$CB263C23-CD8C-4C31-8667-E555A01BA96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed8bd072d0853e26dabee91c2bdfc6fb34fdd0a5","datavalue":{"value":{"entity-type":"item","numeric-id":5178845,"id":"Q5178845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$C0CDAE00-483A-458B-99FA-1C2D44E7DB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef793cd341d40ecfedab2b760bf19a2d788dac7b","datavalue":{"value":{"entity-type":"item","numeric-id":5397484,"id":"Q5397484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$C32BD78A-5DFB-4467-9988-B7A34B067AF3","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":"Q596037$3D37B406-CC9A-427E-AFBC-26863A277422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01692cdfc5dea3cf3a75f2723a38a21a79d40ab","datavalue":{"value":{"entity-type":"item","numeric-id":2778817,"id":"Q2778817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$414E60FA-68DA-4793-856F-498B97872DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e654b3e3c8b19d9eca557b359bca03bb0eca8e1d","datavalue":{"value":{"entity-type":"item","numeric-id":4457451,"id":"Q4457451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$A31795BF-4444-4A10-85B7-CD480157B106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b2380b35de576e2f3b9aec23341ed5906f3105","datavalue":{"value":{"entity-type":"item","numeric-id":1401946,"id":"Q1401946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$0CB7726B-1DD3-4C46-91B1-CB92D06A7D34","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":"Q596037$958EEE48-B7B6-48D0-97F3-19E14BA72728","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":"Q596037$7AE937C3-E9E7-4F47-BBE1-62EFA306F1E5","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":"Q596037$AF9877D2-3CDC-4AF2-B16B-427D71FF2720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cefcd52617bfea9a40369ded027e984d4ea542f","datavalue":{"value":{"entity-type":"item","numeric-id":1398478,"id":"Q1398478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$03C7737F-3D2C-44EF-A794-7BD2D36ED64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96120dcfffcd62c367fa8be441cf48d159c30c53","datavalue":{"value":{"entity-type":"item","numeric-id":1854403,"id":"Q1854403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$2442E8A3-AB1A-4BC9-A4C5-A197687B810F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de5a92891dc05a0b1130c4f428cc2540c07d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$E9B509CE-233C-4C29-B460-F11F6E894004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0e7966278c91118aa7d7d41fbd32b2365ea822","datavalue":{"value":{"entity-type":"item","numeric-id":1827397,"id":"Q1827397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$B77FE2EB-8427-4EA2-9055-CAF64FD5F175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$E8ABBC30-0E91-4505-92CC-2945F70CC335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eebdcb126c2a053de33545bd3e4688ccc3b0d15","datavalue":{"value":{"entity-type":"item","numeric-id":4222841,"id":"Q4222841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$E7165FBA-1FCC-4971-866D-74DF8205235E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeade2cfdcfcd253e188a74e9e8eaa51de1f1876","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$48EA0347-74B7-475F-BF61-45B6FB5807D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c47ac64788248a40d8543304d3dd3bc25cb13b","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$6192486C-A5D7-483F-8B46-F21984680AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e93ef4dc600baabf1caa2d6a4d97f42bc019d1","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q596037$81252726-3138-48BE-880B-7260F888FC27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfd922190dd7c594d3e42677de9664f1e4b0eaf9","datavalue":{"value":"10.1016/J.TCS.2004.02.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q596037$CF339EF9-96FC-4B4B-BDAC-BCBE34DB6BB9","rank":"normal"}],"P1643":[{"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":"c64e98a927595b51190084781f685281cf39cb6d","datavalue":{"value":{"amount":"+0.8292731046676636","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":"Q596037$1F34B5DA-C6AB-4E56-BB9B-6A30DED51CF4","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":"cea9bff70206f98387f492f164675f285260e7e4","datavalue":{"value":{"amount":"+0.8078200221061707","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":"Q596037$6C30E456-4487-4D21-9A27-672BED7E6C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bc586f957b1e9bab36119f54e0dd714ade3cc0","datavalue":{"value":{"entity-type":"item","numeric-id":987375,"id":"Q987375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea9bff70206f98387f492f164675f285260e7e4","datavalue":{"value":{"amount":"+0.8078200221061707","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":"Q596037$B1E4B39D-FAEF-4139-9A20-327EF3F0E843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8c6ce375027fbeb9636951f60f4b9b1d34a122","datavalue":{"value":{"entity-type":"item","numeric-id":1398478,"id":"Q1398478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b39a96a47e30e11368c1187589ba59d1cf2b01d","datavalue":{"value":{"amount":"+0.7917765974998474","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":"Q596037$DB925D93-2EE9-438B-8693-9D40A44DCF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3f35ea59237d1fa968a514d62ab6fd9d3703a2","datavalue":{"value":{"entity-type":"item","numeric-id":4681363,"id":"Q4681363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b39a96a47e30e11368c1187589ba59d1cf2b01d","datavalue":{"value":{"amount":"+0.7917765974998474","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":"Q596037$83015C29-5210-4B60-8658-60F676BE7833","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:596037","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:596037"}}}}}