{"entities":{"Q418011":{"pageid":419778,"ns":120,"title":"Item:Q418011","lastrevid":61692396,"modified":"2026-04-11T01:00:29Z","type":"item","id":"Q418011","labels":{"en":{"language":"en","value":"The Scott model of linear logic is the extensional collapse of its relational model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6034863"}},"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":"Q418011$068793AB-5903-412E-A921-E1C945BF9603","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"126e549f8e874e3fd599b5e8d8974f3f618d8a2e","datavalue":{"value":{"text":"The Scott model of linear logic is the extensional collapse of its relational model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418011$7D0B40C7-865E-49FA-97D2-466DAA097B15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07c7311c890bb8989abe4ea8bf40226c9537f4a8","datavalue":{"value":"1241.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418011$4FC38F7B-EBD6-434D-9B33-4A5ECB10B756","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$9D9DB7B8-2D37-4F6D-985F-98985F0DA5B6","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":"Q418011$A07FD9FE-F78B-43E0-AAB6-BE1FF10601F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca73c9fd6ed6faae5f9d9115ce0403eb94189576","datavalue":{"value":{"time":"+2012-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q418011$A3EC337A-4531-47BD-8179-56465AB71C38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418011$8706A983-FFFB-4AEF-984E-631EB39180ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418011$E2C3B0C6-1466-420E-BB88-B2E12F1831FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418011$4EFDF831-1178-4175-9265-60278B847C4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10b456cfbc9ec847af795787265ab9723e15f3ad","datavalue":{"value":"6034863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418011$B953968C-7933-4C56-91E2-C99EF7E24F29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q418011$3654C99B-6771-4CC6-86D5-AF16B464CE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q418011$B65441FD-D397-4CEE-98DE-BA71B9A51D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q418011$6291874C-F6B1-4581-8447-6C35B3F9AAC7","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":"Q418011$811D5B14-8342-4877-B70C-E8C89DA435E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cac25e6a7ccec5a453a12a0e6bba9c00e5be130","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.11.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q418011$707DC1FB-91AD-4DEE-80CE-8BD4BD9B2209","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45acf4728dcdced51bb8cc3725db86537e8ca2f2","datavalue":{"value":"W2072411754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418011$788517C7-E49D-4271-B07E-00EB0E60C5E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe77a700023260bc113a0d39c587da42e7480a9f","datavalue":{"value":{"entity-type":"item","numeric-id":3506860,"id":"Q3506860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$4CE72B61-1351-4CDA-BB46-BD6CA3202004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aacca1bae93e3371c483c354bb7d19879fee0ea","datavalue":{"value":{"entity-type":"item","numeric-id":3411960,"id":"Q3411960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$FC4BA793-BC46-49CE-AFCB-1C60BDD84F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c65688837f3fe5e8a2a04338ec66a6a3861e52d","datavalue":{"value":{"entity-type":"item","numeric-id":5939845,"id":"Q5939845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$D2A1BBB8-59A7-4F42-A286-6EDD09B45555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ef8dc7d2f567a48fc717ebb6174dc3271c596b","datavalue":{"value":{"entity-type":"item","numeric-id":3608420,"id":"Q3608420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$E993E51B-165F-4AAE-8A26-CE44499DB7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7631dfe98f153b44523a49c42bb14e1fd65c15","datavalue":{"value":{"entity-type":"item","numeric-id":3605523,"id":"Q3605523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$4853E7A7-3368-43A3-90F3-DA229E26ADC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$58923E3B-3C0E-4B70-8D29-5449E7363878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2c8292e83c6a8dd597f45e964fcbaf4ccb4d69","datavalue":{"value":{"entity-type":"item","numeric-id":3024825,"id":"Q3024825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$F9737711-3FE4-4C62-8E9B-1A229DF1D554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0c881997608753db676fb77ee2d32f21cdc35b","datavalue":{"value":{"entity-type":"item","numeric-id":4180525,"id":"Q4180525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$0BB64496-C993-42DA-9B15-1FD27B267690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35c260dfd981553bd5c8d840b02f11a11c01de4","datavalue":{"value":{"entity-type":"item","numeric-id":550253,"id":"Q550253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$09D25EBF-9FDB-482F-B870-A2943497A0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70578058965d2cedd8dbe1f19fa5de0174951ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2753680,"id":"Q2753680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$2DB88755-3EF6-4140-AB4A-4F7D2A6243F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8942ca8af4693b2a95bafc41ae23d115582ec56","datavalue":{"value":{"entity-type":"item","numeric-id":4792972,"id":"Q4792972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$EF636280-903E-4EBE-83DE-A7F1F3591FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$1F306479-C2FF-4FC7-9253-68B5054E1C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44344e1b9d06c74b17ab363ea3c3099e86c02d07","datavalue":{"value":{"entity-type":"item","numeric-id":860836,"id":"Q860836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$940C4287-8F57-461F-8C2B-82A9F50BCB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$8C8EB8E0-4DCF-4E9F-8232-42489EF5044C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$73D54C0C-5757-4152-B07D-DDF447D491AF","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":"Q418011$084C238E-AFBD-463D-9A20-E4670926AEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$08605BC7-7698-4A2E-B995-F2A92BCF7538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0b8f9a18ca9554c8ac1d74703fbb235393e5f3","datavalue":{"value":{"entity-type":"item","numeric-id":5958294,"id":"Q5958294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$201449AB-13DB-4E6D-8646-2DC2074EA6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1bcecea7d4470b116d9a9ff3ccac25c41305492","datavalue":{"value":{"entity-type":"item","numeric-id":2709786,"id":"Q2709786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$67F3C741-683F-442F-8F1E-6756F99014AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687288d06955162130139fdd119d406c60d80324","datavalue":{"value":{"entity-type":"item","numeric-id":5890060,"id":"Q5890060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$CB0402ED-F50D-4297-8EE2-1BFA95535A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$F8F09FF9-6194-477D-A7D5-3FB0F374E054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32be89877188e42d75acb415b1f567c9a21d7707","datavalue":{"value":{"entity-type":"item","numeric-id":3023557,"id":"Q3023557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$C8BA7F68-972F-487A-BF6A-4D71405F6747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e265a0aa8cb92d21367d8a7ed6101f17d6553fc3","datavalue":{"value":{"entity-type":"item","numeric-id":3075441,"id":"Q3075441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$794E328E-0316-4F26-87DE-EA2F7983FB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$71EB6844-8814-4D37-A6A7-D2E2B38B900B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$37D6273A-90D6-4A2C-BD50-6EC9A4BCB7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$F88FE273-B6CD-4BDF-BF31-4DE64D1BB2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacfcce7e973ae5acf6c780fec286280f2ce5fd5","datavalue":{"value":{"entity-type":"item","numeric-id":4250359,"id":"Q4250359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$D333AFA6-ED1C-4449-B758-301C538DA1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5f6a902cae6706ae1763f8821abc1095ccdaa0","datavalue":{"value":{"entity-type":"item","numeric-id":4650579,"id":"Q4650579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418011$8C0F7171-ACD3-4875-BC83-FFC47B5F2281","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62a28b748820c1a9894b95b8de51b7cca5fa74a6","datavalue":{"value":"10.1016/J.TCS.2011.11.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418011$763A7EDE-4685-4272-A73C-B2F19237AAF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f3985e11b0b54a4f3f36c3dd082525805f6adc0","datavalue":{"value":{"entity-type":"item","numeric-id":4649551,"id":"Q4649551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308fd511c7a7da48d213e6dfe77f2d168d4fcd88","datavalue":{"value":{"amount":"+0.77582186460495","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":"Q418011$1099AF3A-0707-4168-9DE0-1F797E288DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a812c34d9ad5235ea9865c296d08ab85c67bd393","datavalue":{"value":{"entity-type":"item","numeric-id":4250365,"id":"Q4250365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3308f1f95bff0f56d5cba9f9f47213b0a6dadcc4","datavalue":{"value":{"amount":"+0.747475802898407","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":"Q418011$B7838573-85BC-4EC3-8773-48FE22BE72C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7faf8974560c28ced35834baac82819c43239cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4362881,"id":"Q4362881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09460114b290f4f3e786e53d0bb275c724d4139b","datavalue":{"value":{"amount":"+0.746094286441803","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":"Q418011$6A802CCD-ADE6-4D25-9C9C-D89C4ACFC794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"905a6c22b40dfa94c1f6057be022fe7c1024a960","datavalue":{"value":{"entity-type":"item","numeric-id":5278430,"id":"Q5278430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6b2c32573d98974f5464bb7a60b1d2f6a7bb06","datavalue":{"value":{"amount":"+0.7448320388793945","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":"Q418011$47CA43B7-6CCE-4E9A-A5E8-083190EC6750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7ce843292cf7ef202b8aaec9e40e63443ad4a04","datavalue":{"value":{"entity-type":"item","numeric-id":4323009,"id":"Q4323009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da4c3b8887c913194aebe87efb14e2e16f31fddb","datavalue":{"value":{"amount":"+0.7425246834754944","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":"Q418011$5A3AF54B-2A84-43FF-AF06-7B306E005067","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Scott model of linear logic is the extensional collapse of its relational model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Scott_model_of_linear_logic_is_the_extensional_collapse_of_its_relational_model"}}}}}