{"entities":{"Q3133155":{"pageid":3143871,"ns":120,"title":"Item:Q3133155","lastrevid":53018168,"modified":"2026-01-24T01:20:21Z","type":"item","id":"Q3133155","labels":{"en":{"language":"en","value":"The first-order hypothetical logic of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837728"}},"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":"Q3133155$A6DBA4B0-A0E9-457C-9934-067ACEF0B2ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"512bc7598d595b6975016eaa39601fa7748f430a","datavalue":{"value":{"text":"The first-order hypothetical logic of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3133155$545F4E09-C9F1-494F-9789-6FBCD57D1403","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be1253357c6447ed6983ce48f90a336827066907","datavalue":{"value":"1404.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133155$5FF77170-C566-437F-8530-20107B95CB90","rank":"normal"}],"P16":[{"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":"Q3133155$67FE80F4-CCD1-4A07-9D2F-CE55300EE69C","rank":"normal"},{"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":"Q3133155$A20C9490-8D0E-4241-8314-0F36EA1DC54C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3133155$43B0EFD4-85B6-43FB-9445-0461E99747A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ab46b15d0eda89a133f1dfdc3ac0ccc680daa9a","datavalue":{"value":"http://hdl.handle.net/11336/42132","type":"string"},"datatype":"url"},"type":"statement","id":"Q3133155$20384AC7-E399-4D72-BEE7-A573CA2AB6F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133155$94DDE190-EABF-47BC-91B9-432FD02027CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133155$1659681B-BB31-46ED-B740-31049196CA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133155$D4DFDCA3-C5D2-49FA-9CBD-C6EA49697F92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff053aef97bb2ff7e8a581a039a8aadd82684b6f","datavalue":{"value":"6837728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133155$5B50BE42-C014-4EA4-94B5-04493883C1ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db140566fc9035b2ce586225d779e513c4ef39a4","datavalue":{"value":"first-order logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133155$5806B966-FF56-41B8-BD7B-4022FAB39673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133155$B7CFDDBB-ABEC-4919-8488-36D5D3C23A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133155$F5B4904C-AD46-4E9A-9461-37613D9FAC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133155$165411E3-DD87-4666-9846-FE1102776163","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":"Q3133155$4A86DD14-9D62-4757-9E28-6AE5802530E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d45cf972467ecf0e31aa16a665a480f7f8bbe0c3","datavalue":{"value":"W2590965506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133155$DDC47179-57ED-442C-BCE5-3AD6C0BE0186","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"860e0d87c7e7c5b3e1b4fb4a19f3c757ae625bbc","datavalue":{"value":"Q113818623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133155$A2DC68D1-ABA5-4AFC-A648-8A2C185B5E28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df0b5124045876c1cd0c320c828861e0ff2276f2","datavalue":{"value":"10.1093/LOGCOM/EXV090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133155$4EC475DB-58C2-44A6-A93C-632FB1EA3D5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133155$AE5481C1-1462-4FEE-8E4D-F90EED43D489","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1b093f715ddc2492cfc9fa7718c154ee4b8c0d","datavalue":{"value":{"entity-type":"item","numeric-id":2254560,"id":"Q2254560"},"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":"Q3133155$E1FAFE42-714A-4A99-81B9-3976AE525711","rank":"normal"},{"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":"5e05b0170625f27a3d00d1106baa1910697c3abc","datavalue":{"value":{"amount":"+0.8372325897216797","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":"Q3133155$2FE92791-C99A-40E8-BCB8-D603F7929A8A","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":"0639ca6d912537c886ab9ca6d9eb6744f5f46480","datavalue":{"value":{"amount":"+0.8180570006370544","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":"Q3133155$95F4E896-A437-468D-AB9F-E4C1C87E02C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1f66166bebf532b4f7ccf833376ce160348b19","datavalue":{"value":{"entity-type":"item","numeric-id":4329233,"id":"Q4329233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50daa45018525becff1d65af2f8791359ec923af","datavalue":{"value":{"amount":"+0.8074296712875366","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":"Q3133155$AB0230AF-083D-4171-BA0E-A4B08DA937F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f0206eee7ec92afebd05ca513872623e5a8e30","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a5565d7e44b5daba148bd23d466a53020a5849","datavalue":{"value":{"amount":"+0.8069478273391724","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":"Q3133155$AA7817B4-F7CD-40E1-9864-E09BCD67A352","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3133155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3133155"}}}}}