Matches in Wikidata for { <http://www.wikidata.org/entity/Q58177066> ?p ?o ?g. }
Showing items 1 to 25 of
25
with 100 items per page.
- Q58177066 description "article" @default.
- Q58177066 description "наукова стаття, опублікована у 2006" @default.
- Q58177066 name "On Constructing Fibred Tableaux for BDI Logics" @default.
- Q58177066 type Item @default.
- Q58177066 label "On Constructing Fibred Tableaux for BDI Logics" @default.
- Q58177066 prefLabel "On Constructing Fibred Tableaux for BDI Logics" @default.
- Q58177066 P1433 Q58177066-428C4E2E-83DD-4991-A203-C48877D41C30 @default.
- Q58177066 P1476 Q58177066-ACFEEB22-C838-4AF2-A97B-1AB9C6851BA1 @default.
- Q58177066 P2093 Q58177066-AA029EBD-53DE-425C-8AF9-3406BDC15AF4 @default.
- Q58177066 P304 Q58177066-40D44741-3F06-40E3-91FA-0CA7058A30FC @default.
- Q58177066 P31 Q58177066-A2E7841B-46AE-4140-8A71-CBA2BF1238DD @default.
- Q58177066 P356 Q58177066-BA01784F-9CC7-4B6F-B46A-CC372E2FBDEE @default.
- Q58177066 P407 Q58177066-306AECE3-1A9D-4C93-9C19-A0E236D08748 @default.
- Q58177066 P50 Q58177066-C7CC67E2-B7E6-4F4E-828D-3F891F8A1392 @default.
- Q58177066 P577 Q58177066-6252AA7B-E797-4BDC-99BE-44C53F3B7901 @default.
- Q58177066 P356 978-3-540-36668-3_18 @default.
- Q58177066 P1433 Q924044 @default.
- Q58177066 P1476 "On Constructing Fibred Tableaux for BDI Logics" @default.
- Q58177066 P2093 "Vineet Padmanabhan" @default.
- Q58177066 P304 "150-160" @default.
- Q58177066 P31 Q13442814 @default.
- Q58177066 P356 "10.1007/978-3-540-36668-3_18" @default.
- Q58177066 P407 Q1860 @default.
- Q58177066 P50 Q58041904 @default.
- Q58177066 P577 "2006-01-01T00:00:00Z" @default.