Matches in Wikidata for { <http://www.wikidata.org/entity/Q119846391> ?p ?o ?g. }
Showing items 1 to 28 of
28
with 100 items per page.
- Q119846391 description "artículu científicu espublizáu en 2007" @default.
- Q119846391 description "scientific article published in 2007" @default.
- Q119846391 description "наукова стаття, опублікована у 2007" @default.
- Q119846391 name "Propositional Proof Systems and Fast Consistency Provers" @default.
- Q119846391 type Item @default.
- Q119846391 label "Propositional Proof Systems and Fast Consistency Provers" @default.
- Q119846391 prefLabel "Propositional Proof Systems and Fast Consistency Provers" @default.
- Q119846391 P1433 Q119846391-C95B00FB-9240-4E18-AC63-7C3AE7238F42 @default.
- Q119846391 P1476 Q119846391-3232C639-C990-4440-991A-465F706252CE @default.
- Q119846391 P2093 Q119846391-7192E3FD-58BD-4555-A685-49DF1BF024A0 @default.
- Q119846391 P31 Q119846391-6CFE7D8B-73D5-4812-8DB7-D59B08B6E733 @default.
- Q119846391 P356 Q119846391-EE4A1E81-CFE8-4D2D-B05F-76497B09F87B @default.
- Q119846391 P433 Q119846391-BE5882F2-B42E-45E8-99A5-C1A65B0EE458 @default.
- Q119846391 P478 Q119846391-E6F3702F-43B8-4E9D-8D19-1E7593600044 @default.
- Q119846391 P577 Q119846391-A11DFEBF-40B6-4727-8614-6F528B812C54 @default.
- Q119846391 P6104 Q119846391-F4BA1079-3C29-4E5B-A572-5C2B2255A8EB @default.
- Q119846391 P894 Q119846391-B639759B-D4CC-40B7-8441-27AF4143D9F8 @default.
- Q119846391 P356 1187031410 @default.
- Q119846391 P1433 Q15734650 @default.
- Q119846391 P1476 "Propositional Proof Systems and Fast Consistency Provers" @default.
- Q119846391 P2093 "Joost J. Joosten" @default.
- Q119846391 P31 Q13442814 @default.
- Q119846391 P356 "10.1305/NDJFL/1187031410" @default.
- Q119846391 P433 "3" @default.
- Q119846391 P478 "48" @default.
- Q119846391 P577 "2007-07-01T00:00:00Z" @default.
- Q119846391 P6104 Q8487137 @default.
- Q119846391 P894 "1133.03036" @default.