{"entities":{"Q2701978":{"pageid":2712723,"ns":120,"title":"Item:Q2701978","lastrevid":82774703,"modified":"2026-05-06T21:54:57Z","type":"item","id":"Q2701978","labels":{"en":{"language":"en","value":"Labelled proof systems for intuitionistic provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1574456"}},"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":"Q2701978$34A13B00-FB0C-48A5-8E7F-1DE74B94AC08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cfdd26784fafeee694128902ad0f377c9b476c3","datavalue":{"value":"0968.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701978$37E1C67E-5A7B-4564-80DF-7DFC1AA3C349","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0eb8358d12293577adc3d69d0c5720bdeb6f4c5","datavalue":{"value":{"entity-type":"item","numeric-id":2498897,"id":"Q2498897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701978$BA1CA4EF-589C-4A53-BB05-6EF482EF359B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701978$21A693B2-2224-44E6-A3E0-94CEDB19EF19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af22c54118a69f4324bd2bfa43c2edc40af04cff","datavalue":{"value":{"time":"+2001-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2701978$E80B6C23-69D7-477D-819F-B8507F483CBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701978$B9420693-56E6-422E-A89F-19ABCCFEE837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701978$0F7CD801-8658-45AF-BE5A-21EC60108B97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"583318b221cbdc818d33e7dab55e9818aef0c257","datavalue":{"value":"1574456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701978$08EE60B6-5263-484A-9217-7BEBE1047C8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8a9646b82dbeb50d8df2be83409261d3b2042d","datavalue":{"value":"proof-search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701978$61C4A821-DA76-4B72-9BDE-3146A2252689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a4dd4dcbe69571e25beb21098c1f1c394adf12","datavalue":{"value":"labelled proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701978$BF931D51-04AD-4016-B6F4-A259F03D974F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e2611129a1132e3721c6aaafb93232120800796","datavalue":{"value":"intuitionistic provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701978$4E377FD6-C438-45D8-B5D1-F3B15E3088F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701978$E984E2FA-BA4E-4803-9F3E-118E1C8C177C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd9c82e2289413df0455a94c9abb74bf80d116b","datavalue":{"value":"labelled sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701978$5536D260-ECFE-4404-9280-5A3A639D6BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701978$772C6F29-C48F-4B21-95FC-5CF7B8DFCAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4988e5e40921b1bf7be0dde48252438edc6a3bb","datavalue":{"value":"proof-net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701978$8E0AB308-D453-4DCB-810F-6188D0E0A2D9","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":"Q2701978$55009415-1DC9-4433-902B-FAC4CE4BCA54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a64dea76ece2bd505c1647e626d9d007d78a1c5","datavalue":{"value":{"text":"Labelled proof systems for intuitionistic provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2701978$37B6841A-AAA5-412D-9817-DE88D7CBC288","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc0c7b03c404c3987dcded0e7e7a6accf38b89de","datavalue":{"value":{"entity-type":"item","numeric-id":3066103,"id":"Q3066103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e586a356a82ad240afbec3e12739d86e6db5442d","datavalue":{"value":{"amount":"+0.7960692644119263","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":"Q2701978$CAC14BF2-241B-4971-A052-D86F23C681A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c715127c8e152ee2bfee86db84fa47a5e01e6591","datavalue":{"value":{"entity-type":"item","numeric-id":1575923,"id":"Q1575923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d614f718af4ab189beb146784d3dd4df9feb10ee","datavalue":{"value":{"amount":"+0.7804498672485352","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":"Q2701978$F26A686C-CCA9-4851-9D20-19F70F6187FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d614f718af4ab189beb146784d3dd4df9feb10ee","datavalue":{"value":{"amount":"+0.7804498672485352","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":"Q2701978$99D04D5A-A883-41B0-BCC5-5F88D7148914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bd3300c7dc67e2bc56e6bd1256442b32e9f142","datavalue":{"value":{"entity-type":"item","numeric-id":4645244,"id":"Q4645244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed66a99cd219fc56131129f609c04de92dfc3352","datavalue":{"value":{"amount":"+0.7787701487541199","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":"Q2701978$F4066971-3594-4CDC-9CE9-DAE70A151CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d711422d6c23d53075714f0de54c1fda117a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67416eeb1d1419addb82ca9202c231579910afd","datavalue":{"value":{"amount":"+0.7767869234085083","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":"Q2701978$073CA3D3-2DAC-486E-807F-C72245E52F56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelled proof systems for intuitionistic provability","badges":[]}}}}}