Matches in Wikidata for { <http://www.wikidata.org/entity/Q57850726> ?p ?o ?g. }
Showing items 1 to 35 of
35
with 100 items per page.
- Q57850726 description "wetenschappelijk artikel" @default.
- Q57850726 description "наукова стаття, опублікована у 2015" @default.
- Q57850726 name "Proof Search in Nested Sequent Calculi" @default.
- Q57850726 name "Proof Search in Nested Sequent Calculi" @default.
- Q57850726 type Item @default.
- Q57850726 label "Proof Search in Nested Sequent Calculi" @default.
- Q57850726 label "Proof Search in Nested Sequent Calculi" @default.
- Q57850726 prefLabel "Proof Search in Nested Sequent Calculi" @default.
- Q57850726 prefLabel "Proof Search in Nested Sequent Calculi" @default.
- Q57850726 P1433 Q57850726-6194B928-B337-47A3-A396-07C45235F7B6 @default.
- Q57850726 P1476 Q57850726-A2F5D6C4-729B-44EF-91BC-1D0EDCB869F7 @default.
- Q57850726 P2093 Q57850726-B981E41B-226C-4412-AFFA-05B91A236D83 @default.
- Q57850726 P2093 Q57850726-F7F8BCC0-E073-4905-B4A9-E15FBE745BA4 @default.
- Q57850726 P304 Q57850726-16E88AD2-2CDB-4801-A27B-81A3D709333D @default.
- Q57850726 P31 Q57850726-4C57866F-D446-4CB0-8C7F-B1850FD060A5 @default.
- Q57850726 P356 Q57850726-92E87D5E-4212-4369-9FAA-6C34FABE4E3E @default.
- Q57850726 P407 Q57850726-B049C52B-BE64-401F-BE82-979D9631C342 @default.
- Q57850726 P577 Q57850726-927377F3-8406-4B56-9BE1-09E142148182 @default.
- Q57850726 P6104 Q57850726-BB1B7266-AE6E-43E7-8102-2378A7923B1E @default.
- Q57850726 P894 Q57850726-31E9BFB9-1FDF-4632-9FA4-2F8DFA0A0C41 @default.
- Q57850726 P8978 Q57850726-B0CB4944-0407-4353-8F29-8B5D02772BF3 @default.
- Q57850726 P356 978-3-662-48899-7_39 @default.
- Q57850726 P8978 LellmannP15 @default.
- Q57850726 P1433 Q924044 @default.
- Q57850726 P1476 "Proof Search in Nested Sequent Calculi" @default.
- Q57850726 P2093 "Björn Lellmann" @default.
- Q57850726 P2093 "Elaine Pimentel" @default.
- Q57850726 P304 "558-574" @default.
- Q57850726 P31 Q13442814 @default.
- Q57850726 P356 "10.1007/978-3-662-48899-7_39" @default.
- Q57850726 P407 Q1860 @default.
- Q57850726 P577 "2015-01-01T00:00:00Z" @default.
- Q57850726 P6104 Q8487137 @default.
- Q57850726 P894 "1471.03079" @default.
- Q57850726 P8978 "conf/lpar/LellmannP15" @default.