{"entities":{"Q2254560":{"pageid":2265303,"ns":120,"title":"Item:Q2254560","lastrevid":52192115,"modified":"2026-01-21T03:21:50Z","type":"item","id":"Q2254560","labels":{"en":{"language":"en","value":"Hypothetical logic of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6398409"}},"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":"Q2254560$B5B6485F-22E2-4B82-957F-B0936C159940","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70cbece03c8e57c2f90373f75d5c6799d3fd7198","datavalue":{"value":{"text":"Hypothetical logic of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2254560$385A24EC-9C3A-42DC-AA6D-8ACADC5C2985","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"789fbb7ce233f024e2dc1c00c9d744ea84469ee0","datavalue":{"value":"1335.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254560$72684B2A-CC4A-48BB-A185-0789C8AEFF89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32fec076cd784676ce6465fb8cbb84aed2bdec55","datavalue":{"value":{"entity-type":"item","numeric-id":408546,"id":"Q408546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$7ED9FFD1-9641-4771-9783-9A3113B6D4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9b6c09ebaa9e229680388ccd31b48e53d49a1a2","datavalue":{"value":{"entity-type":"item","numeric-id":276038,"id":"Q276038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$8229C10E-ECE1-485D-9362-10A693518BCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$540DE5A8-4F95-4BC4-BF1F-64BDC7EAF242","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f52875ecde12166df54674a46be9420b28825232","datavalue":{"value":{"time":"+2015-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2254560$5EFB321B-230C-402B-97D0-0EBA11CA4506","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254560$404B781C-9AAE-4494-8F75-6E13C58C5D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254560$DECFEBED-D8ED-44E1-90B9-190F9CAC9632","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26c0f32860a1c5eb0f515a6c86713b36fd6540a7","datavalue":{"value":"6398409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254560$46A491B4-B6AE-4BBE-8501-92660DC9A960","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254560$8C1D443E-7085-453B-B4CF-914A143C5E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254560$5EEF57A7-52F4-4684-8B71-F3CB19A12F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254560$55701566-06AE-4CB8-B8EE-D94A4DD08EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254560$D224F0FF-EF3B-408F-A5B7-DFBF593B82F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254560$97CE8553-98FB-4FE4-A2B1-82429E08614C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb34c24d0c9b9712dfad40bbcdc7ac86cd06a487","datavalue":{"value":"lambda mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254560$DD1F70E3-B297-4115-8BE7-0443E46C4B31","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$304C5BDF-7DD8-49AC-8E25-3E4AC53E09AD","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":"Q2254560$EC6C711F-5ACC-46F2-A66B-A23EC8D998D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d85e15d22210bd4adec30349206d9b3557d8b36","datavalue":{"value":"https://doi.org/10.1007/s11787-014-0098-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2254560$2C855CB3-5B83-4E76-B287-A199BEC8B8CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4062622736d5cde949a77f7b59649cc74ec8321","datavalue":{"value":"W2054717969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254560$52ACBE4B-428C-4FA1-8C9D-C77328FD9DB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5224c86e4b6d0df0925007d11afe2b2afa54d192","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$3B90AFD7-6E0D-401C-BB0C-E758EADBF56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6455fbb5afa35439549e9692611b09b390c69d5d","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$5142E0B2-8D02-45EB-A684-A221258EE6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$845BC4AF-FFA1-45C0-9896-12382ADD9F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4187ec3ea62727137c93df33a1a765212354fa36","datavalue":{"value":{"entity-type":"item","numeric-id":3585058,"id":"Q3585058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$1609874D-85BC-4801-8A65-2D4AF90C6586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b55c33e3f29c6ff937578edfe680e9e1bdcd52","datavalue":{"value":{"entity-type":"item","numeric-id":408548,"id":"Q408548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$4EB1C039-1E03-4FD6-92C9-DD6FDABB8C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619f2a12be79f23e2780e2b608e11467196a4132","datavalue":{"value":{"entity-type":"item","numeric-id":3094147,"id":"Q3094147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$1DB48F82-4F02-4AE1-878D-425C9499CD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0188d0b062ce233e0f9cf2a92159d09920bb3a55","datavalue":{"value":{"entity-type":"item","numeric-id":2778822,"id":"Q2778822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$3550691D-BB8B-42AA-9A0D-B7E4898ABAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$45B92523-A297-457F-A01C-1558D5711E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$F7664A37-F473-423F-81C3-76567CBC9051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$2858BCCF-B502-4203-9005-BA13448904C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$550554EE-518A-4356-AD0B-56C1DA6204B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$1330C766-C708-4123-9354-5BBC8966CA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$71DA8787-25A1-4E32-BF03-F3BBF941E4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570780771824176c163d178af03d4938e1f38278","datavalue":{"value":{"entity-type":"item","numeric-id":2254560,"id":"Q2254560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254560$9BF1D559-C1DB-45D2-BDB9-2CC1147A4DC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af259b9355dd9902d697a9d8a43544a9a00c51d0","datavalue":{"value":"10.1007/S11787-014-0098-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254560$1C0686AF-3159-4A8B-A92C-91216F33AF41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82587b2d0eee5a391aa0ec6306a3b52d42343ca5","datavalue":{"value":{"entity-type":"item","numeric-id":276039,"id":"Q276039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6663540a1c77553d099d1260623d1cd68b443e","datavalue":{"value":{"amount":"+0.8570993542671204","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":"Q2254560$4ACFB028-4FAD-434E-9C7F-9048881D3260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6d293412ec27137e9c499546b1328aad012c7d","datavalue":{"value":{"entity-type":"item","numeric-id":3133155,"id":"Q3133155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64871a9c266c1033b251d1a7c5d6e1f07faa1e4e","datavalue":{"value":{"amount":"+0.851295530796051","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":"Q2254560$9E35BCC7-F22E-4A5D-93D9-419372E5D23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044291259c567a861f70b4edb59a603305874c53","datavalue":{"value":{"entity-type":"item","numeric-id":3094147,"id":"Q3094147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f8c957412b9a079359c3b7db5eecfa406c5365","datavalue":{"value":{"amount":"+0.8468521237373352","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":"Q2254560$BC3D6044-3FDB-4AF4-BD02-61BC94444018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90ab663875c7c8317669cbfa1f597cc59f7ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a66de17ef06e486c699a9b9805a3671665a6185","datavalue":{"value":{"amount":"+0.8390535116195679","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":"Q2254560$FA2B96A7-B675-487E-A343-77405E9F9826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bade1c4d4b8c83dc9273b03a9c5e330219392210","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b4bbaf2b87b0381c336e6c1eb700da16d93c2f","datavalue":{"value":{"amount":"+0.8316349387168884","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":"Q2254560$0B75B60B-65FF-4793-B574-465A12897EC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2254560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2254560"}}}}}