{"entities":{"Q3187008":{"pageid":3197716,"ns":120,"title":"Item:Q3187008","lastrevid":86407592,"modified":"2026-06-03T20:09:03Z","type":"item","id":"Q3187008","labels":{"en":{"language":"en","value":"A semantical analysis of focusing and contraction in intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6616880"}},"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":"Q3187008$46AF4531-B13A-4E93-AA40-EB020C8A2FDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1abacb2d437e7e576ca913b524083b4dbd7af9b6","datavalue":{"value":{"text":"A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3187008$27089822-B0FC-4B8F-A578-58F8E4123451","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a149cf5d4a798aac942928e306b06d283ce649e8","datavalue":{"value":"1350.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3187008$053AC133-E22E-4198-B53A-52C0E760D49E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6736b8e0cf15d59ea45bbe9732584a1e22ea1be5","datavalue":{"value":"10.3233/FI-2015-1253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3187008$540DEEDC-FB29-4A23-8BD9-950957F1E9AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9f71358bbdbd87e15f90c45b21f9769883d0dbe","datavalue":{"value":{"entity-type":"item","numeric-id":506822,"id":"Q506822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3187008$B991F061-0FE3-4EB8-B96F-7A528436F5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc74fbcaec9acb65dd75f4cd3554e43a9608963","datavalue":{"value":{"entity-type":"item","numeric-id":972430,"id":"Q972430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3187008$F0418A1D-2594-42C5-9DE0-B73626B80F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8135914452c3b1bd839ce74f3161ea4765c65f58","datavalue":{"value":{"entity-type":"item","numeric-id":287276,"id":"Q287276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3187008$34761273-1750-4897-8207-18516D02FE72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3187008$A1178858-A5FF-4E35-A870-11B9EEF660D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91194fb1548e86d700b6bf6e75988f059017c422","datavalue":{"value":{"time":"+2016-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3187008$84311DA5-3BF4-4E5F-936F-23603798E426","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3187008$0E2EBFBA-1893-47AF-8690-12562F3A8022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3187008$5C1B7977-EA1E-487D-B6FC-C892FA40AC9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37015b48e361c0537d859d14ac46eac308d09476","datavalue":{"value":"6616880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3187008$779B4C43-E559-4F3C-BA82-1B6AD4019857","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3187008$81952C1C-2005-44ED-8728-A8668DD07D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3187008$72A56F5D-4288-4BD5-8A27-29B6F533CBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"825750958e1f962229d3fbfa2be1ee56047f4dee","datavalue":{"value":"proof-searching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3187008$4D6410CC-167F-402A-809F-44CB0A257AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3187008$8847BC7F-18B0-48B5-910D-C24FAAAF36FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3187008$CCCB3909-EF26-4685-9FB2-F8FAA3A836FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3187008$27884530-9E14-4C4D-AC89-3EE94D842FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3187008$9EAF2509-A2BA-402F-9DE5-8BCF2FEAF101","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":"Q3187008$B27D8653-556D-4F72-B3BA-D6A95D11C0CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57bd812ff436efc7c758148f00442f7d91913a0f","datavalue":{"value":"https://doi.org/10.3233/fi-2015-1253","type":"string"},"datatype":"url"},"type":"statement","id":"Q3187008$14496B9E-7F6C-4950-81F7-B652479DB10F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af23901f90e2d95faf236e8bf7f7d8409409db2e","datavalue":{"value":"W2183553861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3187008$EC516B69-8867-4191-8145-2C0B8B1A8585","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eeeb93e74ff091af6be8fcbff4ea645907fefb8","datavalue":{"value":{"entity-type":"item","numeric-id":2946730,"id":"Q2946730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ad8bc01f4cb7b524b760d585f83bdd7e463eb6","datavalue":{"value":{"amount":"+0.8840696811676025","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":"Q3187008$728FA683-F021-49DB-A8B9-1B277B95FD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eaeae3d30e1ea51c387009d9460fa0f84319494","datavalue":{"value":{"entity-type":"item","numeric-id":2915680,"id":"Q2915680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5196d36c1edf5fdc416e2c48e3df2785c389dc0","datavalue":{"value":{"amount":"+0.8592592477798462","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":"Q3187008$56DFB4A5-F2E7-481F-97B5-0B76BC290D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889231deb57232aad79d4a8364d607ebf1a58209","datavalue":{"value":{"entity-type":"item","numeric-id":3608430,"id":"Q3608430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b30ce273246ecd31bed5244c7cfc5e08d777f38","datavalue":{"value":{"amount":"+0.8528681397438049","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":"Q3187008$1F3C6A5C-FD56-4DE2-AC47-9F8EBB3C4747","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":"0eb75c8178805a7a2c45f488a970e303e932fe66","datavalue":{"value":{"amount":"+0.8415974974632263","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":"Q3187008$EDBF2261-C377-454F-B6A4-AB7F45CB6CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b608f8e48cae9e3be95e4b25037189a4718ef8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5369481,"id":"Q5369481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc4ed02c687f1d90470c9fa51781446b986b504","datavalue":{"value":{"amount":"+0.8239938616752625","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":"Q3187008$CE19C7BB-7E07-4800-99A0-9BDAEDB32994","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A semantical analysis of focusing and contraction in intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_semantical_analysis_of_focusing_and_contraction_in_intuitionistic_logic"}}}}}