{"entities":{"Q4635871":{"pageid":6665452,"ns":120,"title":"Item:Q4635871","lastrevid":53070803,"modified":"2026-01-24T04:11:12Z","type":"item","id":"Q4635871","labels":{"en":{"language":"en","value":"Unified semantics and proof system for classical, intuitionistic and affine logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863485"}},"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":"Q4635871$E00247EA-86F1-4D9E-876D-DD4C49EF8E0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"197d807501fa7926ec3c4bc8d36670ab9b788d64","datavalue":{"value":{"text":"Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635871$2CD01B20-6B65-484F-9772-E372C7D496B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0f0ae3e2c6f812101f295e3b48a67139e41d2e1","datavalue":{"value":"1395.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635871$CCF05114-315A-4B73-80FE-077915B507FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45b01adb14a3808128a7d66f453f5bbd15d35754","datavalue":{"value":"10.1145/2933575.2933581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635871$C1BA35D3-00DD-4A1D-941A-BCE6FEFA5EC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9ce3e80bb1a16307d22ed97af34d804e7fedd0c","datavalue":{"value":{"entity-type":"item","numeric-id":639670,"id":"Q639670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635871$390D268F-5E04-4698-A098-A8AAB7AC1093","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635871$E55FBAB3-31FA-415F-A1A5-B9338E5AF18B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-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":"Q4635871$3B775A7E-B565-4E4A-89FD-2B18B6F381CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635871$C18C4554-344B-4AF1-BA8B-94AB501059CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635871$8341B5BD-5BCF-40AA-B842-3D209B322886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635871$DA04021A-7264-44C6-81D2-209B1F64FC3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bbc557760a458cbc313fd16dbf45a0d0f2c3627","datavalue":{"value":"6863485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635871$E45D8A11-AC67-414C-A25A-8B426D814EE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635871$ED8E6516-0F65-40B0-A7C0-9E431AACFF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c424861acb017bbf5cca63f4aac94773a4982ff","datavalue":{"value":"delimited continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635871$A867975E-9DF1-4CDD-B882-77C8135303E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635871$0C60D83C-E6B2-4F76-A485-1FD2D4E51DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"435bc946df3f2b0612afd84e24d9bee53851843e","datavalue":{"value":"lambda-mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635871$74895C4B-128F-44BD-8A68-A2FA512D61DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635871$11E2B4C3-A7AE-4AF0-82B1-E97255378FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0330316506ca239cfff19d0e3df96793e84e6ecd","datavalue":{"value":"phase semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635871$DC719621-82C6-479F-92AD-05AFB7FE15EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635871$47033B96-09C1-44CB-A59E-51AD1023A7FE","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":"Q4635871$640840B2-9C96-457B-BE54-4F188104B239","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10d672a149d290f23635931d2a410e67c14546b7","datavalue":{"value":"https://doi.org/10.1145/2933575.2933581","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635871$25CF07CE-7D25-42A7-B52B-24C2920E8D8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54645c2c4323fd41d35335ca1ec6f08d3228ed9d","datavalue":{"value":"W2530278950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635871$8924DCEE-154A-4172-81AD-6C975EDD63A2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3e126c23d4e90a4973d6f1ebe5017fd3bdcb9ec9","datavalue":{"value":"Q130864113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635871$9BF0A6FD-2598-4F1F-9310-8954170EC2D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec16b81c8bad4e17a82f67080a61057bc5e408e","datavalue":{"value":{"entity-type":"item","numeric-id":5236553,"id":"Q5236553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e2bacbeac6a9fa78d67341e1dc19fd97e3b2cae","datavalue":{"value":{"amount":"+0.9150106906890868","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":"Q4635871$926082DB-C071-4D0B-B660-FB0F95132855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536541ba594eec30f062b08fe0b93fee0d161bde","datavalue":{"value":{"entity-type":"item","numeric-id":639671,"id":"Q639671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1012ce06f9ccdbced1b0b806aa88c1c8cfa7c89","datavalue":{"value":{"amount":"+0.7781867384910583","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":"Q4635871$8BDAD9D6-81DE-473D-BB57-86A785C967A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ac6d5260b717268e184630a3a542aa35448d8","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0dba76441cb4c76a0346c574f63bcbb856631b","datavalue":{"value":{"amount":"+0.7581803798675537","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":"Q4635871$45A5C15D-D699-4BBE-A37D-EBC815243688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1048a47a90373bc7b5355c785e75695b5eb5afff","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6a48ae4832495f2ecb5edb89b7a24fb7563208","datavalue":{"value":{"amount":"+0.7462753057479858","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":"Q4635871$09E4B942-E574-46E1-9EEB-28AE6AFD6715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63e453191b1170e9ae5678235db1396c4ae90cf0","datavalue":{"value":{"entity-type":"item","numeric-id":690929,"id":"Q690929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1695356a060a9705bf4ac7b767a3d2167c49bb2a","datavalue":{"value":{"amount":"+0.7372524738311768","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":"Q4635871$B65E9FE5-3D0A-4F4B-9B61-F73E7D5E2A58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635871"}}}}}