{"entities":{"Q2500490":{"pageid":2511233,"ns":120,"title":"Item:Q2500490","lastrevid":49897024,"modified":"2026-01-11T19:43:42Z","type":"item","id":"Q2500490","labels":{"en":{"language":"en","value":"Geometrical semantics for linear logic (multiplicative fragment)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047259"}},"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":"Q2500490$3931786C-CC8C-4C25-BC32-BC847B8916B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0e957f093c2d351dbad7fc70646788cb882c21a","datavalue":{"value":{"text":"Geometrical semantics for linear logic (multiplicative fragment)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500490$9D52BCF5-A77D-4486-A033-C765699E1068","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84bc7cecb58ccceb6916d4e3a00ef4876cfda153","datavalue":{"value":"1094.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500490$936E0AC7-4691-445A-B714-020CB7C4313C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aea00a698ddc1b4092e36cceadca3d25ee7917ec","datavalue":{"value":{"entity-type":"item","numeric-id":392295,"id":"Q392295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500490$1BC2D4BA-28A2-4768-A75D-8C1045316A5C","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":"Q2500490$8B3F7BC5-AEEE-4EB8-AB53-9163073C974A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500490$AADFA716-DA90-4A39-8860-6422E1E3DCA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500490$58E650FD-390B-45EB-B2C2-D230460202D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500490$EFFEFE9C-F9C5-402E-88F2-1AA4258206DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3d3d2dde0dfb578591f6d799f3a1075d3c241de","datavalue":{"value":"53D12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500490$5FBEC32A-A3B3-486C-9C2A-2F715F00C66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500490$46818161-8C23-4644-87B0-C3B0F88D2D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b0907d61ba7c3027e3fa5a80db6c822df97f14a","datavalue":{"value":"53D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500490$DC171478-768E-4DF2-A967-D52E980E8438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7b04927d25f181fbb5519d19dd192f08dc88a591","datavalue":{"value":"81S10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500490$BBB508AB-9D3D-4B14-9D06-3104679DA17A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebbed29cecc3a490c72b2d89374904cb6cae4398","datavalue":{"value":"5047259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500490$FD9344E4-EBB1-4083-A3C0-5AEBB42F962C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500490$18518427-6591-488F-96EC-04E3D73A0606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef07b3138676aab0c29826b8e961bd9e50153980","datavalue":{"value":"multiplicative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500490$06714898-6F2E-4BB2-A352-5BED8E63B21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b15bfa8ceec023fbb83d9c671d5f0361ca475dcb","datavalue":{"value":"symplectic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500490$31A39042-636E-4FBA-9EA2-57F138879BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17d56536e9cc6232ebf179a22ef3af864aa0f7a","datavalue":{"value":"category of coherent phase spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500490$C4789998-1A59-4A72-8518-512CB7B2C73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8871ae8217c8d82fb9413387a70adb0e93852462","datavalue":{"value":"contact cones","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500490$D7038BD5-B19A-4F30-AC6C-688869DDB75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58aa9fdf0a8892dac104fb3b21ef63736a5a5523","datavalue":{"value":"symplectic manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500490$22AC1F7A-798A-461D-8CCF-30C84668F7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22f52d6bc8db571dc8c468e2f750fe8e65c82ac1","datavalue":{"value":"Lagrangian submanifold","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500490$1DC531DF-1E45-454C-A0CB-214073E58940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a7f4fea252d5ee489c180aaeee3ed5d8236e515","datavalue":{"value":"states of quantized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500490$BF8EF434-5583-4B6F-A2C0-E77F129AEDB9","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":"Q2500490$1C7F7988-2F10-448F-809E-823FFE29FC4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79a6487190c2db8a5a41dbb4a7463fec7d7f63d8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.03.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500490$EB56BFD2-B732-4394-91C3-E0BED5F8BDCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84cf9c9628dbdc1eeafc3f2f1acf89e8df6c50ec","datavalue":{"value":"W2063490623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500490$154202DB-A2EE-4933-B941-FE32F1B622AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d2bab7a6b0377b205bd1b0574d08f91413ec75","datavalue":{"value":{"entity-type":"item","numeric-id":2707380,"id":"Q2707380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500490$5A0FF20E-3D0C-4215-AD94-47DB0C1E0B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dca7c80e1cd5ae62682fea758b9ddcb372e9b5a","datavalue":{"value":{"entity-type":"item","numeric-id":1919529,"id":"Q1919529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500490$9E8F2901-5B4D-4F8E-B091-16F99A9C8C9C","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":"Q2500490$9485D78D-4955-43EB-B1DF-07E53977305F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500490$338C5729-4927-44E5-BBB9-514696B860E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7c8129c62fa78a6a79b206009659bebc14d905","datavalue":{"value":{"entity-type":"item","numeric-id":1575868,"id":"Q1575868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500490$6C1FADC8-EA97-4663-8FEC-380F939D650A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0dfdea9eee6a01cfc78a9d32d9738cdf3072c98","datavalue":{"value":{"entity-type":"item","numeric-id":5649693,"id":"Q5649693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500490$85CBB60F-A375-4192-8889-AF1BBC8E2C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58f5dd8fd9dcc59a01e5743a588146bfef12e64","datavalue":{"value":{"entity-type":"item","numeric-id":3785520,"id":"Q3785520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500490$3AAF68AA-933B-4BC4-81A5-06C03E7E21F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af52ebf7216ae83c85e9a98252a894fbab256410","datavalue":{"value":{"entity-type":"item","numeric-id":3917208,"id":"Q3917208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500490$33F13D23-1010-47F6-8E21-A6D4A8FD5F6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e11e3a7af495ff63ce0747508213f52e2c6baa1c","datavalue":{"value":"10.1016/J.TCS.2006.03.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500490$DD57E7EB-3EC0-4C3E-A2EF-4157832B31F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c84b9793f37db40e3cfec44addf02a6c6b2b11","datavalue":{"value":{"entity-type":"item","numeric-id":705538,"id":"Q705538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f410e5ff586e86ab543b3528834d83faa60c56","datavalue":{"value":{"amount":"+0.8862209916114807","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":"Q2500490$DC828857-41A4-42AD-8CF0-3F6CCD785A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a701017b85a2db76a29bf8a133d25557ba0649a0","datavalue":{"value":{"entity-type":"item","numeric-id":3371527,"id":"Q3371527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae72b6985c23d3caeb1b22e8265d97bfaa039ff","datavalue":{"value":{"amount":"+0.8009992837905884","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":"Q2500490$21CC83F6-B7A7-473E-B7E9-525EA875508B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80bfc17fcfd09e49538ebfb8574559243f55aae7","datavalue":{"value":{"entity-type":"item","numeric-id":2998726,"id":"Q2998726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1fb9e0b6a141d912aeeb5b8a95af5072fc1c3fc","datavalue":{"value":{"amount":"+0.7804669141769409","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":"Q2500490$6CAA274E-12DD-448A-9307-6601C0131AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13da0b5ce7f4302cd8c512dd1ba84b41a556861","datavalue":{"value":{"entity-type":"item","numeric-id":5466507,"id":"Q5466507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c5c71703fcb58a6a83f1d8d9995d519922df30","datavalue":{"value":{"amount":"+0.7505546808242798","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":"Q2500490$9FDF7E4F-1856-4BC3-B5F3-51669AB3AB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c56cd7475aae11a1d32b842f9297b5cc896482a","datavalue":{"value":{"entity-type":"item","numeric-id":4986180,"id":"Q4986180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd94882e0da537b9a54d672e46bbb1b7159a146","datavalue":{"value":{"amount":"+0.7497420907020569","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":"Q2500490$52DA5B6A-0E6F-4E5D-A9B7-AC44148383AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500490"}}}}}