{"entities":{"Q4847311":{"pageid":6876891,"ns":120,"title":"Item:Q4847311","lastrevid":90958811,"modified":"2026-06-04T21:53:47Z","type":"item","id":"Q4847311","labels":{"en":{"language":"en","value":"Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 798803"}},"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":"Q4847311$36C085D4-AB2D-4AE8-A7E3-F79160B37F0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64b108382232f61057d963306d400f35911c09ba","datavalue":{"value":{"text":"Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4847311$1FFB5F65-23C2-4A56-AF3B-F2F34BDEE205","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17e3dd4de3da0ff26ec72c1baa8998aa8dac66ec","datavalue":{"value":"0836.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847311$2A81930D-4CA2-4ADD-AC03-25E3FBEBE805","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c62d18132aa98589756571e0987ea587faab8238","datavalue":{"value":"10.1017/S0960129500000633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847311$81E5A674-D1C0-44B6-A6E2-C2B6F1E6EB05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847311$87731EA3-5F34-4924-BE8A-C7937311FD68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847311$B4EEAB69-33FD-4988-937D-3B213CDE5004","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5234c3c3eec5889ee0b52a7482e82bd6b7ddaa49","datavalue":{"value":{"time":"+1996-05-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":"Q4847311$644FB2B9-5DD8-49FA-821C-9D60757CC37D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847311$47C525F6-DBCC-4CCF-843D-74A39A20C893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847311$74778E1F-2783-4D12-BB99-2F45C6870CCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ef9fca9d11a0851bd5aeab0c1ca6591e3c2cf81","datavalue":{"value":"798803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847311$05918FC3-2206-4396-AB51-F1661A898B44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847311$2441B452-1107-49DA-B449-080A0C255AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847311$A53AD1AB-F8EC-4C09-B235-52B43E3B09F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847311$9E67E0E4-1070-4F51-AF78-EAD3A80677BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"549def71747f993767e2dd09fb7a998348028ff7","datavalue":{"value":"quantales with modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847311$E6D94BD2-8F81-49EF-9C59-5D1C6877BF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f34eed909bc359581cb5f08cf69f237f3bc106","datavalue":{"value":"frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847311$3AC2FD26-53B3-4343-B610-E1604B92E0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb9331a93084db23fba5b03bcbdc4d0759c90063","datavalue":{"value":"stable interior operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847311$B24064B3-08FF-4AF5-8089-EC1A57448424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e3dbf4a6f395bc679fc66051534bd820da9301","datavalue":{"value":"formal pretopology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847311$CEEDFD7C-063E-479C-8765-A4FA67833FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4798788d65b97e63656f02fa74a51565b0cc3d","datavalue":{"value":"formal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847311$D1D47DED-8FA2-4BA8-8446-7CEEDA0F1078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847311$B9F00A59-73C3-408C-BE09-EEC91C00EE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a98bdfaa358cd5ea108528dcdf691c8731b6f08c","datavalue":{"value":"coproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847311$295CC691-9A32-40CA-A7D1-03CE2C87D2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dafae3da643c883a192fde53ad27e0dd0083fe9","datavalue":{"value":"co- Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847311$A5BA408B-A311-4937-A25E-FD42838A09C3","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":"Q4847311$79F65903-3CE6-4347-BDDE-2D1E5D0798FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94d07d7ba169baac67dcb1462f65733e210d7f6","datavalue":{"value":{"entity-type":"item","numeric-id":1345901,"id":"Q1345901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847311$08913CBD-B18F-40D9-B2E0-A574425E9FC9","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":"Q4847311$0B341B86-26F3-431E-8F7B-6F54C2C70184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847311$61FC50BD-FD6C-4E13-B612-F1D3344D7E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847311$53091597-989A-4B94-9739-973FCEA70151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7312367626057a1ed18ce459375f7ee2aab280","datavalue":{"value":{"entity-type":"item","numeric-id":3986870,"id":"Q3986870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847311$FD989A9E-B313-4126-BDF3-E50F5CDC9E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847311$19AA4144-0719-49E1-B9CD-D18E34AE71A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ae320093d7fc22b01cae1d14f09ff5744c2d5e","datavalue":{"value":{"entity-type":"item","numeric-id":3975037,"id":"Q3975037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847311$8813E5CD-19DF-4E11-9C75-A3E39727ED1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5930c445a5f88ea6c6765874ebe5a928d5b6155","datavalue":{"value":"https://doi.org/10.1017/s0960129500000633","type":"string"},"datatype":"url"},"type":"statement","id":"Q4847311$D4DE975A-F11E-4D9D-A395-E97C8C79477C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a690347e39ed7e2681f277be77b1354150d392bf","datavalue":{"value":"W2153388953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847311$3D608625-AD46-4335-93C2-9FBDFCFC22A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959aaf9e7d4547038f5d76ee570ad7274cb2f596","datavalue":{"value":{"entity-type":"item","numeric-id":4809044,"id":"Q4809044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795b7290c1daec4750affda919de5f5fa86da693","datavalue":{"value":{"amount":"+0.9074212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847311$03E9F7DF-D3DA-4C69-8C0F-C1149ED5280D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176e64a5c75231fe28ee166263798112284e812c","datavalue":{"value":{"entity-type":"item","numeric-id":1919548,"id":"Q1919548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b239554bf7356ee01d459d6217f953fcf98466","datavalue":{"value":{"amount":"+0.89943033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847311$E099D2B7-0151-43AF-822C-24F44853E93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab921b43519a27420ae2608eb09ba52857d2757","datavalue":{"value":{"entity-type":"item","numeric-id":3433179,"id":"Q3433179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73876c939bb91381c7d75adb5bdddb36493b23bd","datavalue":{"value":{"amount":"+0.8961764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847311$3E0F4A1A-09CC-4290-8849-D2BA98A0EA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24e7ec0eb5e8f017d8c636db8b23b6051c947ab3","datavalue":{"value":{"entity-type":"item","numeric-id":5145339,"id":"Q5145339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84a0c7d82175f2aa557f9210e493ed879d045543","datavalue":{"value":{"amount":"+0.89388037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847311$483C3DAD-2910-4E7D-9DCB-CBA2DD0FF361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5a298f24996e765d38d2efeed8299436b97d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d757e3b9ed1ac09ca27892f54dbbbaf10334b528","datavalue":{"value":{"amount":"+0.89363855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847311$5ECECFDD-0F70-4D19-833F-AFB6AD5BDDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcbc147ff58141791856c42c017141265cfb2dd","datavalue":{"value":{"entity-type":"item","numeric-id":1781095,"id":"Q1781095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ea88a753bca2a37ec2c72455a348225ddf5da8","datavalue":{"value":{"amount":"+0.8933959","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847311$21538B15-A869-4F89-8B59-BFEFCC70626C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079a5545608790ba99c8fe6a8953366e9f7a5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":2352456,"id":"Q2352456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802f5c4fe13968605f4a642e022e2160f3891509","datavalue":{"value":{"amount":"+0.8922334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847311$B1BD368B-9CBA-4912-B0A5-383980C1D83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202421b33e0b99dc0e2915b7b9fea1f6e15a41d6","datavalue":{"value":{"entity-type":"item","numeric-id":5028317,"id":"Q5028317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7dff681205c5c4535243d4ff2b4589d41f19d2","datavalue":{"value":{"amount":"+0.89174575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847311$7117D1C9-7B1D-4734-9C8A-C433554BC218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e74ec608941936af4049ccb39a2a0565a93a0e6","datavalue":{"value":{"entity-type":"item","numeric-id":1740610,"id":"Q1740610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe80b14269adaf22d1926fddcca53bc1341d4a3e","datavalue":{"value":{"amount":"+0.8909061","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847311$42CDA6B6-13DD-4394-AA46-3A8B07E9EEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9717f47c582a39eeb1829ae6667f765c31439ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5902221,"id":"Q5902221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a8d9f91a1c64518ed8268ebe33a9f1f58ac2b7","datavalue":{"value":{"amount":"+0.8906914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847311$35CC44FF-9CDB-44A9-93C7-8581EEC7DB2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic","badges":[]}}}}}