{"entities":{"Q2055855":{"pageid":2066597,"ns":120,"title":"Item:Q2055855","lastrevid":78550025,"modified":"2026-05-06T11:51:42Z","type":"item","id":"Q2055855","labels":{"en":{"language":"en","value":"Subformula linking for intuitionistic logic with application to type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437080"}},"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":"Q2055855$582C2B44-548C-4FD0-887E-10633F027964","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef841dcf8da2d4174219ba29813a546922fccf8d","datavalue":{"value":{"text":"Subformula linking for intuitionistic logic with application to type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2055855$495F9985-16EC-485C-AADD-52BE9F5B2240","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c85371b78859a6c6522e84b36101f871cd770fd1","datavalue":{"value":"10.1007/978-3-030-79876-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055855$F263F54E-FC24-4337-A31B-40BBBD54325C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20c32845a86517c3925e9fa1724cfe5786b42b11","datavalue":{"value":{"entity-type":"item","numeric-id":928658,"id":"Q928658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$0AE871E7-4AA2-4039-A221-B36CDEE70E67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2055855$E6E91221-1062-4FF1-BE7E-1E81BE81ED4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055855$9D399815-0D7C-4AE0-B80C-097D4E55447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055855$F172FE6A-769F-4E11-93B9-8CD7B13F22A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cfdb298d9f49bbfc053cda5166a4d9703ffbe41","datavalue":{"value":"7437080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055855$EF9E95C9-AFB9-4842-AD41-0DBFEE688392","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":"Q2055855$2EB8E0D0-757C-4A44-B878-F5EF8480227F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"287a21df1992f20e26b931a08ff55f4af9a27a7c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-79876-5_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2055855$54E087C4-A85D-42BF-A646-78C5C5B88B7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cf33bb347f9d82a54efdd050a9771a87e0fea14","datavalue":{"value":"W3178958520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055855$ED9E21F5-657B-4AA6-85CA-A15DB9A6E296","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$1261C215-754B-4C5F-9F0D-9E359FED730F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ef8bd5491561954e053fb17a1031115fe3ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":5195258,"id":"Q5195258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$8219C668-45CD-4E64-BF14-E44A7737CA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c510f33cf3069aa89560a85f6fc0e2e71f04618","datavalue":{"value":{"entity-type":"item","numeric-id":4490725,"id":"Q4490725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$904980B5-C835-4678-B2BD-A4B6E7C09074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"921780dabce96c51679e465426154ae95e68811f","datavalue":{"value":{"entity-type":"item","numeric-id":5327358,"id":"Q5327358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$5BFA6469-F543-4652-A882-223349B788B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc9c9d090643b66ab61947250d83f48f8f8ed8ea","datavalue":{"value":{"entity-type":"item","numeric-id":928660,"id":"Q928660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$9F836E2E-9283-4C8F-B5A8-1D26BBF74A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e87e8e83b006d94179241dc635d009009b0c32","datavalue":{"value":{"entity-type":"item","numeric-id":3491030,"id":"Q3491030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$87F1EB41-28D9-4CE5-B19E-4FBF0CE298CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7bdcd14d65b5cd3ec901aa441c6b2c1bcfe6ea","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$D0DB9DC5-50CB-412D-9AEB-E8CA82BF9437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$78A1D49F-44AA-437E-80A2-D1F5565B9318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$25CADA61-F5CF-4A56-9D4C-04100AFF764B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$6491CB6F-F43D-4E37-9CA2-9EE4C54AEF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691258b7dd0ca2d9f19b52dcd002a66925f7ffbf","datavalue":{"value":{"entity-type":"item","numeric-id":1884903,"id":"Q1884903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$56614706-1C22-4B47-8590-5CA050A403A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4673138e41cdcc6fdba908fef9d352af43a81cb","datavalue":{"value":{"entity-type":"item","numeric-id":5387896,"id":"Q5387896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$97DA6C30-E018-4EB1-A984-8720F5BAA9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$C4DB61AC-50C3-4B55-BA40-98C50CD4295C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d4d0f4c350a7a3cbf6151385e448bf991ac07b","datavalue":{"value":{"entity-type":"item","numeric-id":5327358,"id":"Q5327358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f400746319058a1492e8164281ba490ba7c9d3a2","datavalue":{"value":{"amount":"+0.8426814675331116","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":"Q2055855$1C965A0E-3D0F-47DE-8805-BAEB4CF5C997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02875efcda45dd6c3450fa983afbefd43cb26b91","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d1e6a74fc59be2bc96cf9425f59ff43c9ecc63","datavalue":{"value":{"amount":"+0.70585036277771","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":"Q2055855$DED09133-7AF8-4F71-BB96-840448689AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62faae414725696cb5c719e82e12f59950ef418","datavalue":{"value":{"entity-type":"item","numeric-id":2180511,"id":"Q2180511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2714d4c76f70f1889665598a53aa8f8533a51e","datavalue":{"value":{"amount":"+0.6957215666770935","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":"Q2055855$D952023E-98ED-4451-B465-CB328E9F2183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ddbb86d140ec3223259a8a03fe1927db75bf35","datavalue":{"value":{"entity-type":"item","numeric-id":4539627,"id":"Q4539627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9a3a3fb8d614250e83474b70c930ffc5682f54","datavalue":{"value":{"amount":"+0.6955134868621826","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":"Q2055855$9A7DC0DC-9D6C-4CEE-88D5-F1EED245B2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e9b9d0f7d471546cf959849cfb3699590e8c97","datavalue":{"value":{"entity-type":"item","numeric-id":4533383,"id":"Q4533383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f521dda9e51393cef95c728404b1332817cb5a","datavalue":{"value":{"amount":"+0.694842517375946","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":"Q2055855$8155B4E0-1A16-453F-B8A7-BDB42C11C173","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055855$0D20756F-2CDA-45D2-8D3A-094B0443280B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subformula linking for intuitionistic logic with application to type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subformula_linking_for_intuitionistic_logic_with_application_to_type_theory"}}}}}