Matches in Wikidata for { <http://www.wikidata.org/entity/Q56840274> ?p ?o ?g. }
Showing items 1 to 43 of
43
with 100 items per page.
- Q56840274 description "article" @default.
- Q56840274 description "im September 1991 veröffentlichter wissenschaftlicher Artikel" @default.
- Q56840274 description "wetenschappelijk artikel" @default.
- Q56840274 description "наукова стаття, опублікована у вересні 1991" @default.
- Q56840274 description "հոդված" @default.
- Q56840274 description "ലേഖനം" @default.
- Q56840274 name "Experiments with proof plans for induction" @default.
- Q56840274 name "Experiments with proof plans for induction" @default.
- Q56840274 type Item @default.
- Q56840274 label "Experiments with proof plans for induction" @default.
- Q56840274 label "Experiments with proof plans for induction" @default.
- Q56840274 prefLabel "Experiments with proof plans for induction" @default.
- Q56840274 prefLabel "Experiments with proof plans for induction" @default.
- Q56840274 P1433 Q56840274-317F0B65-9672-4D42-8E71-60ABD1C258A9 @default.
- Q56840274 P1476 Q56840274-C919C0D7-7AB6-40ED-B99C-C3E4FA6BCEDF @default.
- Q56840274 P2093 Q56840274-2E9E925C-425F-468A-A86C-73B467C18C41 @default.
- Q56840274 P2093 Q56840274-BDE176D5-4E36-4BAD-A340-62D7EE401ECA @default.
- Q56840274 P2888 Q56840274-60BB9851-62BD-4035-B4FD-036C28283C22 @default.
- Q56840274 P304 Q56840274-D2072EF2-BEBF-465F-AB30-318992B506B4 @default.
- Q56840274 P31 Q56840274-F2FA38AC-CCD9-4BE8-B549-FC32E90F51D2 @default.
- Q56840274 P356 Q56840274-371C26D1-2D12-4FD9-BEAC-5D61E9B85D6D @default.
- Q56840274 P433 Q56840274-3CAAAABE-D35F-4F22-91D0-B7DBD3A06B43 @default.
- Q56840274 P478 Q56840274-A8849A01-2BD8-471E-A7B9-F7716D52D349 @default.
- Q56840274 P50 Q56840274-23774AC2-EC60-4472-9858-FD2153102764 @default.
- Q56840274 P50 Q56840274-F01CCA2F-AAED-4E84-B319-7937F7D796D2 @default.
- Q56840274 P577 Q56840274-BCD3CF0D-F5B5-43BE-8655-C6450D641400 @default.
- Q56840274 P8978 Q56840274-8D2C28B2-592F-400D-BFBE-1431BF537F3A @default.
- Q56840274 P356 BF00249016 @default.
- Q56840274 P8978 BundyHHS91 @default.
- Q56840274 P1433 Q6294821 @default.
- Q56840274 P1476 "Experiments with proof plans for induction" @default.
- Q56840274 P2093 "Alan Smaill" @default.
- Q56840274 P2093 "Jane Hesketh" @default.
- Q56840274 P2888 bf00249016 @default.
- Q56840274 P304 "303-324" @default.
- Q56840274 P31 Q13442814 @default.
- Q56840274 P356 "10.1007/BF00249016" @default.
- Q56840274 P433 "3" @default.
- Q56840274 P478 "7" @default.
- Q56840274 P50 Q4706277 @default.
- Q56840274 P50 Q5490605 @default.
- Q56840274 P577 "1991-09-01T00:00:00Z" @default.
- Q56840274 P8978 "journals/jar/BundyHHS91" @default.